Contract-based Coordination of Distributed Object Systems.
Holger Giese, Jörg Graf, Guido Wirtz · 1999
For distributed object or component systems based on CORBA or DCOM, a suitable software architecture and a strong separation of modules is necessary. Our object coordination net approach (OCoN) allows mixed event and state based true concurrent modeling. It describes contracts, object scheduling, resource handling and the abstract data and control flow of services. A seamless integration of contract specifications into service and object scheduling specifications is provided. Although abstract, the OCoN formalism remains operational which permits abstract simulation and a feasible implementation is guaranteed. The paper demonstrates the benefits of contract based coordination with the OCoN approach by means of an extended example.