Semantics of UML 2.2 State Machines in Rewriting Logic

zum Volltext (460 kB)   ZIP
Beteiligte Person(en) / Institution(en)Autor :
DatumErschienen :
  • Februar 2012
Seitenbereich18 S.

While the semantics of (labeled) transition systems and the relations between these are well understood. However, the same has not yet been achieved for UML 2.2 state machines. Their many semantics often is defined in terms of labeled transition systems, because the standard document is ambiguous. A formal, modular core semantics for UML 2.2 state machines is given in rewriting logic.
Statische URLhttps://www.uni-kiel.de/journals/receive/jportal_jparticle_00000048
 
URN:NBNurn:nbn:de:101:1-201202285365
IDNummer des Berichts :
  • TR_1202