Towards a Formal Behavioral Semantics for UML Interactions

摘要：

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 CSPbased 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.

关键词： Formal semantics UML Interactions CSP QVT

作者: Li Dan Li Danning

作者单位: Guizhou Academy of Sciences Guiyang, Guizhou, China

会议类型: 国际会议

会议名称: Third International Symposium on Information Science and Engineering(第三届信息科学与工程国际会议 ISISE 2010)

会议地点: 上海

会议语种:英文

页码: 213-218

在线出版日期: 2010-12-24（万方平台首次上网日期，不代表论文的发表时间）