Integration of the association ends within UML state diagrams

被引：0

作者：

Bouabana-Tebibel, Thouraya ^{[1
]}

Belmesk, Mounira ^{[1
]}

机构：

[1] Natl Inst Comp Sci, Oued Smar 16309, Algiers, Algeria

来源：

INTERNATIONAL ARAB JOURNAL OF INFORMATION TECHNOLOGY | 2008年 / 5卷 / 01期

关键词：

UML; OCL; Petri nets; temporal logics; verification;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, we first present a technique for transforming the UML statechart diagrams into Petri nets. Then we develop an approach based on the class association ends. This approach shows how to validate the system invariants, expressed in the Object Constraint Language, on the Petri nets derived from the UML models. System property validation starts with an initialization of the model, extracted from the object and sequence diagrams. A case study is given throughout the paper to illustrate the methodology.

引用

页码：7 / 15

页数：9