Fundamenta Informaticae - Special issue on graph transformations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Graph transformation for specification and programming
Science of Computer Programming
Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
Proof, language, and interaction
Proceedings of the International Workshop on Graph Transformations in Computer Science
A formal semantics for UML interactions
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Core meta-modelling semantics of UML: the pUML approach
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Formalising UML state machines for model checking
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
UML collaboration diagrams and their transformation to java
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Designing the automatic transformation of visual languages
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Strengthening UML Collaboration Diagrams by State Transformations
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
A Formal Semantics of UML State Machines Based on Structured Graph Transformation
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Formalization of UML-Statecharts
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
UMLsec: Extending UML for Secure Systems Development
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Graph Transformation with Time: Causality and Logical Clocks
ICGT '02 Proceedings of the First International Conference on Graph Transformation
A Formal Semantics of UML Statecharts by Model Transition Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Graph Rewrite Systems for Software Design Transformations
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
Graph transformation with time
Fundamenta Informaticae - Special issue on the first international conference on graph transformation (ICGT 2002)
A discrete-time UML semantics for concurrency and communication in safety-critical applications
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Transformation techniques in the model-driven development process of UWE
ICWE '06 Workshop proceedings of the sixth international conference on Web engineering
Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Modelling the Operational Semantics of Domain-Specific Modelling Languages
Generative and Transformational Techniques in Software Engineering II
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude
Software Language Engineering
Behavior, Time and Viewpoint Consistency: Three Challenges for MDE
Models in Software Engineering
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Human comprehensible and machine processable specifications of operational semantics
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Analysis of UML activities using dynamic meta modeling
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Managing socio-technical interactions in healthcare systems
BPM'07 Proceedings of the 2007 international conference on Business process management
Extending DMM behavior specifications for visual execution and debugging
SLE'10 Proceedings of the Third international conference on Software language engineering
Action semantics for defining dynamic semantics of modeling languages
Proceedings of the Third Workshop on Behavioural Modelling
Journal of Visual Languages and Computing
QUAASY: QUality Assurance of Adaptive SYstems
Proceedings of the 8th ACM international conference on Autonomic computing
Contracts for model execution verification
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
A framework with tools for designing web-based geographic applications
Proceedings of the 11th ACM symposium on Document engineering
An interaction model and a framework dedicated to web-based geographic applications
Proceedings of the International Conference on Management of Emergent Digital EcoSystems
Improving the definition of UML
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
An OCL semantics specified with QVT
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
From graph transformation to software engineering and back
Formal Methods in Software and Systems Modeling
Specifying and verifying UML activity diagrams via graph transformation
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Realizing graph transformations by pre- and postconditions and command sequences
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Dynamic logic semantics for UML consistency
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
Proceedings of the 2012 ACM international conference on Intelligent User Interfaces
Defining object-oriented execution semantics using graph transformations
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Revising the UML collaborations: a well-founded approach
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Graph Transformation with Time
Fundamenta Informaticae - The First International Conference on Graph Transformation (ICGT 2002)
Model-based testing of service infrastructure components
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Towards xMOF: executable DSMLs based on fUML
Proceedings of the 2012 workshop on Domain-specific modeling
Characterization of adaptable Interpreted-DSML
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Towards domain-specific property languages: the ProMoBox approach
Proceedings of the 2013 ACM workshop on Domain-specific modeling
Hi-index | 0.00 |
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static meta model by a specification of the system's dynamics by means of collaboration diagrams. In this way, it is possible to define the behavior of UML diagrams within UML. The conceptual idea is inherited from Plotkin's structured operational semantics (SOS) paradigm, a style of semantics specification for concurrent programming languages and process calculi: Collaboration diagrams are used as deduction rules to specify a goal-oriented interpreter for the language. The approach is exemplified using a fragment of UML state-chart and object diagrams. Formally, collaboration diagrams are interpreted as graph transformation rules. In this way, dynamic UML semantics can be both mathematically rigorous so as to enable formal specifications and proofs and, due to the use of UML notation, understandable without prior knowledge of heavy mathematic machinery. Thus, it can be used as a reference by tool developers, teachers, and advanced users.