The application of coloured Petri nets to verification of distributed systems specified by message Sequence Charts

Article Russian OPEN
  • Publisher: Федеральное государственное бюджетное учреждение науки Институт системного программирования Российской академии наук
  • Journal: Труды Института системного программирования РАН (issn: 2079-8156)
  • Publisher copyright policies & self-archiving
  • Subject:
    arxiv: Computer Science::Software Engineering

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 ... View more
Share - Bookmark