SDL-2000: A Language with a Formal Semantics

A new version of SDL called SDL-2000 is currently reaching maturity, and is expected to pass the standardization bodies shortly. It will offer new features as object-oriented data types, simplify and unify concepts of previous language versions and provide an alignment with UML. Due to the significant changes to SDL it was necessary to define a new formal semantics for SDL. Abstract State Machines (ASMs) have been chosen as the underlying formalism. In this paper, after introducing the new SDL language features, it is shown, how these features get an executable formal semantics using ASMs.

Content

Author and article information

Contributors

Joachim Fischer

Eckhardt Holz

Martin v. Löwis

Andreas Prinz

Conference

Publication date: January 2000

Publication date (Print): January 2000

Pages: 1-15

Affiliations

[0001]Humboldt-Universität zu Berlin

Institut für Informatik

Rudower Chaussee 25, D-12489 Berlin, Germany

Tel: +49 30 2093 3109

Fax: +49 30 2093 3112

[0002]Humboldt-Universität zu Berlin

Institut für Informatik

Rudower Chaussee 25, D-12489 Berlin, Germany

Tel: +49 30 2093 3116

Fax: +49 30 2093 3112

[0003]Humboldt-Universität zu Berlin

Institut für Informatik

Rudower Chaussee 25, D-12489 Berlin, Germany

Tel: +49 30 2093 3118

Fax: +49 30 2093 3112

[0004]Humboldt-Universität zu Berlin

Institut für Informatik

Rudower Chaussee 25, D-12489 Berlin, Germany

Tel: +49 30 2093 3831

Fax: +49 30 2093 3112

Article

DOI: 10.14236/ewic/ROOM2000.3

SO-VID: 50d2b5b4-61ca-4ad8-a2cf-7ceeab73678b

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Rigorous Object-Oriented Methods 2000

Conference acronym: ROOM

Conference number:

Conference location: York, UK

Conference date: 17 January 2000

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Rigorous Object-Oriented Methods

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/ROOM2000.3

Self URI (journal page): https://ewic.bcs.org/

Studying business & IT? Drive your professional career forwards with BCS books - for a 20% discount click here: shop.bcs.org

SDL-2000: A Language with a Formal Semantics

Abstract