From MSC and UML to SDL

UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported by several commercial tools, which allow for simulation and validation of SDL design specifications as well as automatic c...

Full description

Saved in:
Bibliographic Details
Published inProceedings - International Computer Software & Applications Conference pp. 153 - 158
Main Authors Bourduas, S., Khendek, F., Vincent, D.
Format Conference Proceeding Journal Article
LanguageEnglish
Published Los Alamitos CA IEEE 2002
Subjects
Applied sciences
Computational modeling
Computer architecture
Computer science; control theory; systems
Concrete
Exact sciences and technology
Formal languages
Research and development
Software
Software engineering
Software standards
System testing
Telecommunication computing
Telecommunication standards
Unified modeling language
Code generation
Special purpose language
Validation
Specification language
Software development
Telecommunication
Specification
Systems theory
Distributed system
Message sequence chart
Formal semantics
Automatic translation
Automatic generation
Unified modelling language
Online AccessGet full text

Cover

More Information
Summary:UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported by several commercial tools, which allow for simulation and validation of SDL design specifications as well as automatic code generation from these specifications. In order to take advantages of the SDL available tools and still use the very popular notations such as UML and MSC, we have developed an approach for specifying distributed systems in UML and MSC. MSCs are used to specify the behavior (scenarios) of the distributed system under consideration. UML, more precisely Class Diagrams and Object Diagrams, are used to specify the architecture of the system. By architecture, we mean the different components of the system and their interconnections. The MSC and UML specifications are translated automatically into a full SDL specification. We introduce our distributed system specification style in UML and its automatic translation into an SDL architecture.
Bibliography:SourceType-Scholarly Journals-2
ObjectType-Feature-2
ObjectType-Conference Paper-1
content type line 23
SourceType-Conference Papers & Proceedings-1
ObjectType-Article-3
ISBN:0769517277
9780769517278
ISSN:0730-3157
DOI:10.1109/CMPSAC.2002.1044546