𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Using TRIO for designing a CORBA-based application

✍ Scribed by Coen-Porisini, Alberto ;Mandrioli, Dino

Publisher
John Wiley and Sons
Year
2000
Tongue
English
Weight
443 KB
Volume
12
Category
Article
ISSN
1040-3108

No coin nor oath required. For personal study only.

✦ Synopsis

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.

πŸ“œ SIMILAR VOLUMES

The implementation and evaluation of the
The implementation and evaluation of the use of CORBA in an engineering design application
✍ Susan D. Urban; Ling Fu; Jami J. Shah πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 425 KB πŸ‘ 2 views

Many computer applications today require some form of distributed computing to allow different software components to communicate. Several different commercial products now exist based on the Common Object Request Broker Architecture (CORBA) of the Object Management Group. The use of such tools, how

Testing candidate genes for non-syndromi
Testing candidate genes for non-syndromic oral clefts using a case-parent trio design
✍ T.H. Beaty; J.B. Hetmanski; J.S. Zeiger; Y.T. Fan; K.Y. Liang; C.A. VanderKolk; πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 39 KB

## Abstract Markers in five candidate genes were examined on 269 case‐parent trios ascertained through a child with an isolated, non‐syndromic oral cleft (cleft lip, CL; cleft palate, CP; or cleft lip and palate, CLP). Cases and their parents were ascertained through treatment centers in Maryland.