Title :
Annotations for synchronization constraints in CORBA IDL
Author :
Henze, Gregor ; Koch, Thomas ; Krämer, Bernd
Author_Institution :
Fern Univ., Hagen, Germany
Abstract :
Most distributed applications require mechanisms for the synchronization of cooperating components. In a CORBA application this functionality is currently hidden in the methods of the server objects. This complicates design, validation and maintenance of distributed applications. To improve this situation we propose guards and concurrency annotations for the CORBA IDL. Our approach allows the explicit description of synchronization constraints as an extension to the object interface definition with the advantage of increased transparency and the potential for automated checking and reasoning. The annotations are included as IDL comments to ensure compatibility with the CORBA standard. Additionally the concept for an automated generation of method frames containing synchronization code is outlined
Keywords :
concurrency control; distributed processing; formal specification; object-oriented methods; program verification; software maintenance; specification languages; synchronisation; CORBA IDL; CORBA interface definition language; Common Object Request Broker Architecture; Orbix; automated checking; automated reasoning; concurrency annotations; cooperating components; distributed applications; guards; method frames; object interface definition; server objects; software design; software maintenance; software validation; synchronization constraint annotations; transparency; Automation; Code standards; Concurrent computing; Distributed computing; Environmental management; Information systems; Project management; Proposals; System recovery; Testing;
Conference_Titel :
Services in Distributed and Networked Environments, 1996., Proceedings of Third International Workshop on
Print_ISBN :
0-8186-7499-7
DOI :
10.1109/SDNE.1996.502455
