The Z notation: a reference manual
The Z notation: a reference manual
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
A UML statecharts semantics with message-passing
Proceedings of the 2002 ACM symposium on Applied computing
Algebraic Foundations of Systems Specification
Algebraic Foundations of Systems Specification
CASL: the common algebraic specification language
Theoretical Computer Science
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)
Formalization of UML-Statecharts
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A Steam-Boiler Control Specification with Statecharts and Z
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams
IPDPS '03 Proceedings of the 17th International Symposium on Parallel and Distributed Processing
Formalising UML state machines for model checking
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes
IEEE Transactions on Software Engineering
Interacting Extended State Diagrams
Electronic Notes in Theoretical Computer Science (ENTCS)
International Journal of Internet Technology and Secured Transactions
A java implementation of a component model with explicit symbolic protocols
SC'05 Proceedings of the 4th international conference on Software Composition
Consistency in UML and b multi-view specifications
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
| Hi-index | 0.00 |
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able to model dynamic aspects of complex systems with graphical user-friendly languages, and (ii) to be able to specify in a formal way and at a high abstraction level the datatypes pertaining to the static aspects of such systems. The dynamic aspects may be expressed using state diagrams (such as UML or SDL ones) and the static aspects may be expressed using either algebraic specifications or state oriented specifications (such as Z or B). Our approach introduces a flexible use of datatypes. It also may take into account different semantics for the state diagrams.