A Formal Semantics of UML Statecharts by Model Transition Systems

UML Statecharts are well-known visual means to capture the dynamic behavior of reactive systems in the object-oriented design methodology. Since the UML standard only contains an informal description on how to execute such statemachines mathematically precise semantic frameworks are required for an...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	VARRO, Daniel
Format:	Buchkapitel
Sprache:	eng
Schlagworte:	Abstract State Machine Applied sciences Computer science control theory systems Dynamic Semantic Exact sciences and technology Formal Semantic Graph Transformation Information retrieval. Graph Operational Semantic Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!