By Topic

Using COALA to develop a distributed object-based application

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
J. Vachon ; Swiss Federal Inst. of Technol., Lausanne, Switzerland ; N. Guelfi ; A. Romanovsky

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. This case study is a mandatory step before pursuing the development of COALA and considering the development of professional distributed object applications

Published in:

Distributed Objects and Applications, 2000. Proceedings. DOA '00. International Symposium on

Date of Conference: