Dynamic validation of OCL constraints with mOdCL

Electronic Communications of the EASST

Volumn 44, Issue , 2011, Pages

  Roldán, Manuel ^a   Durán, Francisco ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

Dynamic validation; Maude; OCL

Indexed keywords

EID: 84994733459     PISSN: None     EISSN: 18632122     Source Type: Journal    
DOI: 10.14279/tuj.eceasst.44.625.652     Document Type: Conference Paper

References (25)

1. A. Boronat, J. A. Carsí, I. Ramos. Algebraic Specification of a Model Transformation Engine. In Baresi and Heckel (eds.), Fundamental Approaches to Software Engineering, FASE 2006, Vienna. Proceedings. LNCS 3922, pp. 262-277. Springer. http://dx.doi.org/10.1007/11693017 20
2. A. Boronat, J. Meseguer. An Algebraic Semantics for MOF. Pp. 377-391 in [FI08]. http://dx.doi.org/10.1007/978-3-540-78743-3 28
3. A. D. Brucker, B. Wolff. HOL-OCL: A Formal Proof Environment for UML/OCL. Pp. 97-100 in [FI08]. http://dx.doi.org/10.1007/978-3-540-78743-3 8
4. J. Cabot, R. Clarisó, D. Riera. UMLtoCSP: A Tool for the Formal Verification of UML/OCL Models Using Constraint Programming. In Stirewalt et al. (eds.), Proceedings of the Twenty-Second IEEE/ACM International Conference on Automated Software Engineering, ASE '07. Pp. 547-548. ACM, 2007. http://doi.acm.org/10.1145/1321631.1321737
5. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J. F. Quesada. Maude: Specification and Programming in Rewriting Logic. Theoretical Computer Science 285(2):187-243, 2002. http://dx.doi.org/10.1016/S0304-3975(01)00359-0
6. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, C. L. Talcott (eds.). All About Maude-A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. LNCS 4350. Springer, 2007. http://dx.doi.org/http://dx.doi.org/10.1007/978-3-540-71999-1
7. M. Clavel, F. Durań, J. Hendrix, S. Lucas, J. Meseguer, P. C. Ölveczky. The Maude Formal Tool Environment. In Mossakowski et al. (eds.), Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. LNCS 4624, pp. 173-178. Springer, 2007. http://dx.doi.org/10.1007/978-3-540-73859-6 12
8. D. Chiorean, M. Pasca, A. Cârcu, C. Botiza, S. Moldovan. Ensuring UML Models Consistency Using the OCL Environment. ENTCS 102:99-110, 2004. http://dx.doi.org/10.1016/j.entcs.2003.09.005
9. J. L. Fiadeiro, P. Inverardi (eds.). Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Budapest. Proceedings. LNCS 4961. Springer, 2008
10. J. L. Fernańdez-Alemań, A. Toval-Álvarez. Seamless Formalizing the UML Semantics through Metamodels. In Unified Modeling Language: Systems Analysis, Design and Development Issues. Pp. 224-248. 2001. http://portal.acm.org/citation.cfm?id=374280.374359
11. M. Gogolla, F. Büttner, M. Richters. USE: A UML-based Specification Environment for Validating UML and OCL. Science of Computer Programming 69(1-3):27-34, 2007. http://dx.doi.org/10.1016/j.scico.2007.01.013
12. A. Knapp. Generating Rewrite Theories from UML Collaborations. In Futatsugi et al. (eds.), CAFE: An Industrial-Strength Algebraic Formal Method. Pp. 97-120. Elsevier, 2000
13. F. Mokhati, M. Badri. Generating Maude Specifications From UML Use Case Diagrams. Journal of Object Technology 8(2):319-136, 2009. http://dx.doi.org/10.5381/jot.2009.8.2.a2
14. J. Meseguer. Conditional Rewriting Logic as a Unified Model of Concurrency. Theoretical Computer Science 96:73-155, 1992. http://dx.doi.org/10.1016/0304-3975(92)90182-F
15. J. Meseguer. Membership Algebra as a Logical Framework for Equational Specification. In Parisi-Presicce (ed.), Recent Trends in Algebraic Development Techniques. LNCS 1376, pp. 18-61. Springer, 1998. http://dx.doi.org/10.1007/3-540-64299-4 26
16. N. Martí-Oliet, J. Meseguer. Rewriting Logic as a Logical and Semantic Framework. In Gabbay and Guenthner (eds.). Volume 9, pp. 1-87. Kluwer Academic Publishers, second edition, 2002
17. Object Management Group. Object Constraint Language (OCL) Specification . http://www.omg.org/cgi-bin/doc?formal/2010-02-01
18. OCL Portal. http://st.inf.tu-dresden.de/oclportal/
19. J. E. Rivera, F. Duran, A. Vallecillo. A Graphical Approach for Modeling Time-Dependent Behavior of DSLs. In Proceedings of the 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). VLHCC '09, pp. 51-55. IEEE Computer Society, Washington, DC, USA, 2009. http://dx.doi.org/10.1109/VLHCC.2009.5295300
20. J. E. Rivera, F. Durán, A. Vallecillo. On the Behavioral Semantics of Real-Time Domain Specific Visual Languages. In lveczky (ed.), WRLA. Rewriting Logic and Its Applications. LNCS 6381, pp. 174-190. Springer, 2010. http://dx.doi.org/10.1007/978-3-642-16310-4 12
21. M. Richters, M. Gogolla. Aspect-Oriented Monitoring of UML and OCL Constraints. In In AOSD Modeling With UML Workshop, 6th International Conference on the Unified Modeling Language. 2003
22. J. R. Romero, J. E. Rivera, F. Durán, A. Vallecillo. Formal and Tool Support for Model Driven Engineering with Maude. Journal of Object Technology 6(9):187-207, 2007. http://dx.doi.org/10.5381/jot.2007.6.9.a10
23. The Dresden OCL Team. The Dresden OCL toolkit. Available at http://dresden-ocl. sourceforge.net/
24. The MOVA Group. The MOVA tool: a validation tool for UML. Available at http://maude.sip.ucm.es/mova/
25. J. B. Warmer, A. Kleepe. The Object Constraint Language. Addison Wesley, 2003