On the Automated Derivation of Domain-Specific UML Profiles
暂无分享,去创建一个
[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.