Requirements for UML and OWL Integration Tool for User Data Consistency Modeling and Testing

The amount of data available on the Internet is continuously increasing, consequentially there is a growing need for tools that help to analyse the data. Testing of consistency among data received from different sources is made difficult by the number of different languages and schemas being used. In this paper we analyze requirements for a tool that support integration of UML models and ontologies written in languages like the W3C Web Ontology Language (OWL). The tool can be used in the following way: after loading two legacy models into the tool, the tool user connects them by inserting modeling constructs like classes, associations and Object Constraint Language (OCL) statements. It is the tool users responsibility to connected the legacy models in such a way that consistency is beeing explicitly defined. A special modeling technique it to be used when specifying possible consistencies violations, an important part of this technique is attaching of OCL expressions to special boolean class attributes that we call consistency attributes. The resulting integration model can be used for automatic consistency testing of two instances of the legacy models by automatically instantiate the whole integration model and then report consistency attribute values that are false.