1
Conversion between specification and description language (SDL) processes and message sequence charts | |
Author | Lian, Jie |
Call Number | AIT Thesis no.CS-98-3 |
Subject(s) | SDL (Computer program language) |
Note | A thesis submitted in Partials fulfillment of the requirements for the degree of Master of Engineering, School of Advanced Technologies |
Publisher | Asian Institute of Technology |
Abstract | The Specification and Description Language (SDL) and the Message Sequence Chart (MSC) are two widespread used languages for developments of real time system. Each of them has advantages and disadvantages for some particular fields of real time system. But the disadvantages of one can be avoided in the other. The combination of abilities of the two languages will provide a more powerful method of system developments than only one of them does. In SDL the dynamic behavior actors are processes. Meanwhile MSC also describes the dynamic behaviors of system message exchange. But they have different characteristics. Because both of them describe a same field of system, there should exist relationships between them. This thesis focuses on the relationships and conversions between SDL processes and MSC. Under these relationships, if one is known, then the other will be obtained automatically by using the conversion rules. Thus this kind of conversions not only may provide an efficient way for system specification and description, but may reduce the workload of system design as well. The study of this thesis starts from their mathematical definitions and ends at defining a set of conversion rules. All the conversion rules are based on the automata theory, SDL and MSC definitions. |
Year | 1998 |
Type | Thesis |
School | School of Advanced Technologies (SAT) |
Department | Department of Information and Communications Technologies (DICT) |
Academic Program/FoS | Computer Science (CS) |
Chairperson(s) | Vilas Wuwongse ; |
Examination Committee(s) | Batanov, Dentcho N. ;Jianguo, Zhang; |
Scholarship Donor(s) | Asian Institute of Technology Partial Scholarship; |
Degree | Thesis (M.Eng.) - Asian Institute of Technology, 1998 |