Automatic transformation of MSC diagrams into Petri Nets

被引：0

作者：

Kryvyy, SL ^{[1
]}

Matvyeyeva, LE ^{[1
]}

Lopatina, MV ^{[1
]}

机构：

[1] NAS Ukraine, Inst Cybernet, UA-03187 Kiev, Ukraine

来源：

7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL V, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: I | 2003年

关键词：

MSC diagram; MSC'2000; condition; automatic translation; Petri Net; process algebra; semantics;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Algorithm of automatic translation of MSC diagrams compliant with MSC'2000 standard into Petri Nets (PNs) is suggested in this paper. The most significant feature of the given algorithm is the way of handling of conditions. The direction for future work is the development of integral, partially or completely automated technological process, which will allow to design system, test and verify its various properties in the one frame.

引用

页码：140 / 145

页数：6