Abstract:

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.