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

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

Full description

Bibliographic Details
Main Authors: S. A. Chernenok, V. A. Nepomniaschy
Format: Article
Language:English
Published: Ivannikov Institute for System Programming of the Russian Academy of Sciences 2018-10-01
Series:Труды Института системного программирования РАН
Subjects:
specification
translation
verification
distributed systems
communication protocols
message sequence charts
uml sequence diagrams
coloured petri nets
Online Access:https://ispranproceedings.elpub.ru/jour/article/view/646

Similar Items

Similar Items