Publikation: Equivalence Transformation on Statechar...
Stammdaten
| Titel: | Equivalence Transformation on Statecharts |
| Untertitel: | |
| Kurzfassung: | 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. |
| Schlagworte: |
| Publikationstyp: | Beitrag in Sammelwerk (Autorenschaft) |
| Erscheinungsdatum: | 2000 (Print) |
| Erschienen in: |
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
(
Springer Verlag;
S.-K. Chang
)
zur Publikation |
| Titel der Serie: | - |
| Bandnummer: | - |
| Erstveröffentlichung: | Ja |
| Seite: | S. 150 - 158 |
Versionen
| Keine Version vorhanden |
| Erscheinungsdatum: | 2000 |
| ISBN: |
|
| ISSN: | - |
| Homepage: | http://www.isys.uni-klu.ac.at/PDF/2000-0029-HFJE.pdf |
AutorInnen
|
H. Frank
Keine Daten vorhanden
*
|
|
J. Eder
Keine Daten vorhanden
*
|
| Johann Eder (intern) |
| Heinz Frank (intern) |
Zuordnung
| Organisation | Adresse | ||||
|---|---|---|---|---|---|
|
Fakultät für Technische Wissenschaften
Institut für Informatik-Systeme
|
AT - A-9020 Klagenfurt |
Kategorisierung
| Sachgebiete | Kein Sachgebiet ausgewählt |
| Forschungscluster | Kein Forschungscluster ausgewählt |
| Peer Reviewed |
|
| Publikationsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
| Arbeitsgruppen |
|
Kooperationen
Keine Partnerorganisation ausgewählt
Forschungsaktivitäten
Hier werden alle mit dieser Publikation in Zusammenhang stehenden Forschungsaktivitäten angezeigt. Mit dem untenstehenden Link können sie sich diese Forschungsaktivitäten in der Suche anzeigen lassen und gegebenenfalls exportieren.
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Zugehörige Forschungsaktivitäten in der Suche anzeigen
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
| Projekte: |
|
| Publikationen: | Keine verknüpften Publikationen vorhanden |
| Veranstaltungen: | Keine verknüpften Veranstaltung vorhanden |
| Vorträge: | Keine verknüpften Vorträge vorhanden |
Beiträge der Publikation
Keine verknüpften Publikationen vorhanden