Toggle Main Menu Toggle Search

Open Access padlockePrints

Using COALA to Develop a Distributed Object-Based Application

Lookup NU author(s): Professor Alexander RomanovskyORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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 (J. Xu et al., 1995), which propose a unified transactional approach to structuring complex concurrent activities and supporting error recovery. COALA integrates several formal techniques (D. Buchs and N. Guelfi, 2000) in order to address verification and validation issues. The paper presents a case study of a distributed object application designed in COALA. The main contribution of this case study consists of 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.

Publication metadata

Author(s): Vachon J, Guelgi N, Romanovsky A

Editor(s): Drew, P., Meersman, R., Tari, Z., Zicari, R.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 2000 IEEE International Symposium on Distributed Objects and Applications (DOA)

Year of Conference: 2000

Pages: 195-208

Publisher: IEEE Computer Society Press


DOI: 10.1109/DOA.2000.874191

Library holdings: Search Newcastle University Library for this item

ISBN: 0769508197