Software Components: a Formal Semantics Based on Coloured Petri Nets

Electronic Notes in Theoretical Computer Science

Volumn 160, Issue 1, 2006, Pages 57-73

  Bastide, Remi ^a   Barboni, Eric ^a  

^a UNIVERSITY OF TOULOUSE CAPITOLE   (France)

Author keywords

Coloured Petri Net; Component models; Signal Nets

Indexed keywords

COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LANGUAGES; NETWORK COMPONENTS; PETRI NETS;

COLOURED PETRI NET; COMPONENT MODELS; INTER-COMPONENT COMMUNICATION; SIGNAL NETS;

SOFTWARE ENGINEERING;

EID: 33746726446     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.05.016     Document Type: Article

References (16)

1. Bastide R., Palanque P., Sy O., Le D.-H., and Navarre D. Petri Net Based Behavioural Specification of CORBA Systems. Proceedings of the 20th International Conference on Application and Theory of Petri Nets (1999), Springer-Verlag 66-85
2. Bastide, R., O. Sy, P. Palanque and D. Navarre, A formal specification of the CORBA event service, Fourth International Conference on Formal methods for open object-based distributed systems, 2000, pp. 371-395
3. Battiston, E., "Modeling a cooperative development environment with CLOWN," OOPMC workshop, 1995
4. Englander R. Developing Java beans (1997), OReilly & Associates, Inc., Sebastopol, CA, USA
5. FMCO. Workshop on Modelling of Objects, Components, and Agents. www.daimi.au.dk/CPnets/workshop01/
6. Guelfi, N., O. Biberstein, D. Buchs, E. Canver, M.-C. Gaudel, F. von Henke and D. Schwier, "Comparison of Object-Oriented Formal Methods," Technical Report of the Esprit Long Term Research Project 20072, 1997
7. Jensen K. Coloured Petri Nets. Basic Concepts. Analysis Methods and Practical Use (1997), Springer-Verlag
8. Lakos, C. and C. Keen, "LOOPN++: A New Language for Object-Oriented Petri Nets," Proceedings of Modelling and Simulation (European Simulation Multiconference), 1994, pp.369-374
9. Meyer B. Introduction a la theorie des langages de programmation (1992), InterEditions
10. Moalla M., Pulou J., and Sifakis J. Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems. Lecture Notes in Computer Science: Mathematical Foundations of Computer Science (1978), Springer-Verlag 374-384
11. MOCA. Second International Symposium on Formal Methods for Components and Objects. fmco.liacs.nl/fmco03.html
12. Peterson J.L. Petri Net Theory and the Modeling of Systems (1981), Prentice Hall PTR
13. Ramamoorthy C.V., and Ho G.S. Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets. IEEE Trans. Software Eng. (1980) 440-449
14. Ritcher J. Programming the .NET Platform (1998), Microsoft Press
15. Starke, P. and S. Roch, "Analysing Signal-Net Systems," Technical Report 162, Informatik Berichte, 2002
16. Vinoski S. New features for CORBA 3.0. Commun. ACM (1998) 40-52 ACM Press