A study on implementation of software development environment for SDL


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 3, No. 6, pp. 1522-1533, Nov. 1996
10.3745/KIPSTE.1996.3.6.1522,   PDF Download:

Abstract

This paper presents a programming environment for the edition and verification of the specification language SDL. It is implemented in the Concerto software factory, which has been designed as a support fir the development of real size software. Concerto is a software factory designed for application development in the fields of computer communication protocols or real time system. It offers various kinds of tools to produce software, organize this production and automate it. Concerto allows a smooth integration of various formalism such as the C and C languages, structured documentation, HOOD methodology(Hierarchical Object Oriented Design). In this paper, as an important tools in the process of communication protocol software development, we describe an implementations of SDL graphical editor tool and a tools for the dynamic analysis of SDL specifications. We frist describe the principles of this environment, then we illustrate its application by means of a simple example, the Inres protocol. Moreover, we study how the hypertext mechanism of Concerto enables to create logical links between a protocol and its associated service.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
C. Y. Han and K. S. Un, "A study on implementation of software development environment for SDL," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 3, no. 6, pp. 1522-1533, 1996. DOI: 10.3745/KIPSTE.1996.3.6.1522.

[ACM Style]
Choe Young Han and Kim Sung Un. 1996. A study on implementation of software development environment for SDL. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 3, 6, (1996), 1522-1533. DOI: 10.3745/KIPSTE.1996.3.6.1522.