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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have