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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
