The following information was submitted:
Transactions: WSEAS TRANSACTIONS ON INFORMATION SCIENCE AND APPLICATIONS
Transactions ID Number: 52-114
Full Name: Albert Hoogewijs
Position: Professor
Age: ON
Sex: Male
Address: Krijgslaan 281, S22
Country: BELGIUM
Tel: +3292644912
Tel prefix:
Fax: +3292644993
E-mail address: albert.hoogewijs@ugent.be
Other E-mails: albert.hoogewijs@telenet.be,bh@cage.ugent.be
Title of the Paper: Statechart Normalizations
Authors as they appear in the Paper: Benjamin De Leeuw, Albert Hoogewijs
Email addresses of all the authors: benjamin.deleeuw@ugent.be, albert.hoogewijs@telenet.be
Number of paper pages: 19
Abstract: Simplified statecharts are derived by excluding all redundant constructs of the UML (Unified Modeling Language) metamodel on statecharts. Due to the transformations involved in the simplification algorithm a lot of sparse edges may occur. An edge of a simplified statechart (ssc) is called sparse when it is missing a trigger, guard or action (or any combination of the three). Having many sparse edges in an ssc is not very useful since a state can only be influenced by triggers, guards and actions. A state is only useful if any of the possible values of the variables available in that state differ from the previous and next states in any path containing that state or if the trigger list of a certain path becomes different by accessing that state. In this paper we propose a normal form for simplified statecharts that allows us to reduce sparse edges and unnecessary states. Some statecharts are only seemingly different from others if one analyzes the different paths!
in those statecharts. The UML is designed to allow for this kind of (uncontrollable) flexibility but in mathematical descriptions it has adverse effects. We introduce an equivalence relation on simplified statecharts and derive a normalization procedure which converts a simplified sc to a normalized simplified sc equivalent to the original one. Our formalism allows us to unravel superficial differences between simplified statecharts.
Keywords: Statecharts, Statechart normalization, UML, Model checking, State machine theory
EXTENSION of the file: .pdf
Special (Invited) Session:
Organizer of the Session:
How Did you learn about congress: UGent University library,Rozier 9, B- 9000 Gent, libservice@ugent.be
IP ADDRESS: 81.82.99.27
