Interfacing software libraries from non-deterministic prototypes

Author

Chachkov, Stanislav ; Buchs, Didier

Author_Institution

Software Eng. Lab., Swiss Fed. Inst. of Technol., Lausanne, Switzerland

fYear

2002

fDate

2002

Firstpage

92

Lastpage

98

Abstract

Modeling software systems is one of the most obvious uses of a formal specification language. A software prototype, automatically generated from the specification, enables the developer to validate the system in real environment. However, real software systems are seldom developed from scratch, but rather built using existing libraries. In this paper we show how a program based on existing software libraries is modeled in the CO-OPN specification language and how a prototype code is generated from the specification. In particular, we study the interface between nondeterminist synchronous prototypes and deterministic asynchronous software libraries.

Keywords

deterministic algorithms; formal specification; software libraries; software prototyping; CO-OPN specification language; deterministic asynchronous software libraries; formal specification language; nondeterministic prototypes; prototype code; software libraries interfacing; software prototype; software systems modelling; Formal specifications; Laboratories; Object oriented modeling; Petri nets; Software engineering; Software libraries; Software prototyping; Software systems; Specification languages; Video recording;

fLanguage

English

Publisher

ieee

Conference_Titel

Rapid System Prototyping, 2002. Proceedings. 13th IEEE International Workshop on

ISSN

1074-6005

Print_ISBN

0-7695-1703-X

Type

conf

DOI

10.1109/IWRSP.2002.1029743

Filename

1029743