The Community for Technology Leaders
Distributed Objects and Applications, International Symposium on (2000)
Antwerp, Belgium
Sept. 21, 2000 to Sept. 23, 2000
ISBN: 0-7695-0819-7
pp: 195
Alexander Romanovsky , University of Newcastle upon Tyne
Nicolas Guelfi , Luxembourg University of Applied Sciences
Julie Vachon , Swiss Federal Institute of Technology
ABSTRACT
COALA is a new language for high-level design of distributed object applications. The design concepts used in COALA are those of Coordinated Atomic Actions [15], which propose a unified transactional approach to structuring complex concurrent activities and supporting error recovery. COALA integrates several formal techniques [2] in order to address verification and validation issues. This paper presents a case study of a distributed object application designed in COALA. The main contribution of this case study consists in validating the research value of the COALA language. This case study is concerned with the design of an Auction Service system. Our experiment shows that COALA is, indeed, helpful in designing the static and dynamic structure of complex concurrent systems. It offers a flexible way of dealing with the cooperation and competition of systems as well as with fault tolerance issues. This case study paper is a mandatory step before pursuing the development of COALA and considering the development of professional distributed object applications.
INDEX TERMS
distributed object systems, application design, development methodologies, transactions, reliability, fault-tolerance, formal specification
CITATION
Alexander Romanovsky, Nicolas Guelfi, Julie Vachon, "Using COALA to Develop a Distributed Object-Based Application", Distributed Objects and Applications, International Symposium on, vol. 00, no. , pp. 195, 2000, doi:10.1109/DOA.2000.874191
91 ms
(Ver 3.3 (11022016))