Formal Support for the Engineering of CORBA-based Distributed Object Systems

@inproceedings{Bastide1999FormalSF,
  title={Formal Support for the Engineering of CORBA-based Distributed Object Systems},
  author={R{\'e}mi Bastide and Ousmane Sy and Philippe A. Palanque},
  booktitle={DOA},
  year={1999}
}
We present a CASE tool based on an object-oriented Petri nets dialect called Cooperative Objects, dedicated to the design of CORBA systems. The notation is used for the formal behavioural specification of objects, and its associated tool puts an emphasis on supporting the design life cycle of CORBA systems. The tool offers enhanced interactivity to present the results derived from the capabilities of verification, validation and distributed interpretation provided by Cooperative Objects. 

Citations

Publications citing this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 12 REFERENCES

Modeling a Groupware Editing Tool with Cooperative Objects

  • Concurrent Object-Oriented Programming and Petri Nets
  • 2001
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

Spécification Du COS Event Service Avec Le Formalisme Des Objets Coopératifs

O. Sy, R. Bastide
  • Pour CORBA. Rapport Interne 99-06/S1. Laboratoire LIHS FROGIS,
  • 1999
VIEW 1 EXCERPT

The CorbaScript Language

P. Merle, C. Gransart, J.-M. Geib, M. Laukien
  • ORBOS OMG Meeting on Scripting Languages, Helsinki, Finland,
  • 1998
VIEW 1 EXCERPT

Cooperative Nets

  • Application and Theory of Petri Nets
  • 1994
VIEW 1 EXCERPT

A Framework for Using Formal Methods in Object-Oriented Software Development. Follow-Up Report on ECOOP '91 Workshop W3: Object- Oriented Formal Methods

R. Holt, D. deChampeaux
  • OOPS Messenger 3,
  • 1992
VIEW 1 EXCERPT

Similar Papers

Loading similar papers…