Translation from Adapted UML to Promela for CORBA-Based Applications

Abstract

Abstract. Nowadays, many distributed applications take advantage of the transparent distributed object systems provided by CORBA middlewares. While greatly reduce the design and coding effort, the distributed object systems may also introduce subtle faults into the applications, which on the other hand, complicate the validation of the applications. In this paper, we present our work on applying SPIN to check the correctness of the designs of CORBA-based applications, taking into account those characteristics of CORBA that are essential to the correctness of the applications. In doing so, we provide adaptations to UML, so that the CORBA-based applications can be modeled with succinct yet sufficient details of the underlying middlewares. An automated translation tool is developed to generate Promela models from such UML design models. The translation tool embeds the behavioral details of the middleware automatically. In this way, the software developers can stay in their comfort zone while design faults, including those caused by the underlying distributed object systems can be pinpointed through the verification or the simulation with SPIN.

A Survey of Model Comparison Approaches and Applications

“…From these ideas, Maoz et al provide the tools cddiff and addiff for class diagram differencing and activity class diagram differencing, respectively. Other examples of translating models into another language include UML models being translated into Promela/SPIN models (Chen and Cui, 2004;Latella et al, 1999;Lilius and Paltor, 1999), although this work does not intend to perform model comparison nor differencing explicitly.…”

SystemC/C-based model-driven design for embedded systems

“…Moreover, multithread object-oriented programming languages, like Java [Leroux et al 2003] or CORBA [Chen and Cui 2004], which are commonly used in this context, are not so common in the embedded software area. Therefore, these languages are not integrated in a comprehensive hardware-software codesign methodology for embedded systems with the goal of providing a high-level view of the application software only.…”