XOCL - an XML Language for Specifying Logical Constraints in Object Oriented Models

Franklin Ramalho (Universidade Federal de Campina Grande, Brazil and Universidade Federal de Pernambuco, Brazil)

Jacques Robin (Universidade Federal de Pernambuco, Brazil)

Roberto Barros (Universidade Federal de Pernambuco, Brazil)

Abstract: In this paper, we present XOCL, an XML-based language to represent OCL (Object Constraint Language) constraints in UML models. XOCL was designed in two steps from the UML meta-model and OCL EBNF grammar published by OMG: (1) construction of a simple OCL meta-model and (2) derivation of an XML Schema for this meta-model. XOCL applications include full interoperability among UML modelling tools as well as finely grained structured input for automatic behavioral code generation and model checking.

Keywords: Meta-Modelling, OCL, UML, XMI, XML, XMLShema

Categories: D.1.5, D.1.6, D.2.12, D.3.3