Communications of the ACM
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
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
Using relational and behavioural semantics in the verification of object models
Fourth International Conference on Formal methods for open object-based distributed systems IV
Linking UML with integrated formal techniques
Unified modeling language
Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach
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 CSP View on UML-RT Structure Diagrams
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
The Metamodelling Language Calculus: Foundation Semantics for UML
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
A Graph Rewriting Framework for Statecharts Semantics
Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
A Framework for Adding Packages to Graph Transformation Approaches
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Hierarchical Graph Transformation
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
Towards a Formal Operational Semantics of UML Statechart Diagrams
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
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
A Visualization of OCL Using Collaborations
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
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
Semantics of Full Statecharts Based on Graph Rewriting
Proceedings of the International Workshop on Graph Transformations in Computer Science
Definition of Programming Language Semantics Using Grammars for Hierarchical Graphs
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
UML Packages for PROgrammed Graph REwriting Systems
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Formal specification of Catalysis frameworks
APSEC '00 Proceedings of the Seventh Asia-Pacific Software Engineering Conference
Consistency checking and visualization of OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Consistent behaviour representation in activity and sequence diagrams
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Rewrite rules and operational semantics for model checking UML statecharts
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing 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
Analysing UML use cases as contracts
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
A Rule-Based, Integrated Modelling Approach for Object-Oriented Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
A Formal Descriptive Semantics of UML
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Specifying behavioral semantics of UML diagrams through graph transformations
Journal of Systems and Software
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
From UML Models to Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Compositional Operational Semantics of a UML-Kernel-Model Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics of Visual Models in a Rule-based Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
On translating UML models into graph transformation systems
Journal of Visual Languages and Computing
A formal framework for developing adaptable service-based applications
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Aspect-oriented model-driven skeleton code generation: A graph-based transformation approach
Science of Computer Programming
Specifying and verifying UML activity diagrams via graph transformation
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
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
Hi-index | 0.00 |
This paper studies the semantics of a central part of the Unified Modeling Language UML. It discusses UML class, object and state diagrams and presents a new integrated semantics for both on the basis of graph transformation. Graph transformation is a formal technique having some common ideas with the UML. Graph transformation rules are associated with the operations in class diagrams and with the transitions in state diagrams. The resulting graph transformations are combined into a one system in order to obtain a single coherent semantic description.