The server is under maintenance between 08:00 to 12:00 (GMT+08:00), and please visit
later.
We apologize for any inconvenience caused
The Formalization for UML Statechart Diagrams
Author(s): Sun Meng, ZHANG Naixiao, Bernhard K Aichernig
Pages: 344-
357
Year: 2005
Issue:
3
Journal: ACTA SCIENTIARUM NATURALIUM UNIVERSITATIS PEKINENSIS
Keyword: UML; statechart; RAISE; formalization;
Abstract: It is presented that a formalization for UML statechart diagrams in the RAISE specification language RSL.By such a formalization, a general framework is proposed for integration of graphical UML statechart diagrams and formal RSL specifications,which forms the continuation of the previous work on formalization ofUML class diagrams in RSL.This allows the definition of UML semantic interpretations that are precise and unambiguous,and also enhancing the readability,conciseness and Abstraction of the resulting RSL specification.A case study illustrates how the framework can be used to create formal specification for UMLmodels and analyze the properties of the models.
Citations
Searching Exception