Statecharts: A visual formalism for complex systems
Science of Computer Programming
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Proceedings of the 3rd ACM international workshop on Data warehousing and OLAP
Ninth International Conference on Information and Knowledge Management
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
What is in a Step: On the Semantics of Statecharts
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Hierarchical Automata as Model for Statecharts
ASIAN '97 Proceedings of the Third Asian Computing Science Conference on Advances in Computing Science
Statecharts Via Process Algebra
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
A Compositional Semantics for Statecharts using Labeled Transition Systems
CONCUR '94 Proceedings of the Concurrency Theory
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
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 Concise Compositionalj Statecharts Semantics Definition
FORTE/PSTV 2000 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX)
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
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
Modeling the meaning of transitions from and to concurrent states in UML state machines
Proceedings of the 2003 ACM symposium on Applied computing
A unified approach to code generation from behavioral diagrams
Languages for system specification
Modelling and model checking suspendible business processes via statechart diagrams and CSP
Science of Computer Programming
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes
IEEE Transactions on Software Engineering
Visual Specification of Systems with Heterogeneous Coordination Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Are Statecharts Finite Automata?
CIAA '09 Proceedings of the 14th International Conference on Implementation and Application of Automata
Modelling recursive calls with UML state diagrams
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Integration of formal datatypes within state diagrams
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
VCD: a visual formalism for specification of heterogeneous software architectures
SOFSEM'05 Proceedings of the 31st international conference on Theory and Practice of Computer Science
Specification and verification of applications based on function blocks
Component-Based Software Development for Embedded Systems
| Hi-index | 0.00 |
The Unified Modeling Language (UML) has gained wide acceptance in very short time because of its variety of well-known and intuitive graphical notations. However, this comes at the prize of an unprecise and incomplete semantics definition. This insufficiency concerns single UML diagram notations on their own as well as their integration. In this paper, we focus on the notation of UML-Statecharts. Starting with a precise textual syntax definition, we develop quite a concise structured operational semantics (SOS) for UML-Statecharts based on labeled transition systems. Besides the support of interlevel transitions and in contrast to related work, our semantics definition supports characteristic UML-Statechart features like the history mechanism as well as entry and exit actions.