Skip to main content
SpringerLink
Log in

Interfacing Software Libraries from Nondeterministic Prototypes

  • Published:
Design Automation for Embedded Systems Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Java Media Framework. http://java.sun.com/products/java-media/jmf/index.html.

  2. Biberstein, O., D. Buchs, and N. Guelfi. Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism. In Agha, G., F. De Cindio, and G. Rozenberg (Eds) Advances in Petri Nets on Object-Orientation, Lecture Notes in Computer Science, no. 2001, Springer-Verlag, May 2001, pp. 70-127.

  3. Chachkov, S., and D. Buchs. From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller. Rapid System Prototyping. IEEE Computer Society Press, Monterey, CA, June 2001a, pp. 142-148.

    Google Scholar 

  4. Chachkov, S., and D. Buchs, From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object-Oriented Petri Net Approach. International Conference on Application of Concurrency to System Design. IEEE Computer Society Press, Newcastle, June 2001b, pp. 99-110.

    Google Scholar 

  5. Sun Microsystems. Java Beans Specification v.1.01. July 1997, pp. 24-32.

  6. Padawitz, P. Computing in Horn Clause Theories. Springer, 1988.

  7. Romanovsky, A. B., and I. V. Shturtz. Unplanned Recovery for Non-program Objects. Computer Systems Science and Engineering, 1993, vol. 2, pp. 72-79.

    Google Scholar 

  8. Warren, D. Generating Conditional Plans and Programs. Proceedings of AISB-76, 1976.

  9. Cimatti, A., M. Pistore, M. Roveri, and P. Traverso. Weak, Strong and Strong Cycling Planning via Symbolic Model Checking. IRST Technical Report, April 2001, submitted to Journal of AI.

  10. Buchs, D., and N. Guelfi. A Formal Specification Framework for Object-Oriented Distributed Systems. IEEE Transactions on Software Engineering, vol. 26,no. 7, pp. 635-652, 2000.

    Google Scholar 

  11. Buchs, D., and M. Buffo. Rapid prototyping of Formally Modelled Distributed Systems. In Frances M. Titsworth (Ed.), Proceedings of the Tenth International Workshop on Rapid System Prototyping RSP'99. IEEE, June 1999.

  12. Buffo, M. Experiences in Coordination Programming. In Proceedings of the Workshops of DEXA'98 (Int. Conf. on Database and Expert Systems Applications). IEEE, Aug 1998.

  13. Barbey, S., D. Buchs, and C. Péraire. A Theory of Specification-Based Testing for Object-Oriented Software. Proceedings of EDCC2, Taormina, Italy, October 1996, LNCS (Lecture Notes in Computer Science) 1150, 1996, pp. 303-320.

  14. Nota, G., and G. Pacini. Querying of Executable Software Specifications. IEEE Transactions on Software Engineering, vol. 18,no. 8, 1992.

  15. Ghezzi, C., D. Mandrioli, and Morzenti, A. A. TRIO, a Logic Language for Executable Specifications of Real-Time Systems. In Proceedings of 10th French-Tunisian Seminar on Computer Science, pp. 322-349, 1989.

  16. K. Jensen. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science, Springer-Verlag, 1994.

Download references

Author information

Authors and Affiliations

  1. Software Engineering Laboratory, Swiss Federal Institute of Technology, 1015, Lausanne, Switzerland

    Stanislav Chachkov

  2. Computer Science Department, University of Geneva, 1211, Geneva, Switzerland

    Didier Buchs

Authors
  1. Stanislav Chachkov
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Didier Buchs
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Chachkov, S., Buchs, D. Interfacing Software Libraries from Nondeterministic Prototypes. Design Automation for Embedded Systems 8, 327–343 (2003). https://doi.org/10.1023/B:DAEM.0000013066.31883.73

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/B:DAEM.0000013066.31883.73

Search

Navigation