Formal Specification and Prototyping of CORBA Systems [chapter]

Rémi Bastide, Ousmane Sy, Philippe Palanque
1999 Lecture Notes in Computer Science  
We propose to extend the CORBA interface definition of distributed objects by a behavioral specification based on high level Petri nets. This technique allows specifying in an abstract, concise and precise way the behavior of CORBA servers, including internal concurrency and synchronization. As the behavioral specification is fully executable, this approach also enables to early prototyping and testing of a distributed object system as soon as the behaviors of individual objects have been
more » ... d. The paper discusses several implementation issues of the multithreaded, distributed interpreter built for that purpose. The high level of formality of the chosen formalism allows for mathematical analysis of behavioral specifications.
doi:10.1007/3-540-48743-3_22 fatcat:d4h7ndsjsber5g2ejjyt3xguom