The Application of Coloured Petri Nets to Verification of Distributed Systems Specified by Message Sequence Charts

The language of message sequence charts (MSC) is a popular scenario-based specification language used to describe the interaction of components in distributed systems. However, the methods for validation of MSC diagrams are underdeveloped. This paper describes a method for translation of MSC diagram...

Disgrifiad llawn

Manylion Llyfryddiaeth

Prif Awduron:	S. A. Chernenok, V. A. Nepomniaschy
Fformat:	Artigo
Iaith:	Inglês
Cyhoeddwyd:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Cyfres:	Труды Института системного программирования РАН
Pynciau:	specification translation verification distributed systems communication protocols message sequence charts uml sequence diagrams coloured petri nets
Mynediad Ar-lein:	https://ispranproceedings.elpub.ru/jour/article/view/646
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!