next up previous Final Report of the COST-247 Action

An Annotational Extension of SDL 92 to Support a Formal Implementation Specification

Peter Langendörfer

Brandenburg University of Technology at Cottbus
Department of Computer Science
Chair of Computer Networks and Communication Systems
Postbox 10 13 44
D-03013 Cottbus
Phone/Fax.: +49 3 55 69 22 36


Although the software lifecycle is shortening and the importance of software development tools is increasing, implementation-oriented aspects are still ignored in formal description techniques (FDTs). Thereby the contribution of FDTs to efficient software development is shortened since mostly the implementation process is done by hand to result in a better performance. To remedy this problem we propose implementation oriented SDL (iSDL). iSDL represents an extention of SDL' 92 to include implementation aspects into the language. The extentions allow the co-specification of functional and implementational aspects.

Thereby a formal implementation specification is constructed. This shortens the time needed for the implementation and leads to a more efficient maintenance of the implementation. This joint specification of functional and implementation aspects eases the task of software engineers. It saves effort otherwise needed to implement the specification by hand and the maintenance of the implementation is easier than without iSDL.

This presentation has been given during the COST-247 2nd International Workshop on Applied Formal Methods in System Design (Zagreb, Croatia, June 18-19, 1997).

COST-247 Working Group(s):

Web Links :

This Page was prepared by Mark Jorgensen.

Back to the VASY Home page