PetShop: a tool for the formal specification of CORBA systems

Authors:
Rémi Bastide
Affiliations:
LIHS, Université Toulouse 1, Place Anatole France, F-31042 Toulouse Cedex, France
Venue:
OOPSLA '00 Addendum to the 2000 proceedings of the conference on Object-oriented programming, systems, languages, and applications (Addendum)
Year:
2000

Citing 1
Cited 2

Formal specification of CORBA services: experience and lessons learned

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Tester la conformité d'une IHM à son modèle de tâches

Proceedings of the 20th International Conference of the Association Francophone d'Interaction Homme-Machine
Hierarchical Structure: A Step for Jointly Designing Interactive Software Dialog and Task Model

Proceedings of the 13th International Conference on Human-Computer Interaction. Part II: Novel Interaction Methods and Techniques

Quantified Score

Hi-index	0.00

Visualization

Abstract

PetShop is a CASE tool dedicated to the formal behavioral specification of CORBA systems. The tool uses high-level Petri nets as its specification language, and integrates seamlessly in a CORBA distributed environment, allowing for direct interpretation of specification models.