The server is under maintenance between 08:00 to 12:00 (GMT+08:00), and please visit later.
We apologize for any inconvenience caused
Login  | Sign Up  |  Oriprobe Inc. Feed
China/Asia On Demand
Journal Articles
Laws/Policies/Regulations
Companies/Products
The Formalization for UML Statechart Diagrams
Author(s): 
Pages: 344-357
Year: Issue:  3
Journal: ACTA SCIENTIARUM NATURALIUM UNIVERSITATIS PEKINENSIS

Keyword:  UMLstatechartRAISEformalization;
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.
Related Articles
loading...