A formal approach for designing CORBA based applications

Author

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

Author_Institution

Dipt. di Elettronica e Inf., Politecnico di Milano, Italy

fYear

2000

fDate

2000

Firstpage

188

Lastpage

197

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 is done by introducing in the specification all typical elements of CORBA and by providing a methodological support to the designers. The paper discusses a methodology to transform a formal specification written in TRIO into a high level design document written using an extension of TRIO named TC. The TC language is suited to formally describe the high level architecture of a CORBA based application. The methodology and the associated language are presented by means of an example involving a real supervision and control system

Keywords

computerised control; distributed object management; distributed programming; formal specification; CORBA based application design; TC language; TRIO; distributed applications; formal approach; formal specification; high level architectural design; high level architecture; high level design document; incremental approach; methodological support; specification; supervision and control system; Banking; Computer architecture; Control systems; Design methodology; Distributed computing; Formal specifications; Hardware; Information technology; Logic design; Permission;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering, 2000. Proceedings of the 2000 International Conference on

Conference_Location

Limerick

ISSN

0270-5257

Print_ISBN

1-58113-206-9

Type

conf

DOI

10.1109/ICSE.2000.870410

Filename

870410