Using TRIO for designing a CORBA-based application
Alberto Coen‐Porisini, Dino Mandrioli · Concurrency Practice and Experience · 2000
We report on our experience in the Esprit OpenDREAMS project that targets the domain of Supervision and Control Systems (SCS). During this project we studied how a CORBA-based application can be designed starting from a typical SCS requirement document by integrating a formal approach with some CORBA concepts. We present a case study that shows how an existing object-oriented methodology based on the formal specification language TRIO can be tailored towards supporting CORBA-based applications. The application taken into account is in the field of the Energy Management Systems, namely a diagnostic system for the steam condenser of a thermoelectric power plant. The paper describes how to obtain the architectural design of a CORBA-based application starting from the formal specification of its requirements expressed in TRIO by means of a sequence of transformation steps. At the end of such sequence of steps a complete structure of the application classes, with their mutual relations and their IDL interfaces, is built. Finally, the paper discusses how TRIO can be used to validate the architectural choices made with respect to the application critical requirements. Copyright © 2000 John Wiley & Sons, Ltd.