Constraint Management in Engineering of Complex Information Systems

We propose to build an engineering environment for information systems by using metamodels, OCL and symbolic model checkers to manage  constraints. Our proposal is based on a definition of constraints as 3D spaces with  dimensions corresponding to UML diagrams, constructs, and abstraction levels. We show how such environments can help with engineering quality complex systems by allowing to lift up a part of constraint verifications.

[1]  Simone Braun,et al.  Mind the Web , 2007, New Forms of Reasoning for the Semantic Web.

[2]  Ian Horrocks,et al.  The OWL Instance Store: System Description , 2005, CADE.

[3]  Boris Motik,et al.  A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes , 2006, LPAR.

[4]  Cristina Gómez,et al.  Drawing Preconditions of Operation Contracts from Conceptual Schemas , 2008, CAiSE.

[5]  Jordi Cabot,et al.  Transformation techniques for OCL constraints , 2006, Sci. Comput. Program..

[6]  Peter F. Patel-Schneider,et al.  A comparison of two modelling paradigms in the Semantic Web , 2007, J. Web Semant..

[7]  Martin Giese,et al.  Simplifying transformations of OCL constraints , 2005, MoDELS'05.

[8]  Charles Ashbacher,et al.  The Object Constraint Language Second Edition, Getting Your Models Ready for MDA, by Jos Warmer and Anneke Kleppe. , 2003 .

[9]  Marie-Noëlle Terrasse,et al.  Metamodelling architectures for complex data integration in systems biology , 2010 .

[10]  Boris Motik,et al.  Bridging the gap between OWL and relational databases , 2007, WWW '07.

[11]  Anneke Kleppe,et al.  The Object Constraint Language: Getting Your Models Ready for MDA , 2003 .

[12]  Jos de Bruijn,et al.  OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web , 2005, WWW '05.

[13]  Siobhán Clarke,et al.  Separation of Distributed Real-Time Embedded Concerns with Theme/UML , 2008, 2008 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software.

[14]  Marie-Noëlle Terrasse,et al.  Organizing metadata into models and ontologies for lowering annotation costs of a biological image database , 2008 .

[15]  Ian Horrocks,et al.  The OBO to OWL Mapping, GO to OWL 1.1! , 2007, OWLED.

[16]  Giorgos Stamou,et al.  Reasoning with Large A-Boxes in Fuzzy Description Logics using DL reasoners: An Experimental Evaluation , 2008 .

[17]  Achim D. Brucker,et al.  A model transformation semantics and analysis methodology for SecureUML , 2006, MoDELS'06.

[18]  Jordi Cabot,et al.  Constraint Support in MDA Tools: A Survey , 2006, ECMDA-FA.

[19]  C. Maria Keet,et al.  Representing and reasoning over a taxonomy of part-whole relations , 2008, Appl. Ontology.

[20]  Robert W. Floyd,et al.  Assigning Meanings to Programs , 1993 .

[21]  Michael Kifer,et al.  The Semantic Web: Research and Applications, 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings , 2007, ESWC.

[22]  Axel van Lamsweerde,et al.  Formal specification: a roadmap , 2000, ICSE '00.

[23]  Jörg Pleumann,et al.  OCL as Expression Language in an Action Semantics Surface Language , 2004 .

[24]  Pierre Kelsen,et al.  A Declarative Executable Language based on OCL for Specifying the Behaviour of Platform-Independent Models , 2007 .

[25]  Mirco Kuhlmann,et al.  Shortcomings of the Embedding of OCL into QVT ImperativeOCL , 2008, MoDELS Workshops.

[26]  Thorsten Liebig,et al.  Real-World Reasoning with OWL , 2007, ESWC.

[27]  Edsger W. Dijkstra,et al.  A method of programming , 1988 .