A formal approach for designing CORBA-based applications

  • Authors:

  • Alberto Coen-Porisini;Matteo Pradella;Matteo Rossi;Dino Mandrioli

  • Affiliations:

  • Università dell'Insubria, Varese, Italy;CNR Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni---Sezione di Milano, Milano, Italy;Politecnico di Milano, Milano, Italy;Politecnico di Milano, Milano, Italy

  • Venue:
  • ACM Transactions on Software Engineering and Methodology (TOSEM)
  • Year:
  • 2003

Quantified Score

Hi-index 0.01

Visualization

Abstract

The design of distributed applications in a CORBA-based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the high-level architectural design. This article discusses a methodology to transform a formal specification written in TRIO into a high-level design document written in an extension of TRIO, named TRIO/CORBA (TC). The TC language is suited to formally describe the high-level architecture of a CORBA-based application. As a result, designers are offered high-level concepts that precisely define the architectural elements of an application. Furthermore, TC offers mechanisms to extend its base semantics, and can be adapted to future developments and enhancements in the CORBA standard. The methodology and the associated language are presented through a case study derived from a real Supervision and Control System.