Unifying the Semantics of Models and Meta-Models in the Multi-Layered UML Meta-Modelling Hierarchy
暂无分享,去创建一个
[1] Colin Atkinson,et al. Meta-modelling for distributed object environments , 1997, Proceedings First International Enterprise Distributed Object Computing Workshop.
[2] Martin Gogolla,et al. An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation , 2002, IFM.
[3] Hong Zhu,et al. Tool Support for Design Pattern Recognition at Model Level , 2009, 2009 33rd Annual IEEE International Computer Software and Applications Conference.
[4] Jean Bézivin,et al. Inter-DSL coordination support by combining megamodeling and model weaving , 2010, SAC '10.
[5] Joseph A. Goguen,et al. Data, Schema, Ontology and Logic Integration , 2005, Log. J. IGPL.
[6] Richard F. Paige,et al. Metamodelling and Conformance Checking with PVS , 2001, FASE.
[7] Dániel Varró,et al. A Formal Semantics of UML Statecharts by Model Transition Systems , 2002, ICGT.
[8] Zhu Hong. A Formal Descriptive Semantics of UML , 2010 .
[9] Hong Zhu,et al. Formal Descriptive Semantics of UML and Its Applications , 2009, UML 2 Semantics and Applications.
[10] Ed Seidewitz,et al. What Models Mean , 2003, IEEE Softw..
[11] Jean Bézivin,et al. Towards Model Driven Tool Interoperability: Bridging Eclipse and Microsoft Modeling Tools , 2010, ECMFA.
[12] Fiona A. C. Polack,et al. Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z , 2003, ZB.
[13] Thomas Kühne,et al. Matters of (Meta-) Modeling , 2006, Software & Systems Modeling.
[14] Marina Egea,et al. Formal executable semantics for conformance in the MDE framework , 2010, Innovations in Systems and Software Engineering.
[15] Hong Zhu,et al. On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic , 2010, 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering.
[16] Artur Boronat,et al. An Algebraic Semantics for MOF , 2008, FASE.
[17] Michael von der Beeck. A structured operational semantics for UML-statecharts , 2002 .
[18] Jing Dong,et al. Architecture and Design Pattern Discovery Techniques - A Review , 2007, Software Engineering Research and Practice.
[19] Hong Zhu,et al. Semantics of Metamodels in UML , 2009, 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.
[20] Diego Calvanese,et al. Reasoning on UML class diagrams , 2005, Artif. Intell..
[21] Jean Bézivin,et al. On the unification power of models , 2005, Software & Systems Modeling.
[22] Liliana Favre,et al. Foundations for MDA-based Forward Engineering , 2005, J. Object Technol..
[23] Andy Evans,et al. The Metamodelling Language Calculus: Foundation Semantics for UML , 2001, FASE.
[24] Ken Satoh,et al. Consistency Checking Algorithms for Restricted UML Class Diagrams , 2006, FoIKS.
[25] Colin F. Snook,et al. UML-B: Formal modeling and design aided by UML , 2006, TSEM.
[26] Vladan Devedzic,et al. An M3-Neutral Infrastructure for Bridging Model Engineering and Ontology Engineering , 2006 .
[27] Ernst-Rüdiger Olderog,et al. Linking CSP-OZ with UML and Java: A Case Study , 2004, IFM.
[28] Iman Poernomo,et al. The meta-object facility typed , 2006, SAC.
[29] Gianna Reggio,et al. Towards a Rigorous Semantics of UML Supporting Its Multiview Approach , 2001, FASE.