Formal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models

Простая страница элемента
dc.creatorEschbach,Robert
dc.creatorGlässer,Uwe
dc.creatorGotzhein,Reinhard
dc.creatorLöwis,Martin
dc.creatorPrinz,Andreas
dc.date2001
dc.date.accessioned2024-02-06T12:51:25Z
dc.date.available2024-02-06T12:51:25Z
dc.descriptionIn November 1999, the current version of SDL (Specification and Description Language), commonly referred to as SDL-2000, has passed ITU-T, an international standardization body for telecommunication. The importance and acceptance of SDL in the telecommunication industry surpasses that of UML, which can be seen as the major competitor. A crucial difference between SDL and UML is the existence of a formal SDL semantics as part of the international standard, which has a positive impact on the quality of the entire language definition. In this paper, we treat fundamental questions concerning practicability, adequacy and maintainability of the formalization approach, provide insights into the formal semantics definition and point out several effects on the SDL standard.
dc.formattext/html
dc.identifierhttps://doi.org/10.3217/jucs-007-11-1024
dc.identifierhttps://lib.jucs.org/article/27835/
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/8040
dc.languageen
dc.publisherJournal of Universal Computer Science
dc.relationinfo:eu-repo/semantics/altIdentifier/eissn/0948-6968
dc.relationinfo:eu-repo/semantics/altIdentifier/pissn/0948-695X
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rightsJ.UCS License
dc.sourceJUCS - Journal of Universal Computer Science 7(11): 1024-1049
dc.subjectSDL
dc.subjectSpecification and Description Language
dc.subjectASM
dc.subjectAbstract State Machines
dc.subjectFDT
dc.subjectFormal Description Technique
dc.subjectFormal Semantics
dc.titleFormal Definition of SDL-2000 - Compiling and Running SDL Specifications as ASM Models
dc.typeResearch Article
Файлы
Коллекции