Analysis and Verification of Message Sequence Charts of Distributed Systems with the Help of Coloured Petri Nets

Analysis and Verification of Message Sequence Charts of Distributed Systems with the Help of Coloured Petri Nets

The standard language of message sequence charts MSC is intended to describe scenarios of object interaction. Due to their expressiveness and simplicity MSC diagrams are widely used in practice at all stages of system design and development. In particular, the MSC language is used for describing com...

Full description

Bibliographic Details
Main Authors: S. A. Chernenok, V. A. Nepomniaschy
Format: Article
Language:English
Published: Yaroslavl State University 2014-12-01
Series:Моделирование и анализ информационных систем
Subjects:
specification
translation
verification
distributed systems
communication protocols
msc diagrams
coloured petri nets
Online Access:https://www.mais-journal.ru/jour/article/view/74

Similar Items

Similar Items