Towards a Formal Behavioral Semantics for UML Interactions

Author

Dan, Li ; Danning, Li

Author_Institution

Guizhou Acad. of Sci., Guiyang, China

fYear

2010

fDate

24-26 Dec. 2010

Firstpage

213

Lastpage

218

Abstract

UML interaction diagrams are important in effectively modeling complex system behaviors. But its lack of formal semantics makes it difficult for practitioners to analyze and validate the built model. In this paper, we present a formal behavioral semantics for UML Interactions based on CSP (communicating and sequential processes).The semantics is defined denotationally through semantic mapping specified using QVT Relations in graphical notation. This CSP-based machine-readable semantics supports important flow control related features of UML 2.0, and can be easily understood by humans. Furthermore, the semantics may serve as a foundation for tools supporting model execution, code generation and automated reasoning in model driven development of software system.

Keywords

Unified Modeling Language; communicating sequential processes; software engineering; CSP-based machine-readable semantics; QVT Relations; UML 2.0; UML interaction diagrams; automated reasoning; code generation; communicating and sequential processes; formal behavioral semantics; model driven development; model execution; Concrete; Mathematical model; Process control; Programming; Semantics; Syntactics; Unified modeling language; CSP; Formal semantics; QVT; UML Interactions;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Science and Engineering (ISISE), 2010 International Symposium on

Conference_Location

Shanghai

ISSN

2160-1283

Print_ISBN

978-1-61284-428-2

Type

conf

DOI

10.1109/ISISE.2010.88

Filename

5945087