SDL 2017: Model-Driven Engineering for Future Internet

To understand more and more complex software systems and the rules that govern their development, software visualization uses more and more complex, but static visual representations (charts) to allow computer scientists to analyze complex multi-modal, multi-variant, and potentially temporal data gathered from software artifacts. Data scientist however, use interactive visual analysis to not only visualize data but to explore and understand data via interactive visualizations. In this paper, we present a language that allows us to quickly create such interactive visualizations for software. We present a process to measure software and gather data, a common data meta-model, four principal ways to combine individual charts into an interactive visualization, the language constructs needed to specify interactive visualizations, and a working implementation and examples for this language.

[1]  Amardeo Sarma,et al.  SDL '95 with MSC in CASE : proceedings of the Seventh SDL Forum, Oslo, Norway, 26-29 September 1995 , 1995 .

[2]  K. K. Aggarwal,et al.  Code coverage based technique for prioritizing test cases for regression testing , 2004, SOEN.

[3]  Jean Bézivin,et al.  On the Use of Higher-Order Model Transformations , 2009, ECMDA-FA.

[4]  Gregg Rothermel,et al.  Analyzing Regression Test Selection Techniques , 1996, IEEE Trans. Software Eng..

[5]  David W. Binkley,et al.  Program slicing , 2008, 2008 Frontiers of Software Maintenance.

[6]  Ákos Horváth,et al.  A model-driven framework for guided design space exploration , 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).

[7]  Lawrence Chung,et al.  Requirements elicitation through model-driven evaluation of software components , 2006, Fifth International Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems (ICCBSS'05).

[8]  Bob Bryla,et al.  Oracle Database 12c The Complete Reference , 2013 .

[9]  Craig A. Knoblock,et al.  Planning by Rewriting , 2001, J. Artif. Intell. Res..

[10]  Akihiko Ohsuga,et al.  A goal model elaboration for localizing changes in software evolution , 2013, 2013 21st IEEE International Requirements Engineering Conference (RE).

[11]  Zafar I. Malik,et al.  An approach for selective state machine based regression testing , 2007, A-MOST '07.

[12]  Maria Toeroe,et al.  A Model-Based Approach for User Requirements Decomposition and Component Selection , 2014, Formalisms for Reuse and Systems Integration.

[13]  Andy Schürr,et al.  Developing eMoflon with eMoflon , 2014, ICMT.

[14]  Gregg Rothermel,et al.  Selecting regression tests for object-oriented software , 1994, Proceedings 1994 International Conference on Software Maintenance.

[15]  Pearl Brereton,et al.  Systematic literature reviews in software engineering - A systematic literature review , 2009, Inf. Softw. Technol..

[16]  Gregg Rothermel,et al.  Prioritizing test cases for regression testing , 2000, ISSTA '00.

[17]  Bogdan Korel,et al.  Model based regression test reduction using dependence analysis , 2002, International Conference on Software Maintenance, 2002. Proceedings..

[18]  Orest Pilskalns,et al.  Regression Testing UML Designs , 2006, 2006 22nd IEEE International Conference on Software Maintenance.

[19]  Dieter Hogrefe,et al.  Telecommunications and UML languages , 2005, Comput. Networks.

[20]  Jérémie Guiochet,et al.  Safety-critical advanced robots: A survey , 2017, Robotics Auton. Syst..

[21]  Daniel Varro Automated Program Generation for and by Model Transformation Systems , 2002 .

[22]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[23]  A. Vallecillo,et al.  Orchestrating ATL Model Transformations , 2009 .

[24]  Zoltán Szatmári,et al.  A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems , 2012, KES-AMSTA.

[25]  Guido Wachsmuth A Formal Way from Text to Code Templates , 2009, FASE.

[26]  Manuel Wimmer,et al.  A survey on model versioning approaches , 2009, Int. J. Web Inf. Syst..

[27]  Rajiv Gupta,et al.  A methodology for controlling the size of a test suite , 1990, Proceedings. Conference on Software Maintenance 1990.

[28]  Julien Botella,et al.  SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models , 2014, 2014 Eighth International Conference on Software Security and Reliability.

[29]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[30]  Marko A. Rodriguez,et al.  The Gremlin graph traversal machine and language (invited talk) , 2015, DBPL.

[31]  Neil A. Ernst,et al.  Finding incremental solutions for evolving requirements , 2011, 2011 IEEE 19th International Requirements Engineering Conference.

[32]  Santiago Matalonga,et al.  Test case design for context-aware applications: Are we there yet? , 2017, Inf. Softw. Technol..

[33]  Ruth Breu,et al.  A Generic Platform for Model-Based Regression Testing , 2012, ISoLA.

[34]  VARUN CHANDOLA,et al.  Anomaly detection: A survey , 2009, CSUR.

[35]  Krzysztof Czarnecki,et al.  Staged configuration through specialization and multilevel configuration of feature models , 2005, Softw. Process. Improv. Pract..

[36]  Gergely Varró,et al.  A Rete Network Construction Algorithm for Incremental Pattern Matching , 2013, ICMT.

[37]  Daniel Grund,et al.  GrGen: A Fast SPO-Based Graph Rewriting Tool , 2006, ICGT.

[38]  Michel A. Reniers,et al.  High-level message sequence charts , 1997, SDL Forum.

[39]  Elisabetta Di Nitto,et al.  Model-driven continuous deployment for quality DevOps , 2016, QUDOS@ISSTA.

[40]  Ulrich Nickel,et al.  The FUJABA environment , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[41]  Marko A. Rodriguez,et al.  Constructions from Dots and Lines , 2010, ArXiv.

[42]  Marsha Chechik,et al.  Looking into the Crystal Ball: Requirements Evolution over Time , 2016, 2016 IEEE 24th International Requirements Engineering Conference (RE).

[43]  Zachary J. Oster,et al.  Identifying Optimal Composite Services by Decomposing the Service Composition Problem , 2011, 2011 IEEE International Conference on Web Services.

[44]  Oussama Ben Khadra,et al.  Goal-centric traceability for managing non-functional requirements , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[45]  Jameleddine Hassine,et al.  Measurement of Actor External Dependencies in GRL Models , 2014, iStar.

[46]  Werner Kurschl,et al.  A Rule Based Approach for Mapping Sensor Data to Ontological Models in AAL Environments , 2012, ER Workshops.

[47]  Jonathan Lee,et al.  Change impact analysis with a goal-driven traceability-based approach , 2010 .

[48]  Tom Blanchard,et al.  Endocrine inspired control of wireless sensor networks: deployment and analysis , 2016 .

[49]  Anne-Wil Harzing,et al.  The Publish or Perish Book: Your guide to effective and responsible citation analysis , 2010 .

[50]  Brian Henderson-Sellers,et al.  Bridging metamodels and ontologies in software engineering , 2011, J. Syst. Softw..

[51]  Zachary J. Oster,et al.  Decomposing the Service Composition Problem , 2010, 2010 Eighth IEEE European Conference on Web Services.

[52]  Joan Serrat,et al.  Management and orchestration challenges in network functions virtualization , 2016, IEEE Communications Magazine.

[53]  Didier Colle,et al.  Network service chaining with efficient network function mapping based on service decompositions , 2015, Proceedings of the 2015 1st IEEE Conference on Network Softwarization (NetSoft).

[54]  Jon Oldevik,et al.  Transformation Composition Modelling Framework , 2005, DAIS.

[55]  Larisa Shwartz,et al.  Decomposition of IT service processes and alternative service identification using ontologies , 2008, NOMS 2008 - 2008 IEEE Network Operations and Management Symposium.

[56]  Heiko Behrens,et al.  Xtext: implement your language faster than the quick and dirty way , 2010, SPLASH/OOPSLA Companion.

[57]  Tibor Gyimóthy,et al.  Toolset and Program Repository for Code Coverage-Based Test Suite Analysis and Manipulation , 2014, 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation.

[58]  Oscar Pastor,et al.  Automating the Interoperability of Conceptual Models in Specific Development Domains , 2013, Domain Engineering, Product Lines, Languages, and Conceptual Models.

[59]  Bushra Alolayan Toward sustainable households : passive context-aware intervention to promote reduction in food waste , 2017 .

[60]  Imran Khan,et al.  A data annotation architecture for semantic applications in virtualized wireless sensor networks , 2015, 2015 IFIP/IEEE International Symposium on Integrated Network Management (IM).

[61]  Jack P. C. Kleijnen,et al.  EUROPEAN JOURNAL OF OPERATIONAL , 1992 .

[62]  Ákos Horváth,et al.  Viatra 3: A Reactive Model Transformation Platform , 2015, ICMT.

[63]  Rachida Dssouli,et al.  MSC and SDL in project life cycles , 2001, Comput. Networks.

[64]  Dieter Fensel,et al.  Ontologies: A silver bullet for knowledge management and electronic commerce , 2002 .

[65]  Dániel Varró,et al.  Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans , 2006, GRaMoT@GPCE.

[66]  Daniel Lemire,et al.  Measuring academic influence: Not all citations are equal , 2015, J. Assoc. Inf. Sci. Technol..

[67]  Michael Grossniklaus,et al.  An Algebra and Equivalences to Transform Graph Patterns in Neo4j , 2016, EDBT/ICDT Workshops.

[68]  Oscar Pastor,et al.  Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles , 2009, CAiSE.

[69]  Alexander Kraas Towards an Extensible Modeling and Validation Framework for SDL-UML , 2014, SAM.

[70]  Mark Harman Making the Case for MORTO: Multi Objective Regression Test Optimization , 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.

[71]  Hareton K. N. Leung,et al.  A survey of code‐based change impact analysis techniques , 2013, Softw. Test. Verification Reliab..

[72]  Jennifer Widom,et al.  Database Systems: The Complete Book , 2001 .

[73]  Richard F. Paige,et al.  The Epsilon Transformation Language , 2008, ICMT@TOOLS.

[74]  Jordi Cabot,et al.  Model-Driven Software Engineering in Practice , 2017, Synthesis Lectures on Software Engineering.

[75]  Ileana Ober,et al.  SDL - The IoT Language , 2015, SDL Forum.

[76]  Eelco Visser,et al.  The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge , 2013, SLE.

[77]  Mohiuddin Ahmed,et al.  A survey of network anomaly detection techniques , 2016, J. Netw. Comput. Appl..

[78]  Jean Bézivin,et al.  Global Model Management in Eclipse GMT/AM3 , 2006 .

[79]  Abraham Silberschatz,et al.  Database System Concepts , 1980 .

[80]  Davide Di Ruscio,et al.  Automated Chaining of Model Transformations with Incompatible Metamodels , 2014, MoDELS.

[81]  Eric S. K. Yu,et al.  Towards modelling and reasoning support for early-phase requirements engineering , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[82]  Thorsten Meinl,et al.  KNIME: The Konstanz Information Miner , 2007, GfKl.

[83]  Dieter Hogrefe,et al.  A UML Profile for Communicating Systems , 2006, SAM.

[84]  Zhiliang Zhu,et al.  Selecting Features for Anomaly Intrusion Detection: A Novel Method using Fuzzy C Means and Decision Tree Classification , 2013, CSS.

[85]  Manuel Wimmer,et al.  A semi-automatic approach for bridging DSMLs with UML , 2009, Int. J. Web Inf. Syst..

[86]  Amit P. Sheth,et al.  The SSN ontology of the W3C semantic sensor network incubator group , 2012, J. Web Semant..

[87]  Per Runeson,et al.  A systematic review on regression test selection techniques , 2010, Inf. Softw. Technol..

[88]  Bogdan Korel,et al.  Dependence analysis in reduction of requirement based test suites , 2002, ISSTA '02.

[89]  Ákos Horváth,et al.  Local Search-Based Pattern Matching Features in EMF-IncQuery , 2015, ICGT.

[90]  Jacques Bughin,et al.  The internet of things: mapping the value beyond the hype , 2015 .

[91]  Joachim Fischer,et al.  Static Syntax Validation for Code Generation with String Templates , 2017, SDL Forum.

[92]  H. Kaiya,et al.  On Relationships among Models , Meta Models and Ontologies , 2006 .

[93]  Gregg Rothermel,et al.  Cost-cognizant Test Case Prioritization , 2006 .

[94]  Jordi Cabot,et al.  MoDisco: A model driven reverse engineering framework , 2014, Inf. Softw. Technol..

[95]  Mianxiong Dong,et al.  Ontology-based data semantic management and application in IoT- and cloud-enabled smart homes , 2017, Future Gener. Comput. Syst..

[96]  Dave Evans,et al.  How the Next Evolution of the Internet Is Changing Everything , 2011 .

[97]  Rick Reed ITU-T system design languages (SDL) , 2003, Comput. Networks.

[98]  Erhard Rahm,et al.  Cypher-based Graph Pattern Matching in Gradoop , 2017, GRADES@SIGMOD/PODS.

[99]  Jean Bézivin,et al.  Modeling in the Large and Modeling in the Small , 2003, MDAFA.

[100]  Dániel Varró,et al.  IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud , 2014, MoDELS.

[101]  Hasan Salim Alkaf,et al.  An Automated Change Impact Analysis Approach to GRL Models , 2017, SDL Forum.

[102]  José Ramón Hilera,et al.  Using Ontologies in Software Engineering and Technology , 2006, Ontologies for Software Engineering and Software Technology.

[103]  Wouter Joosen,et al.  UniTI: a unified transformation infrastructure , 2007, MODELS'07.

[104]  Ana R. Cavalli,et al.  SDL '97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings , 1997, SDL Forum.

[105]  Lionel C. Briand,et al.  Automating impact analysis and regression test selection based on UML designs , 2002, International Conference on Software Maintenance, 2002. Proceedings..

[106]  Yinghua Qin,et al.  Realizing network function virtualization management and orchestration with model based open architecture , 2015, 2015 11th International Conference on Network and Service Management (CNSM).

[107]  Oscar Pastor,et al.  Integration of domain-specific modelling languages and UML through UML profile extension mechanism , 2009, Int. J. Comput. Sci. Appl..

[108]  Andy Schürr,et al.  An algorithm for generating model-sensitive search plans for pattern matching on EMF models , 2013, Software & Systems Modeling.

[109]  Mark Harman,et al.  Regression testing minimization, selection and prioritization: a survey , 2012, Softw. Test. Verification Reliab..

[110]  Marko A. Rodriguez,et al.  The Graph Traversal Pattern , 2010, Graph Data Management.

[111]  Ivan Porres,et al.  A Relation Between Context-Free Grammars and Meta Object Facility Metamodels , 2003 .

[112]  G. Maciá-Fernández,et al.  Anomaly-based network intrusion detection: Techniques, systems and challenges , 2009, Comput. Secur..

[113]  Steffen Lehnert,et al.  A taxonomy for software change impact analysis , 2011, IWPSE-EVOL '11.

[114]  Ákos Horváth,et al.  EMF-IncQuery: An integrated development environment for live model queries , 2015, Sci. Comput. Program..

[115]  Charu C. Aggarwal,et al.  The Internet of Things: A Survey from the Data-Centric Perspective , 2013, Managing and Mining Sensor Data.

[116]  Hui Song,et al.  CloudMF: Applying MDE to Tame the Complexity of Managing Multi-cloud Applications , 2014, 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing.

[117]  Robert S. Arnold,et al.  Software Change Impact Analysis , 1996 .

[118]  Hans Vangheluwe,et al.  FTG+PM: An Integrated Framework for Investigating Model Transformation Chains , 2013, SDL Forum.

[119]  Joseph Robert Horgan,et al.  Incremental regression testing , 1993, 1993 Conference on Software Maintenance.

[120]  Doina Caragea,et al.  Graph Databases , 2019, Encyclopedia of Big Data Technologies.

[121]  Peter Matthew David Scully,et al.  CARDINAL-Vanilla : immune system inspired prioritisation and distribution of security information for industrial networks , 2016 .

[122]  Dániel Varró,et al.  Formalising opencypher Graph Queries in Relational Algebra , 2017, ADBIS.

[123]  Jordi Cabot,et al.  MoDisco: a generic and extensible framework for model driven reverse engineering , 2010, ASE.

[124]  Michael Uschold,et al.  Ontologies: principles, methods and applications , 1996, The Knowledge Engineering Review.

[125]  Adam Jacoff,et al.  Comprehensive standard test suites for the performance evaluation of mobile robots , 2010, PerMIS.

[126]  Gabriele Taentzer,et al.  Henshin: advanced concepts and tools for in-place EMF model transformations , 2010, MODELS'10.

[127]  Roland Meyer,et al.  Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets , 2005, SDL Forum.

[128]  Gregg Rothermel,et al.  An empirical study of regression test selection techniques , 2001, ACM Trans. Softw. Eng. Methodol..

[129]  Lokman I. Meho The Rise and Rise of Citation Analysis , 2006, ArXiv.

[130]  Andreas Prinz,et al.  A Model-Based Standard for SDL , 2007, SDL Forum.

[131]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[132]  Horst Bunke,et al.  An Efficient Implementation of Graph Grammars Based on the RETE Matching Algorithm , 1990, Graph-Grammars and Their Application to Computer Science.

[133]  Alessandro Orso,et al.  Regression test selection for Java software , 2001, OOPSLA '01.

[134]  Ruth Breu,et al.  Model-based regression testing by OCL , 2015, International Journal on Software Tools for Technology Transfer.

[135]  Amelie Gyrard An Architecture to Aggregate Heterogeneous and Semantic Sensed Data , 2013, ESWC.

[136]  Mark S. Fox,et al.  A Requirement Ontology for Engineering Design , 1996 .

[137]  Terence John Parr,et al.  Enforcing strict model-view separation in template engines , 2004, WWW '04.

[138]  Tharam S. Dillon,et al.  Semantics of Cyber-Physical Systems , 2012, Intelligent Information Processing.

[139]  Jean-Marc Jézéquel,et al.  Efficient object-oriented integration and regression testing , 2000, IEEE Trans. Reliab..

[140]  Other Contributors Are Indicated Where They Contribute The Eclipse Foundation , 2017 .

[141]  Markus Scheidgen Description of languages based on object-oriented meta-modelling , 2009 .

[142]  Terence Parr A Functional Language For Generating Structured Text , 2006 .

[143]  Wasif Gilani,et al.  Model Transformation Chains and Model Management for End-to-End Performance Decision Support , 2009, GTTSE.

[144]  Ákos Horváth,et al.  Incremental evaluation of model queries over EMF models , 2010, MODELS'10.

[145]  Paul King,et al.  Groovy in Action , 2007 .

[146]  Rüdiger Grammes Syntactic and semantic modularisation of modelling languages , 2007 .

[147]  Alexander Kraas,et al.  On the Automated Derivation of Domain-Specific UML Profiles , 2017, ECMFA.

[148]  A. Jefferson Offutt,et al.  Maintaining evolving component-based software with UML , 2003, Seventh European Conference onSoftware Maintenance and Reengineering, 2003. Proceedings..

[149]  Zafar I. Malik,et al.  A Model-Based Regression Testing Approach for Evolving Software Systems with Flexible Tool Support , 2010, 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems.

[150]  Aprajita,et al.  TimedGRL: Specifying Goal Models Over Time , 2016, 2016 IEEE 24th International Requirements Engineering Conference Workshops (REW).

[151]  Serge Demeyer,et al.  ChEOPSJ: Change-Based Test Optimization , 2012, 2012 16th European Conference on Software Maintenance and Reengineering.

[152]  John Mylopoulos,et al.  Goal-oriented requirements analysis and reasoning in the Tropos methodology , 2005, Eng. Appl. Artif. Intell..

[153]  Yanping Chen,et al.  Specification-based regression test selection with risk analysis , 2002, CASCON.

[154]  Eleonora Borgia,et al.  The Internet of Things vision: Key features, applications and open issues , 2014, Comput. Commun..

[155]  Axel van Lamsweerde,et al.  Handling Obstacles in Goal-Oriented Requirements Engineering , 2000, IEEE Trans. Software Eng..

[156]  Frank Budinsky,et al.  EMF: Eclipse Modeling Framework 2.0 , 2009 .

[157]  HeerJeffrey,et al.  D3 Data-Driven Documents , 2011 .

[158]  Yanping Chen,et al.  Regression test suite reduction using extended dependence analysis , 2007, SOQUA '07.

[159]  Markus Scheidgen,et al.  A Metamodel for SDL-2000 in the Context of Metamodelling ULF , 2004, SAM.

[160]  Richard F. Paige,et al.  Chaining model transformations , 2012, AMT '12.

[161]  Grzegorz Rozenberg,et al.  Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[162]  Ákos Horváth,et al.  Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework , 2016, Software & Systems Modeling.

[163]  B. J. Arnoldus,et al.  An illumination of the template enigma : software code generation with templates , 2011 .

[164]  Gregg Rothermel,et al.  Using component metadata to regression test component‐based software , 2007, Softw. Test. Verification Reliab..

[165]  Takashi Yoshikawa,et al.  Supporting Requirements Change Management in Goal Oriented Analysis , 2008, 2008 16th IEEE International Requirements Engineering Conference.

[166]  Lionel C. Briand,et al.  Automating regression test selection based on UML designs , 2009, Inf. Softw. Technol..

[167]  Luay Tahat,et al.  Toward automatically quantifying the impact of a change in systems , 2017, Software Quality Journal.