ISSN:
1573-8787
Keywords:
CORBA
;
Interface Definition Language
;
LOTOS
;
model checking
;
reuse
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract This article describes an approach to the development of highly reliable and reusable CORBA applications. Interface description language (IDL) specifications are extended with LOTOS specifications of the functional and dynamic behavior of the interface operations. These extended interface specifications are compiled into header files and stub code using standard CORBA mechanisms. The LOTOS part can be compiled into C-code yielding prototype implementations. An extensible set of LOTOS tools is used to test and prove critical properties of distributed applications. From the event-oriented LOTOS description, a state-oriented program in a CSP-like programming language is derived. This program can be analyzed using very efficient, BDD-based model checking verification tools. Furthermore, it serves as an ideal intermediate step between verified, high level, reusable LOTOS processes which solve typical distributed programming tasks and their implementation as CORBA objects in production programming languages.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1023/A:1008226622237
Permalink
