The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Object-oriented technology and computing systems re-engineering
Using UMLsec and goal trees for secure systems development
Proceedings of the 2002 ACM symposium on Applied computing
On Use Cases and Their Relationships in the Unified Modelling Language
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Towards Development of Secure Systems Using UMLsec
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
The UML as a Formal Modeling Notation
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Using UMLsec and goal trees for secure systems development
Proceedings of the 2002 ACM symposium on Applied computing
UMLsec: Extending UML for Secure Systems Development
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Modeling the meaning of transitions from and to concurrent states in UML state machines
Proceedings of the 2003 ACM symposium on Applied computing
A UML-based modeling of web application controller
Programming and Computing Software
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes
IEEE Transactions on Software Engineering
Weaving executability into UML class models at PIM level
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
A semantic framework for metamodel-based languages
Automated Software Engineering
Integration of formal datatypes within state diagrams
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Interpretation of history pseudostates in orthogonal states of UML state machines
NGITS'09 Proceedings of the 7th international conference on Next generation information technologies and systems
Semantics of UML models for dynamic behavior: a survey of different approaches
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Nets4Cars/Nets4Trains'11 Proceedings of the Third international conference on Communication technologies for vehicles
Semantic variations among UML statemachines
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
An executable semantics of the systemc UML profile
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
A graph grammar-based formal validation of object-process diagrams
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
We give a formal semantics for one of the main UML diagram types for dynamical system behavior: statechart diagrams. This is the first semantics which explicitly models message-passing between different diagrams. It therefore lays a first foundation for executable UML modeling, allowing whole systems of UML specifications (rather than single diagrams) to be simulated.