Interfacing software libraries from non-deterministic prototypes

Proceedings of the International Workshop on Rapid System Prototyping

Volumn 2002-January, Issue , 2002, Pages 92-98

  Chachkov, S ^a   Buchs, D ^a  

^a EPFL   (Switzerland)

Author keywords

Formal specifications; Laboratories; Object oriented modeling; Petri nets; Software engineering; Software libraries; Software prototyping; Software systems; Specification languages; Video recording

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE; FORMAL SPECIFICATION; LABORATORIES; MODELING LANGUAGES; OBJECT ORIENTED PROGRAMMING; PETRI NETS; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES; SPECIFICATIONS; VIDEO RECORDING;

AUTOMATICALLY GENERATED; INTERFACING-SOFTWARE; MODELING SOFTWARES; OBJECT ORIENTED MODEL; REAL ENVIRONMENTS; REAL SOFTWARES; SOFTWARE LIBRARIES; SOFTWARE SYSTEMS;

SOFTWARE PROTOTYPING;

EID: 33745819220     PISSN: 10746005     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IWRSP.2002.1029743     Document Type: Conference Paper

References (13)

1. Java Media Framework. http://java.sun.com/products/java-media/jmf/index.html
2. O. Biberstein, D. Buchs and N. Guelfi, "Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism," Advances in Petri Nets on Object-Orientation, G. Agha and F. De Cindio and G. Rozenberg (Ed.), Lecture Notes in Computer Science, no. 2001, Springer-Verlag, May 2001, pp. 70-127.
3. S. Chachkov and D. Buchs, "From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller," Rapid System Prototyping, Monterey, CA, IEEE Computer Society Press, June 2001, pp. 142-148.
4. S. Chachkov 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, Newcastle, IEEE Computer Society Press, June 2001, pp. 99-110.
5. Sun Microsystems, "Java Beans Specification v.1.01," July 1997, pp. 24-32.
6. P. Padawitz, "Computing in Horn Clause Theories," Springer, 1988.
7. A.B. Romanovsky and I.V.Shturtz, "Unplanned Recovery for Non-program Objects," Comput. Syst. Sci. & Eng., (1993) 2:72-79
8. D. Warren, "Generating Conditional Plans and Programs," in Proc. of AISB-76, 1976.
9. A. Cimatti, M. Pistore, M. Roveri, P. Traverso, "Weak, Strong and Strong Cycling Planning via Symbolic Model Checking," IRST Tech. Rep. April 2001, submitted to Journal of AI.
10. D. Buchs and N. Guelfi, "A Formal Specification Framework for Object-Oriented Distributed Systems," IEEE Transactions on Software Engineering, vol. 26, no. 7, July 2000, pp. 635-652.
11. D. Buchs and M. Buffo, "Rapid prototyping of formally modelled distributed systems," In Frances M. Titsworth, editor, Proc. of the Tenth International Workshop on Rapid System Prototyping RSP'99. IEEE, june 1999.
12. Mathieu Buffo, "Experiences in coordination programming," In Proc. of the workshops of DEXA'98 (Int. Conf. on Database and Expert Systems Applications). IEEE , aug 1998.
13. S. Barbey, 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.