SDL Profiles – Formal Semantics and Tool Support
| Autor: | Reinhard Gotzhein, Rüdiger Grammes |
|---|---|
| Rok vydání: | 2007 |
| Předmět: |
Programming language
Computer science Formal semantics (linguistics) computer.software_genre Specification and Description Language Language definition Software_SOFTWAREENGINEERING Abstract syntax Boolean expression Communications protocol Proof obligation computer Hardware_LOGICDESIGN computer.programming_language |
| Zdroj: | Fundamental Approaches to Software Engineering ISBN: 9783540712886 FASE |
| Popis: | 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 sufficient in practice. In this paper, we present a formalised approach for extracting the formal semantics for SDL profiles from the complete SDL semantics. Based on this formalisation, we then define a notion of profile consistency. Finally, we present our SDL-profile tool, and report on our experiences. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|