Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Behavioral refinement and compatibility of statechart extensions

: Prehofer, Christian

Postprint urn:nbn:de:0011-n-2646751 (706 KByte PDF)
MD5 Fingerprint: ab0fb87a0acfb5b4047eec65c5f03e1c
Erstellt am: 10.1.2014

Electronic notes in theoretical computer science. Online journal 295 (2013), S.65-78
ISSN: 1571-0661
International Workshop on Formal Engineering Approaches to Software Components and Architectures (FESCA) <9, 2012, Tallinn>
Zeitschriftenaufsatz, Konferenzbeitrag, Elektronische Publikation
Fraunhofer ESK ()
behavioral refinement; statecharts; semantic refinement; compatibility; model-based development

We compare the notions of refinement and compatibility for system models and their variants described as statecharts. Compatibility, in the sense of substitutability, means that a system can be used in any place where the original one was used. We show that existing definitions of refinement and compatibility are orthogonal, if they include an interface extension. Then, we focus on extended compatibility, which means that the system returns to a compatible behavior after some time even if the newly added features are used. Our new result shows under what conditions the usage of a newly added feature preserves behavior. More specifically, we perform a novel kind of elimination of the newly added behavior on a trace level. In this way, we can achieve extended compatibility even if the newly added features use existing input and output events, which is not possible with existing abstractions and refinement concepts.