Publication: Equivalence Transformation on Statechar...

Master data
Title: Equivalence Transformation on Statecharts
Subtitle:
Abstract: Statecharts are a popular representation technique for conceptual models of the dynamics of a universe of discourse. However, designers are not supported in their work with dynamic models as well as they are for working with static models. We present a meta-model and a formalization of the semantics of a statechart language. Important results are the definition of the equivalence of statecharts and a sound and complete axiomatization of the equivalence. Based on this we define a set of basic schema transformations which do not change the semantics of a model. These: transformations can be used to successively transform statecharts to achieve design goals or to prepare them for implementation.
Keywords:
Publication type: Article in compilation (Authorship)
Publication date: 2000 (Print)
Published by: Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering, SEKE 2000, Chicago
Proceedings of the 12th International Conference on Software Engineering and Knowledge Engineering, SEKE 2000, Chicago
to publication
 ( Springer Verlag; S.-K. Chang )
Title of the series: -
Volume number: -
First publication: Yes
Page: pp. 150 - 158

Versionen
Keine Version vorhanden
Publication date: 2000
ISBN:
  • 1-89170-605-5
ISSN: -
Homepage: http://www.isys.uni-klu.ac.at/PDF/2000-0029-HFJE.pdf

Authors
H. Frank
No Data available
*
J. Eder
No Data available
*
Johann Eder
Johann.Eder@aau.at
Institut für Informatik-Systeme
Research activities
To visiting card
(internal)
Heinz Frank
Research activities
To visiting card
(internal)

Assignment
Organisation Address
Fakultät für Technische Wissenschaften
  Institut für Informatik-Systeme
Universitätsstr. 65-67
A-9020 Klagenfurt
Austria
  -993503
   kerstin.smounig@aau.at
https://www.aau.at/isys/
To organisation
Universitätsstr. 65-67
AT - A-9020  Klagenfurt

Categorisation
Subject areas No subject area selected
Research Cluster No research Research Cluster selected
Peer reviewed
  • Yes
Publication focus
  • Science to Science (Quality indicator: n.a.)
Classification raster of the assigned organisational units:
working groups
  • Information and Communication Systems (ICS)

Cooperations
No partner organisations selected

Articles of the publication
No related publications