loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
37th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS-37'00)
Modeling Interface Definition Language Extensions
Sydney, Australia
November 20-November 23
ISBN: 0-7695-0918-5
ASCII Text
x 
 
H.-A. Jacobsen, B. J. Kramer, "Modeling Interface Definition Language Extensions," Technology of Object-Oriented Languages, International Conference on, pp. 242, 37th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS-37'00), 2000.
 
 
BibTex
x
 
@article{ 10.1109/TOOLS.2000.891373,
author = {H.-A. Jacobsen and B. J. Kramer},
title = {Modeling Interface Definition Language Extensions},
journal ={Technology of Object-Oriented Languages, International Conference on},
volume = {0},
year = {2000},
issn = {1530-2067},
pages = {242},
doi = {http://doi.ieeecomputersociety.org/10.1109/TOOLS.2000.891373},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Technology of Object-Oriented Languages, International Conference on
TI - Modeling Interface Definition Language Extensions
SN - 1530-2067
SP
EP
A1 - H.-A. Jacobsen,
A1 - B. J. Kramer,
PY - 2000
KW - specification languages; distributed object management; client-server systems; quality of service; synchronisation; hypermedia markup languages; subroutines; interface definition language extensions; module names; interface names; operation signatures; synchronization constraints; pre-conditions; post-conditions; invariants; service quality annotations; real-time annotations; combined modeling language; OMG; CORBA middleware platform; semantic aspects specification; XML document type definitions; Extensible Markup Language; Extensible Style Language; XSL
VL - 0
JA - Technology of Object-Oriented Languages, International Conference on
ER -
 
H.-A. Jacobsen, Inst. Nat. de Recherche en Inf. et Autom
B. J. Kramer, Inst. Nat. de Recherche en Inf. et Autom
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.
Index Terms:
specification languages; distributed object management; client-server systems; quality of service; synchronisation; hypermedia markup languages; subroutines; interface definition language extensions; module names; interface names; operation signatures; synchronization constraints; pre-conditions; post-conditions; invariants; service quality annotations; real-time annotations; combined modeling language; OMG; CORBA middleware platform; semantic aspects specification; XML document type definitions; Extensible Markup Language; Extensible Style Language; XSL
Citation:
H.-A. Jacobsen, B. J. Kramer, "Modeling Interface Definition Language Extensions," tools, pp.242, 37th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS-37'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.