On the Automated Derivation of Domain-Specific UML Profiles

The model-driven engineering (MDE) of domain-specific languages (DSL) is becoming increasingly important. In this area, metamodels are the central artefacts, defining the syntax and semantics of DSLs. Different technologies are available to create metamodels, with the Meta Object Facility (MOF) being one of them. Apart from other uses, a MOF-based metamodel can serve as input for an automated derivation of a profile for the Unified Modeling Language (UML).

[1]  Andreas Ulrich,et al.  The ETSI Test Description Language TDL and its application , 2014, 2014 2nd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

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

[3]  Oscar Pastor,et al.  Linking UML and MDD through UML Profiles: a Practical Approach based on the UML Association , 2010, J. Univers. Comput. Sci..

[4]  Davide Di Ruscio,et al.  Model Transformations , 2012, SFM.

[5]  Oscar Pastor,et al.  Using UML profiles to interchange DSML and UML models , 2009, 2009 Third International Conference on Research Challenges in Information Science.

[6]  Krzysztof Czarnecki,et al.  Feature-based survey of model transformation approaches , 2006, IBM Syst. J..

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

[8]  Markus Scheidgen.  CMOF-model semantics and language mapping for MOF 2.0 implementations , 2006, Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MBD-MOMPES'06).

[9]  Jean-Marie Favre,et al.  Towards a Basic Theory to Model Model Driven Engineering , 2004 .

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

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

[12]  J. Bézivin,et al.  A Practical Approach to Bridging Domain Specific Languages with UML profiles , 2005 .

[13]  Bernhard Rumpe,et al.  CD2Alloy: class diagrams analysis using alloy revisited , 2011, MODELS'11.

[14]  Yves Le Traon,et al.  Model Transformation Testing Challenges , 2006 .

[15]  Andreas Kunert.  Semi-automatic Generation of Metamodels and Models From Grammars and Programs , 2008, Electron. Notes Theor. Comput. Sci..

[16]  Ivan Porres,et al.  A metamodeling language supporting subset and union properties , 2007, Software & Systems Modeling.

[17]  Andy Schürr,et al.  Codegenerierung für Assoziationen in MOF 2.0 , 2004, Modellierung.

[18]  Marius Mikalsen,et al.  Experiences from Model-Driven Development of Homecare Services: UML Profiles and Domain Models , 2008, MoDELS Workshops.

[19]  Steffen Staab,et al.  Model Driven Engineering with Ontology Technologies , 2010, Reasoning Web.

[20]  W. Gareth J. Howells,et al.  Implementing associations: UML 2.0 to Java 5 , 2007, Software & Systems Modeling.

[21]  Alexander Kraas.  A Model-Based Formalization of the Textual Notation for SDL-UML , 2011, SDL Forum.

[22]  Oscar Pastor,et al.  Improving Automatic UML2 Profile Generation for MDA Industrial Development , 2008, ER Workshops.

[23]  Andreas Prinz,et al.  On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine , 2000, Abstract State Machines.

[24]  Martin Gogolla,et al.  Testing models and model transformations using classifying terms , 2016, Software & Systems Modeling.

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

[26]  Henry Muccini,et al.  Automatically Bridging UML Profiles to MOF Metamodels , 2015, 2015 41st Euromicro Conference on Software Engineering and Advanced Applications.

[27]  Alberto Rodrigues da Silva,et al.  Model-driven engineering: A survey supported by the unified conceptual model , 2015, Comput. Lang. Syst. Struct..

[28]  Jon Whittle,et al.  A survey of approaches for verifying model transformations , 2013, Software & Systems Modeling.

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

[30]  Marc J. Balcer,et al.  The category-partition method for specifying and generating fuctional tests , 1988, CACM.

[31]  Janne Merilinna,et al.  Verification and validation in the context of domain-specific modelling , 2010, DSM '10.

[32]  Dimitrios S. Kolovos,et al.  Establishing Correspondences between Models with the Epsilon Comparison Language , 2009, ECMDA-FA.

[33]  Alexander Kraas.  Realizing Model Simplifications with QVT Operational Mappings , 2014, OCL@MoDELS.

[34]  Heiko Kern,et al.  Model interoperability between meta-modeling environments by using m3-level-based bridges , 2016 .

[35]  Robert B. France,et al.  Test adequacy criteria for UML design models , 2003, Softw. Test. Verification Reliab..

[36]  Dorina C. Petriu,et al.  Software Model‐based Performance Analysis , 2013 .

[37]  John C. Cherniavsky,et al.  Validation, Verification, and Testing of Computer Software , 1982, CSUR.

[38]  Eelco Visser,et al.  The spoofax language workbench: rules for declarative specification of languages and IDEs , 2010, OOPSLA.

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

[40]  Gerti Kappel,et al.  Model-to-Model Transformations By Demonstration , 2010, ICMT@TOOLS.

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

[42]  Gabor Karsai,et al.  Design Guidelines for Domain Specific Languages , 2014, ArXiv.

[43]  Martin Gogolla,et al.  USE: A UML-based specification environment for validating UML and OCL , 2007, Sci. Comput. Program..

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

[45]  T. Trucano,et al.  Verification, Validation, and Predictive Capability in Computational Engineering and Physics , 2004 .

[46]  Steffen Becker,et al.  Classification of Concrete Textual Syntax Mapping Approaches , 2008, ECMDA-FA.

[48]  Gabriele Taentzer,et al.  Generation of visual editors as eclipse plug-ins , 2005, ASE.

[49]  Ivan Porres,et al.  Consistency of UML class, object and statechart diagrams using ontology reasoners , 2015, J. Vis. Lang. Comput..

[50]  Daniel Riesco,et al.  Translating between Alloy specifications and UML class diagrams annotated with OCL , 2015, Software & Systems Modeling.

[51]  Jianhua Zhao,et al.  Model-based Construction and Verification of Cyber-Physical Systems , 2018, SOEN.

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

[53]  Mirko Seifert,et al.  Model-Based Language Engineering with EMFText , 2011, GTTSE.

[54]  Jose-Norberto Mazón,et al.  Bridging the semantic gap in OLAP models: platform-independent queries , 2008, DOLAP '08.

[55]  Rüdiger Grammes.  Formalisation of the UML Profile for SDL - A Case Study , 2006 .

[56]  James R. Cordy,et al.  Application of Model Comparison Techniques to Model Transformation Testing , 2013, MODELSWARD.

[57]  Thorsten Weyer,et al.  Ein strukturierter Ansatz zur Ableitung methodenspezifischer UML/SysML-Profile am Beispiel des SPES 2020 Requirements Viewpoints , 2013, Software Engineering.

[58]  Jean Bézivin,et al.  ATL: A model transformation tool , 2008, Sci. Comput. Program..

[59]  Daniel Jackson,et al.  Alloy: a lightweight object modelling notation , 2002, TSEM.

[60]  Ivan Kurtev,et al.  State of the Art of QVT: A Model Transformation Language Standard , 2008, AGTIVE.

[61]  Boris Motik,et al.  OWL 2 Web Ontology Language: structural specification and functional-style syntax , 2008 .

[62]  M Mernik,et al.  When and how to develop domain-specific languages , 2005, CSUR.

[63]  Richard C. T. Lee,et al.  Symbolic logic and mechanical theorem proving , 1973, Computer science classics.

[64]  Cris Kobryn.  UML 2001: a standardization odyssey , 1999, CACM.

[65]  Ralf Lämmel,et al.  Towards an engineering discipline for GRAMMARWARE Draft as of August 17 , 2003 , 2003 .

[66]  Desmond D'Souza,et al.  First-Class Extensibility for UML-Profiles, Stereotypes, Patterns , 1999, UML.

[67]  Bran Selic,et al.  A Systematic Approach to Domain-Specific Language Design Using UML , 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).

[68]  Manuel Wimmer,et al.  Bridging Grammarware and Modelware , 2005, MoDELS Satellite Events.

[69]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[70]  Cédric Brun Obeo,et al.  MODEL DIFFERENCES IN THE ECLIPSE MODELING FRAMEWORK , 2008 .

[71]  Alexander Kraas.  Automated Tooling for the Evolving SDL Standard: From Metamodels to UML Profiles , 2017, SDL Forum.

[72]  Lidia Fuentes-Fernández,et al.  An Introduction to UML Profiles , 2004 .

[73]  Arie van Deursen,et al.  Domain-specific languages: an annotated bibliography , 2000, SIGP.

[74]  Bran Selic,et al.  FacadeMetamodel: masking UML , 2012, MODELS'12.

[75]  Ivan Porres,et al.  Subset and Union Properties in Modeling Languages , 2005 .

[76]  Sébastien Gérard,et al.  Improving uml profile design practices by leveraging conceptual domain models , 2007, ASE.

[77]  Constantin Werner.  UML profile for communicating systems: a new UML profile for the specification and description of internet communication and signaling protocols , 2007 .

[78]  Elvinia Riccobene,et al.  An Executable Semantics of the SystemC UML Profile , 2010, ASM.

[79]  Daniel Amyot,et al.  Towards the Generation of Tests in the Test Description Language from Use Case Map Models , 2015, SDL Forum.

[80]  Jürgen Dingel,et al.  Model transformation testing: the state of the art , 2012, AMT '12.

[81]  James R. Cordy,et al.  A Survey of Model Comparison Approaches and Applications , 2013, MODELSWARD.

[82]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[83]  A Straw,et al.  Guide to the Software Engineering Body of Knowledge , 1998 .

[84]  Michael Schmitt.  The Development of a Parser for SDL - 2000 , 2000, FBT.

[85]  Hao Wu.  MaxUSE : A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams , 2017 .

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

[87]  Jochen Malte Küster,et al.  Validation of model transformations: first experiences using a white box approach , 2006, MoDELS'06.

[88]  Mark Strembeck,et al.  An approach for the systematic development of domain‐specific languages , 2009, Softw. Pract. Exp..

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

[90]  Indrakshi Ray,et al.  On challenges of model transformation from UML to Alloy , 2008, Software & Systems Modeling.

[91]  Alexander Kraas.  The SDL-UML profile revisited , 2010, SAM'10.

[92]  Dave Crocker,et al.  Augmented BNF for Syntax Specifications: ABNF , 1997, RFC.

[93]  Stéphane Maag,et al.  A novel distributed testing approach based on test cases dependencies for communication protocols , 2015, RACS.

[94]  Christel Baier,et al.  Principles of model checking , 2008 .

[95]  Martin Gogolla,et al.  Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool , 2016, Modellierung.

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

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

[98]  Diane Boyer,et al.  ABSTRACT STATE MACHINES..A METHOD FOR HIGH-LEVEL SYSTEM DESIGN AND ANALYSIS , 2019 .

[99]  Gusztáv Adamis,et al.  Evolving the ETSI Test Description Language , 2016, SAM.

[100]  Clémentine Nebut,et al.  Metamodel Matching for Automatic Model Transformation Generation , 2008, MoDELS.

[101]  Yves Le Traon,et al.  Model transformation testing: oracle issue , 2008, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop.

[102]  Juan de Lara,et al.  Example-driven meta-model development , 2015, Software & Systems Modeling.

[103]  Michel Bigand,et al.  A UML Profile as Support for Transformation of Business Process Models at Enterprise Level , 2008 .

[104]  Anna Gerber,et al.  MOF to EMF: there and back again , 2003, eclipse '03.

[105]  Thomas Kühne,et al.  Matters of (Meta-) Modeling , 2006, Software & Systems Modeling.

[106]  Tom Mens,et al.  A Taxonomy of Model Transformation , 2006, GRaMoT@GPCE.

[107]  Yves Le Traon,et al.  Qualifying input test data for model transformations , 2009, Software & Systems Modeling.

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

[109]  U. Keller,et al.  Translating the Object Constraint Language into First-order Predicate Logic , 2001 .

[110]  Andreas Prinz,et al.  SDL-2000: A Language with a Formal Semantics , 2000, Rigorous Object-Oriented Methods.

[111]  Yves Le Traon,et al.  Barriers to systematic model transformation testing , 2010, Commun. ACM.

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

[113]  Rick Reed.  SDL-2010: Background, Rationale, and Survey , 2011, SDL Forum.