Modeling interface definition language extensions

Author

Jacobsen, H. Arno ; Kramer, Bernd J.

Author_Institution

Projet Caravel, Inst. Nat. de Recherche en Inf. et Autom., Rocquencourt, France

fYear

2000

fDate

2000

Firstpage

242

Lastpage

252

Abstract

Interface definition languages (IDLs) serve to specify module and interface names, as well as operation signatures. However, IDLs lack a means to express aspects, such as synchronization constraints, pre- and post-conditions, invariants, quality-of-service annotations and real-time annotations. We develop a framework to specify the IDL and a given IDL extension in a combined modeling language based on XML. We show how this specification can serve to obtain tools to process the extended IDL. We study this approach along the lines of the OMG IDL and the CORBA middleware platform. The specification of semantic aspects and the specification of the IDL is based on XML document type definitions

Keywords

client-server systems; distributed object management; hypermedia markup languages; quality of service; specification languages; subroutines; synchronisation; CORBA middleware platform; Extensible Markup Language; Extensible Style Language; OMG; XML document type definitions; XSL; combined modeling language; interface definition language extensions; interface names; invariants; module names; operation signatures; post-conditions; pre-conditions; real-time annotations; semantic aspects specification; service quality annotations; synchronization constraints; Jacobian matrices; Middleware; Proposals; Quality of service; Security; Skeleton; Style sheet languages; Timing; Unified modeling language; XML;

fLanguage

English

Publisher

ieee

Conference_Titel

Technology of Object-Oriented Languages and Systems, 2000. TOOLS-Pacific 2000. Proceedings. 37th International Conference on

Conference_Location

Sydney, NSW

ISSN

1530-2067

Print_ISBN

0-7695-0918-5

Type

conf

DOI

10.1109/TOOLS.2000.891373

Filename

891373