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

Celý popis

Podrobná bibliografie

Hlavní autoři:	S. A. Chernenok, V. A. Nepomniaschy
Médium:	Artigo
Jazyk:	Inglês
Vydáno:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Edice:	Труды Института системного программирования РАН
Témata:	specification translation verification distributed systems communication protocols message sequence charts uml sequence diagrams coloured petri nets
On-line přístup:	https://ispranproceedings.elpub.ru/jour/article/view/646
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!