Compositional Operational Semantics of a UML-Kernel-Model Language

Authors:
Harald Fecher;Marcel Kyas;Willem-Paul de Roever;Frank S. de Boer
Affiliations:
Institute for Computer Science and Applied Mathematics, Christian-Albrechts-Universität zu Kiel, Germany;Institute for Computer Science and Applied Mathematics, Christian-Albrechts-Universität zu Kiel, Germany;Institute for Computer Science and Applied Mathematics, Christian-Albrechts-Universität zu Kiel, Germany;CWI Amsterdam, The Netherlands
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2006

Citing 5
Cited 0

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Executable Object Modeling with Statecharts

Computer
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
An assertion-based proof system for multithreaded Java

Theoretical Computer Science - Formal methods for components and objects
A semantics of communicating reactive objects with timing

International Journal on Software Tools for Technology Transfer (STTT) - Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML

Quantified Score

Hi-index	0.00

Visualization

Abstract

We define a compositional operational semantics for state machines and their composition in UML. Each state machine describes the behavior of an object of a class. If a class of a newly generated object is active, a new activity group, which is a singly-threaded collection of objects, is generated. Communication of state machines between activity groups differs from the one inside an activity group. We introduce (i) two parallel combinators reflecting this difference, which return a SOS given that their arguments are SOS, (ii) an SOS for each state machine regarded in isolation.