Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
UML 2001: a standardization odyssey
Communications of the ACM
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
The PROGRES approach: language and environment
Handbook of graph grammars and computing by graph transformation
Designing the automatic transformation of visual languages
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
The Metamodelling Language Calculus: Foundation Semantics for UML
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Automatic Dependability Analysis for Supporting Design Decisions in UML
HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineering
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Mapping between Levels in the Metamodel Architecture
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
The Essence of Multilevel Metamodeling
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A Formal Semantics of UML Statecharts by Model Transition Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Formal Specification of Object-Oriented Meta-modelling
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
A formal service specification for IIOP based on ISO/IEC 14752
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Comparison of modeling frameworks for software engineering
Nordic Journal of Computing
Stochastic dependability analysis of system architecture based on UML models
Architecting dependable systems
MoPCoM methodology: focus on models of computation
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
| Hi-index | 0.00 |
As UML 2.0 is evolving into a family of languages with individually specified semantics, there is an increasing need for automated and provenly correct model transformations that (i) assure the integration of local views (different diagrams) of the system into a consistent global view, and, (ii) provide a well-founded mapping from UML models to different semantic domains (Petri nets, Kripke automaton, process algebras, etc.) for formal analysis purposes as foreseen, for instance, in submissions for the OMG RFP for Schedulability, Performance and Time. However, such transformations into different semantic domains typically require the deep understanding of the underlying mathematics, which hinders the use of formal specification techniques in industrial applications. In the paper, we propose a UML-based metamodeling technique with precise static and dynamic semantics (based on a refinement calculus and graph transformation) where the structure and operational semantics of mathematical models can be defined in a UML notation without cumbersome mathematical formulae.