A formal semantics for complete UML state machines with communications

A formal semantics for complete UML state machines with communications

UML is a widely used notation, and formalizing its semantics is an important issue. Here, we concentrate on formalizing UML state machines, used to express the dynamic behaviour of software systems. We propose a formal operational semantics covering all features of the latest version (2.4.1) of UML...

Full description

Saved in:
Bibliographic Details
Main Authors: LIU, Shuang, LIU, Yang, ANDRÉ, Étienne, CHOPPY, Christine, SUN, Jun, WADHWA, Bimlesh, DONG, Jin Song
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2013
Subjects:
State Machine
Model Check
Formal Semantic
Linear Temporal Logic
Event Pool
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/5003
https://ink.library.smu.edu.sg/context/sis_research/article/6006/viewcontent/a_formal.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/5003
https://ink.library.smu.edu.sg/context/sis_research/article/6006/viewcontent/a_formal.pdf

Similar Items