Building platforms for information system interoperability - using a UML-based metamodeling approach

Models have been playing a major role in information system engineering and interoperability: in this paper, we put an emphasis on the complementary role of metamodels. Metamodels are used as a core of two innovative platforms for information system interoperability. The first platform allows to combine formal and informal approaches for both modeling and interoperability of information systems. The second platform uses metamodeling and reengineering in order to reuse interoperability know-how in the Semantic Web. Both platforms are based on metamodels that are integrated from metamodels of participating information systems. Such integration of metamodels is carried out by using a UML-based metamodeling architecture we have proposed.

[1]  Paul Ammann,et al.  Abstracting formal specifications to generate software tests via model checking , 1999, Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033).

[2]  Constance L. Heitmeyer,et al.  An algorithm for strengthening state invariants generated from requirements specifications , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[3]  Nora Koch,et al.  Extending UML to Model Navigation and Presentation in Web Applications , 2000 .

[4]  Eckhard D. Falkenberg,et al.  Meta Model Hierarchies from an Object-Role Modelling Perspective , 1994, ORM.

[5]  Marie-Noëlle Terrasse,et al.  An UML-metamodeling Architecture for Interoperability of Information Systems , 2001 .

[6]  Bruno Legeard,et al.  Generation of functional test sequences from B formal specifications presentation and industrial case-study , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[7]  Aspassia Daskalopulu,et al.  Model Checking Contractual Protocols , 2001, ArXiv.

[8]  Edmund M. Clarke,et al.  Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .

[9]  Bernhard Rumpe,et al.  Defining UML family members using prefaces , 1999, Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 32.

[10]  Marie-Noëlle Terrasse A Metamodeling Approach to Evolution , 2000, FMLDO.

[11]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[12]  Herman Balsters,et al.  Database Schema Evolution and Meta-Modeling , 2001, Lecture Notes in Computer Science.

[13]  Lewis Hart,et al.  Extending UML to Support Ontology Engineering for the Semantic Web , 2001, UML.

[14]  Toni Alatalo,et al.  Designing mobile-aware adaptive hypermedia , 2001 .

[15]  Stuart Kent,et al.  The MMF approach to engineering object-oriented design languages. , 2001 .