Towards Methods for Model-Based Software Development

Software engineering is a young discipline. Despite efforts in recent years, some elements still require further development, research, and systematization. One of these elements are methods. They consist of a set of well-defined activities used in a software development to guide how the work should be performed to achieve the expected results. However, there is a lack of systematic knowledge that effectively guide how work should be done in a variety of areas. Despite the knowledge available in Software Engineering Body of Knowledge (SWEBOK), only the classical methods are comprised there, while emerging topics such as Agent-Oriented Software Engineering (AOSE), Aspect-Oriented Software Development (AOSD), and Model-Based Software Development (MBSE) are only briefly mentioned. We claim that it is also necessary to investigate methods for those emerging software engineering subtracks. In this direction, this paper presents a a speculative and preliminary emerging results on the establishment of methods for MBSE. We report some insights on the conception of methods for MBSE.

[1]  Jesús Sánchez Cuadrado,et al.  Applying model-driven engineering in small software enterprises , 2014, Sci. Comput. Program..

[2]  Juliano Lopes de Oliveira,et al.  An early aspect for model-driven transformers engineering , 2011, EA@AOSD.

[3]  Jürgen Dingel,et al.  Specification and Verification of Graph-Based Model Transformation Properties , 2014, ICGT.

[4]  Juliano Lopes de Oliveira,et al.  User Interface Stereotypes: A Model-Based Approach for Information Systems User Interfaces , 2014 .

[5]  Jeffrey G. Gray,et al.  Design patterns for metamodels , 2011, SPLASH Workshops.

[6]  Tony Clark,et al.  Applied Metamodelling: A Foundation for Language Driven Development (Third Edition) , 2015, ArXiv.

[7]  Gabor Karsai,et al.  Applying a Model Transformation Taxonomy to Graph Transformation Technology , 2006, GRaMoT@GPCE.

[8]  Mark Rouncefield,et al.  Empirical assessment of MDE in industry , 2011, 2011 33rd International Conference on Software Engineering (ICSE).

[9]  Richard F. Paige,et al.  Guest editorial to the special issue on Success Stories in Model Driven Engineering , 2014, Sci. Comput. Program..

[10]  Jie Chen,et al.  Formal Model-Driven Engineering of Distributed Simulation Systems based on Architecture-Centric Domain-Specific Approach , 2007, 14th Asia-Pacific Software Engineering Conference (APSEC'07).

[11]  Shane Sendall,et al.  Model Transformation: The Heart and Soul of Model-Driven Software Development , 2003, IEEE Softw..

[12]  Brian Henderson-Sellers,et al.  A method to build information systems engineering process metamodels , 2009, J. Syst. Softw..

[13]  Flávio Oquendo,et al.  ASAS: An Approach to Support Simulation of Smart Systems , 2018, HICSS.

[14]  Jaak Tepandi,et al.  Archetypes based Meta-modeling towards Evolutionary, Dependable and Interoperable Healthcare Information Systems , 2014, EUSPN/ICTH.

[15]  Gerti Kappel,et al.  Automated verification of model transformations based on visual contracts , 2013, Automated Software Engineering.

[16]  Juan de Lara,et al.  Deep Meta-modelling with MetaDepth , 2010, TOOLS.

[17]  Juliano Lopes de Oliveira,et al.  A business process metamodel for Enterprise Information Systems automatic generation , 2010 .

[18]  Juan de Lara,et al.  The Program Is the Model: Enabling Transformations@run.time , 2012, SLE.

[19]  Min Xie,et al.  A systematic comparison of metamodeling techniques for simulation optimization in Decision Support Systems , 2010, Appl. Soft Comput..

[20]  Mark Rouncefield,et al.  Model-driven engineering practices in industry , 2011, 2011 33rd International Conference on Software Engineering (ICSE).

[21]  Mark Rouncefield,et al.  Model-driven engineering practices in industry: Social, organizational and managerial factors that lead to success or failure , 2014, Sci. Comput. Program..

[22]  Valdemar Vicente Graciano Neto.  Validating Emergent Behaviours in Systems-of-Systems through Model Transformations , 2016, SRC@MoDELS.

[23]  Krzysztof Czarnecki,et al.  Classification of Model Transformation Approaches , 2003 .

[24]  H. S. Udaykumar,et al.  Evaluation of convergence behavior of metamodeling techniques for bridging scales in multi-scale multimaterial simulation , 2015, J. Comput. Phys..

[25]  Martin Gogolla,et al.  Model-driven standardization of public authority data interchange , 2014, Sci. Comput. Program..

[26]  Flávio Oquendo.  π-Method: a model-driven formal method for architecture-centric software engineering , 2006, SOEN.

[27]  Antonio Cicchetti,et al.  Automating Co-evolution in Model-Driven Engineering , 2008, 2008 12th International IEEE Enterprise Distributed Object Computing Conference.

[28]  Jesús García Molina,et al.  An Architecture-Driven Modernization Tool for Calculating Metrics , 2010, IEEE Software.

[29]  Michal Antkiewicz,et al.  Example-Driven Modeling: Model = Abstractions + Examples , 2013, 2013 35th International Conference on Software Engineering (ICSE).

[30]  Juan de Lara,et al.  Formal Support for Model Driven Development with Graph Transformation Techniques , 2005, DSDM.

[31]  Manuel Wimmer,et al.  Generating Metamodels from Grammars by Chaining Translational and By-Example Techniques , 2013, MDEBE@MoDELS.

[32]  Steven Bosems.  Toward automated model transformations in the A-MUSE design methodology , 2008 .

[33]  S. W. Ambler,et al.  Agile model driven development is good enough , 2003 .

[34]  Juan de Lara,et al.  Bottom-up meta-modelling: an interactive approach , 2012, MODELS'12.

[35]  Damiano Pasini,et al.  A comparative study of metamodeling methods for the design optimization of variable stiffness composites , 2014 .

[36]  Paul Ralph,et al.  How to Develop a General Theory of Software Engineering: Report on the GTSE 2014 Workshop , 2014, SOEN.

[37]  Juliano Lopes de Oliveira,et al.  A User Interface Stereotype to Build Web Portals , 2014, LA-WEB.

[38]  Francisco J. Ortiz,et al.  A Component-Based Meta-Model and Framework in the Model Driven Toolchain C-Forge , 2014, SIMPAR.

[39]  Gerhard Weiss,et al.  Software Engineering - Processes and Tools , 2009, Hagenberg Research.

[40]  Jean-Luc Dekeyser,et al.  Towards an automation of the mutation analysis dedicated to model transformation , 2015, Softw. Test. Verification Reliab..

[41]  Flávio Oquendo,et al.  Investigating the Model-Driven Development for Systems-of-Systems , 2014, ECSAW '14.

[42]  Flavio Oquendo,et al.  On the equivalence between reference architectures and metamodels , 2015, 2015 1st International Workshop on Exploring Component-based Techniques for Constructing Reference Architectures (CobRA).

[43]  Manfred Nagl,et al.  Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers , 2008, Applications of Graph Transformations with Industrial Relevance.

[44]  Colin Atkinson,et al.  The Essence of Multilevel Metamodeling , 2001, UML.

[45]  Joel Greenyer,et al.  Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata , 2011, AGTIVE.

[46]  Flávio Oquendo,et al.  Stimuli-SoS: a model-based approach to derive stimuli generators for simulations of systems-of-systems software architectures , 2017, Journal of the Brazilian Computer Society.

[47]  T. Simpson,et al.  Comparative studies of metamodelling techniques under multiple modelling criteria , 2001 .

[48]  Antonio Cicchetti,et al.  A Test-Driven Approach for Metamodel Development , 2011 .

[49]  Tero Päivärinta,et al.  Forming theories of practices for software engineering , 2013, 2013 2nd SEMAT Workshop on a General Theory of Software Engineering (GTSE).

[50]  Ivar Jacobson,et al.  Where's the Theory for Software Engineering? , 2012, IEEE Software.

[51]  Jürgen Dingel,et al.  A Tridimensional Approach for Studying the Formal Verification of Model Transformations , 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.