OCL-Lite: Finite reasoning on UML/OCL conceptual schemas

Data and Knowledge Engineering

Volumn 73, Issue , 2012, Pages 1-22

  Queralt, Anna ^a   Artale, Alessandro ^b   Calvanese, Diego ^b   Teniente, Ernest ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

^b FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

Author keywords

CASE tools + UML; Description Logics; OCL constraints; Reasoning

Indexed keywords

AUTOMATED REASONING; CONCEPTUAL SCHEMAS; DESCRIPTION LOGIC; OCL CONSTRAINTS; REASONING; SCHEMAS;

DATA DESCRIPTION; FORMAL LANGUAGES;

AUTOMATA THEORY;

EID: 84856259748     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2011.09.004     Document Type: Article

References (41)

1. K. Anastasakis, B. Bordbar, G. Georg, and I. Ray On challenges of model transformation from UML to alloy Software and Systems Modeling 9 1 2010 69 86
2. A. Artale, D. Calvanese, and A. Ibáñez-García Full satisfiability of UML class diagrams Proc. of the 29th Int. Conf. on Conceptual Modeling (ER 2010), Volume 6412 of LNCS 2010 Springer 317 331
3. A. Artale, D. Calvanese, R. Kontchakov, V. Ryzhikov, and M. Zakharyaschev Reasoning over extended ER models Proc. of the 26th Int. Conf. on Conceptual Modeling (ER 2007), Volume 4801 of LNCS 2007 Springer 277 292
4. F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, and P.F. Patel-Schneider The Description Logic Handbook: Theory, Implementation, and Applications 2003 Cambridge University Press
5. B. Beckert, U. Keller, and P.H. Schmitt Translating the Object Constraint Language into first-order predicate logic Proc. of the VERIFY Workshop at Federated Logic Conferences (FLoC) 2002 113 123
6. D. Beimel, and M. Peleg Using OWL and SWRL to represent and reason with situation-based access control policies Data and Knowledge Engineering (DKE) 70 6 2011 596 615
7. D. Berardi, D. Calvanese, and G. De Giacomo Reasoning on UML class diagrams Artificial Intelligence 168 1-2 2005 70 118 (Pubitemid 41338772)
8. A.D. Brucker, and B. Wolff The HOL-OCL Book 2006 Swiss Federal Institute of Technology
9. F. Bry, and R. Manthey Checking consistency of database constraints: a logical basis Proc. of the Twelth Int. Conf. on Very Large Data Bases (VLDB'86) 1986 13 20
10. J. Cabot, R. Clariso, and D. Riera Verification of UML/OCL class diagrams using constraint programming Proc. of the Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa 2008) 2008
11. M. Cadoli, D. Calvanese, G. De Giacomo, and T. Mancini Finite model reasoning on UML class diagrams via constraint programming Proc. of the 10th Congress of the Italian Assoc. for Artificial Intelligence (AI*IA 2007), Volume 4733 of LNAI 2007 Springer 36 47
12. D. Calvanese Finite model reasoning in description logics Proc. of the 5th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR'96) 1996 292 303
13. D. Calvanese, and G. De Giacomo Expressive description logics F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider, The Description Logic Handbook: Theory, Implementation, and Applications 2003 Cambridge University Press 178 218
14. D. Calvanese, G. De Giacomo, M. Lenzerini, and D. Nardi Reasoning in expressive description logics A. Robinson, A. Voronkov, Handbook of Automated Reasoning, Volume II, Chapter 23 2001 Elsevier Science Publishers 1581 1634
15. D. Calvanese, and M. Lenzerini On the interaction between ISA and cardinality constraints Proc. of the 10th IEEE Int. Conf. on Data Engineering (ICDE'94) 1994 204 213
16. D. Calvanese, M. Lenzerini, and D. Nardi Unifying class-based representation formalisms Journal of Artificial Intelligence Research (JAIR) 11 1999 199 240 (Pubitemid 129628764)
17. S.S. Cosmadakis, P.C. Kanellakis, and M.Y. Vardi Polynomial-time implication problems for unary inclusion dependencies Journal of the ACM 37 1 1990 15 46
18. G. De Giacomo. Decidability of Class-Based Knowledge Representation Formalisms. PhD Thesis, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 1995.
19. S. Dupuy, Y. Ledru, and M. Chabre-Peccoud An overview of RoZ: a tool for integrating UML and Z specifications Proc. of the 12th Int. Conf. on Advanced Information Systems Engineering (CAiSE 2000), Volume 1789 of LNCS 2000 Springer 417 430
20. C. Farré, G. Rull, E. Teniente, and T. Urpí SVTe: a tool to validate database schemas giving explanations Proc. of the 1st Int. Workshop on Testing Database Systems (DBTest 2008) 2008 ACM Press
21. C. Farre, E. Teniente, and T. Urpí Checking query containment with the CQC method Data and Knowledge Engineering (DKE) 53 2 2005 163 223 (Pubitemid 40034561)
22. P.R. Fillottrani, E. Franconi, and S. Tessaris The new ICOM ontology editor Proc. of the 19th Int. Workshop on Description Logic (DL 2006), Volume 189 of CEUR Electronic Workshop Proceedings 2006 http://ceur-ws.org/
23. A. Formica Finite satisfiability of integrity constraints in object-oriented database schemas IEEE Transactions on Knowledge and Data Engineering 14 1 2002 123 139 (Pubitemid 34198198)
24. M. Gogolla, F. Büttner, and M. Richters USE: a UML-based specification environment for validating UML and OCL Science of Computer Programming 69 1-3 2007 27 34 (Pubitemid 350087238)
25. S. Hartmann Coping with inconsistent constraint specifications Proc. of the 20th Int. Conf. on Conceptual Modeling (ER 2001), Volume 2224 of LNCS 2001 Springer 241 255 (Pubitemid 33370408)
26. I. Horrocks, O. Kutz, and U. Sattler The even more irresistible SOQ Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006) 2006 57 67
27. D. Jackson Alloy: a lightweight object modelling notation ACM Transactions on Software Engineering and Methodology 11 2 2002 256 290 (Pubitemid 44159313)
28. M. Kuhlmann, L. Hamann, and M. Gogolla Extensive validation of OCL models by integrating SAT solvers into USE Proc. of the 49th Int. Conf. on Technology of Object-Oriented Languages and Systems (TOOLS 2011), Volume 6705 of LNCS 2011 Springer 290 306
29. M. Lenzerini, and P. Nobili On the satisfiability of dependency constraints in entity-relationship schemata Information Systems 15 4 1990 453 461
30. C. Lutz, U. Sattler, and L. Tendera The complexity of finite model reasoning in description logics Information and Computation 199 2005 132 171 (Pubitemid 40773677)
31. MIT Software Design Group The Alloy Analyzer http://alloy.mit.edu
32. A. Olivé Conceptual Modeling of Information Systems 2007 Springer
33. OMG UML 2.2 Superstructure Specification Available at http://www.uml.org/ 2009
34. OMG Object Constraint Language. Version 2.2 Available at http://www.omg.org/spec/OCL/ Feb. 2010
35. A. Queralt, and E. Teniente Reasoning on UML class diagrams with OCL constraints Proc. of the 25th Int. Conf. on Conceptual Modeling (ER 2006), Volume 4215 of LNCS 2006 Springer 497 512 (Pubitemid 44850594)
36. A. Queralt, and E. Teniente Decidable reasoning in UML schemas with constraints Proc. of the 20th Int. Conf. on Advanced Information Systems Engineering (CAiSE 2008), Volume 5074 of LNCS 2008 Springer 281 295
37. A. Queralt, and E. Teniente Verification and validation of UML conceptual schemas with OCL constraints ACM Transactions on Software Engineering and Methodology 21 2 2011 To appear
38. J. Rumbaugh, I. Jacobson, and G. Booch The Unified Modeling Language Reference Manual 1998 Addison Wesley Publ. Co.
39. C.F. Snook, and M.J. Butler UML-B: formal modeling and design aided by UML ACM Transactions on Software Engineering and Methodology 15 1 2006 92 122
40. M. Wahler, D. Basin, A.D. Brucker, and J. Koehler Efficient analysis of pattern-based constraint specifications Software and Systems Modeling 9 2 2010 225 255
41. J. Warmer, and A. Kleppe The Object Constraint Language. Second Edition. Getting Your Models Ready For MDA 2003 Addison-Wesley