UNIGE document Scientific Article
previous document  unige:120883  next document
add to browser collection

Interfacing Software Libraries from Nondeterministic Prototypes

Published in Design Automation for Embedded Systems. 2003, vol. 8, no. 4, p. 327-343
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 a 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 Concurrent Object-Oriented Petri Net specification language, and how a prototype code is generated from the specification. In particular, we study the interface between nondeterminist synchronous prototypes and determinist asynchronous software libraries. We take into account, problems related with nonreversibility of actions and the transactional semantics of the specification language that is kept in the prototypes. A convenient delayed execution mechanism is proposed for the library linking part of the generated code.
Keywords PrototypingNon-determinismPetri netsExternal laboratory
Note Also publ. in: RSP '02 Proceedings of the 13th IEEE International Workshop on Rapid System Prototyping (RSP'02), July 01 - 03, 2002. - IEEE Computer Society, 2002. - ISBN 0-7695-1703-X. - Page 92
Full text
Research group Software Modeling and Verification
(ISO format)
CHACHKOV, Stanislav, BUCHS, Didier. Interfacing Software Libraries from Nondeterministic Prototypes. In: Design Automation for Embedded Systems, 2003, vol. 8, n° 4, p. 327-343. https://archive-ouverte.unige.ch/unige:120883

16 hits



Deposited on : 2019-07-17

Export document
Format :
Citation style :