OCL2FOL+:Coping with undefinedness

CEUR Workshop Proceedings

Volumn 1092, Issue , 2013, Pages 53-62

  Dania, Carolina ^a,b   Clavel, Manuel ^a,b  

^a IMDEA SOFTWARE INSTITUTE   (Spain)

^b UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

CASE BASED REASONING; FORMAL LOGIC;

AUTOMATED REASONING TOOLS; FIRST ORDER; FIRST ORDER LOGIC; FOUR-VALUED LOGIC;

COMPUTATIONAL LINGUISTICS;

EID: 84910668359     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. ActionGUI. ActionGUI and OCL2FOL projects, 2012. http://www.actiongui.org.
2. K. Anastasakis, B. Bordbar, G. Georg, and I. Ray. On challenges of model transformation from UML to alloy. Software and System Modeling, 9(1):69-86, 2010.
3. A. D. Brucker, M. P. Krieger, D. Longuet, and B. Wolff. A specification-based test case generation method for UML/OCL. In J. Dingel and A. Solberg, editors, MoDELSWorkshops, volume 6627 of LNCS, pages 334-348, 2010.
4. A. D. Brucker and B. Wolff. Featherweight OCL: a study for the consistent semantics of OCL 2.3 in HOL. In M. Balaban, J. Cabot, M. Gogolla, and C. Wilke, editors, OCL and Textual Modelling, pages 19-24. ACM, 2012.
5. J. Cabot, R. Clarisó, E. Guerra, and J. de Lara. Verification and validation of declarative model-to-model transformations through invariants. Journal of Systems and Software, 83(2):283-302, 2010.
6. M. Clavel, M. Egea, and M. A. García de Dios. Checking unsatisfiability for OCL constraints. ECEASST, 24, 2009.
7. L. Mendonça de Moura and N. Bjørner. Z3: An effcient SMT solver. In C.R. Ramakrishnan and J. Rehof, editors, TACAS, volume 4963 of LNCS, pages 337-340. Springer, 2008.
8. B. Dutertre and L. Moura. Yices: An SMT solver. http://yices.csl.sri.com, 2008.
9. M. Gogolla, F. B ?uttner, and J. Cabot. Initiating a Benchmark for UML and OCL Analysis Tools. In M. Veanes and L. Vigan'o, editors, TAP, volume 7942 of LNCS, pages 115-132. Springer, 2013.
10. M. Kuhlmann and M. Gogolla. From UML and OCL to relational logic and back. In R. B. France, J. Kazmeier, R. Breu, and C. Atkinson, editors, MoDELS, volume 7590 of LNCS, pages 415-431. Springer, 2012.
11. Object Management Group. Object Constraint Language specification Version 2.3.1, January 2012. http://www.omg.org/spec/OCL/2.3.1.
12. A. Queralt, A. Artale, D. Calvanese, and E. Teniente. OCL-Lite: Finite reasoning on UML /OCL conceptual schemas. Data & Knowledge Engineering, 73:1-22, 2012.