• search hit 1 of 3
Back to Result List

SDL Profiles - Definition and Formal Extraction

  • Over a period of 30 years, ITU-T’s Specification and Description Language (SDL) has matured to a sophisticated formal modelling language for distributed systems and communication protocols. The language definition of SDL-2000, the latest version of SDL, is complex and difficult to maintain. Full tool support for SDL is costly to implement. Therefore, only subsets of SDL are currently supported by tools. These SDL subsets - called SDL profiles - already cover a wide range of systems, and are often suffcient in practice. In this report, we present our approach for extracting the formal semantics for SDL profiles from the complete SDL semantics. We then formalise the approach, present our SDL-profile tool, and report on our experiences.

Download full text files

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author:Rüdiger Grammes, Reinhard Gotzhein
URN:urn:nbn:de:hbz:386-kluedo-14656
Series (Serial Number):Interner Bericht des Fachbereich Informatik (350)
Document Type:Report
Language of publication:English
Year of Completion:2006
Year of first Publication:2006
Publishing Institution:Technische Universität Kaiserslautern
Date of the Publication (Server):2006/11/21
Tag:Extraction; Formal Semantics; Profiles
GND Keyword:SDL
Faculties / Organisational entities:Kaiserslautern - Fachbereich Informatik
CCS-Classification (computer science):F. Theory of Computation / F.3 LOGICS AND MEANINGS OF PROGRAMS / F.3.2 Semantics of Programming Languages (D.3.1)
F. Theory of Computation / F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES / F.4.3 Formal Languages (D.3.1)
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011