A study on implementation of software development environment for SDL 


Vol. 3,  No. 6, pp. 1522-1533, Nov.  1996
10.3745/KIPSTE.1996.3.6.1522


PDF
  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
  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.

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals