Abstract

Specification and Description Language (SDL) and Message Sequence Chart (MSC), two widely used system engineering modeling languages, specify and describe different aspects of real time systems. Since MSC is always combined with SDL in system specifications and descriptions, their interrelationship is very important and deserves special attention. Two new mathematical models for precise description of SDL Processes and MSC are used to analyze their interrelationship.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call