RT Journal Article
JF Distributed Objects and Applications, International Symposium on
YR 2000
VO 00
IS
SP 195
TI Using COALA to Develop a Distributed Object-Based Application
A1 Alexander Romanovsky,
A1 Nicolas Guelfi,
A1 Julie Vachon,
K1 distributed object systems
K1 application design
K1 development methodologies
K1 transactions
K1 reliability
K1 fault-tolerance
K1 formal specification
AB 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.
PB IEEE Computer Society, [URL:http://www.computer.org]
SN
LA English
DO 10.1109/DOA.2000.874191
LK http://doi.ieeecomputersociety.org/10.1109/DOA.2000.874191