Evolving algebras 1993: Lipari guide
Specification and validation methods
On the Concurrent Object Model of UML
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
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
UMLAUT: An Extendible UML Transformation Framework
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
The UML family: profiles, prefaces and packages
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Validating UML models and OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
A formal approach to collaborations in the unified modeling language
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
Modeling and performance analysis for security aspects
Science of Computer Programming - Special issue on quality system and software architectures
A representation method for performance specifications in UML domain
Computers in Human Behavior
Rigorous Methods for Software Construction and Analysis
Hi-index | 0.00 |
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational part of the language with particular attention to the behavior description based on actions. To remain close to the standard UML, we automatically translate the UML metamodel in ASM. This allows to take into account all the concepts and relationships contained in the standard, and to minimize the changes subsequent to the frequent updates of the standard. For the dynamic part, the particularity of our approach is that we focus on actions, as defined in our proposal to the OMG action semantics working group. We deal with concurrency, signal exchange, operation calls, general communication primitives, etc. We do not define the semantics of state machines, but we clearly define their place within the framework of our semantics. We also describe how the ASM domains and functions used in the semantics are built initially from a particular UML model.