Sammanfattning av denna webbsida: Statechart Diagram är en notation för att beskriva beteenden inom ramen för UML, det Unified Modeling Language of object-orienterade system. UML är ett semi-formellt språk, med en exakt definierad syntax och statiska semantik men med en endast informellt specificerad dynamisk semantik. UML Statechart Diagram skiljer sig från klassiska statecharts, som definieras av Harel, för vilka formaliseringar och resultat finns tillgängliga i litteraturen. Detta dokument lägger grunden för utvecklingen av en formell semantik för UML Statechart Diagram baserat på Kripke strukturer. Detta utgör det första steget mot modellkontroll av UML Statechart Diagram. Vi följer det tillvägagångssätt som Mikk och andra föreslår: vi kartlägger först Statechart Diagram till mellanformatet för utökad hierarkisk automat och sedan definierar vi en operationell semantik för dessa automater. Vi bevisar ett antal egenskaper hos sådana semantik som återspeglar designval av UML Statechart Diagram.
Det följs av ett försök att definiera formella operativa semantik för UML statecharts REF.
Towards a Formal Operational Semantics of UML Statechart Diagrams
{'venue': 'FMOODS', 'journal': None, 'mag_field_of_study': ['Computer Science']}