An OCL-based technique for specifying and verifying refinement-oriented transformations in MDE

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4199 LNCS, Issue , 2006, Pages 646-660

  Pons, Claudia ^a,b   Garcia, Diego ^a,c  

^a UNIVERSIDAD NACIONAL DE LA PLATA   (Argentina)

^b Facultad de Ciencias Naturales e Instituto M Lillo   (Argentina)

^c UNIVERSIDAD TECNOLÓGICA NACIONAL   (Argentina)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SIMULATION; FORMAL LANGUAGES; MATHEMATICAL MODELS; SOFTWARE ENGINEERING;

MICROMODELS; SOFTWARE MODELING; UNIFIED MODELING LANGUAGE (UML);

COMPUTER PROGRAMMING LANGUAGES;

EID: 33750314816     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11880240_45     Document Type: Conference Paper

References (25)

1. Astesiano E., Reggio G. An Algebraic Proposal for Handling UML Consistency", Workshop on Consistency Problems in UML-based Software Development. UML Conference, San Francisco, USA (2003).
2. Boiten E.A. and Bujorianu M.C. Exploring UML refinement through unification. Proceedings of the UML'03 workshop on Critical Systems Development with UML, J. Jurjens, B. Rumpe, et al., editors -TUM-I0323, Technische Universitat Munchen. (2003).
3. Davies J. and Crichton C. Concurrency and Refinement in the Unified Modeling Language. Electronic Notes in Theoretical Computer Science 70,3, Elsevier, 2002.
4. Derrick, J. and Boiten,E. Refinement in Z and Object-Z. Foundation and Advanced Applications. FACIT, Springer. (2001)
5. Engels G., Küster J., Heckel R. and Groenewegen L. A Methodology for Specifying and Analyzing Consistency of Object Oriented Behavioral Models. Procs. of the IEEE Int. Conference on Foundation of Software Engineering. (2001).
6. ePlatero. http://sol.info.unlp.edu.ar/eclipse.
7. Favre Jean-Marie, Estublier Jacky, Blay Mireille. Beyond MDA : Model Driven Engineering (L'Ingénierie Dirigée par les Modèles : au-délà du MDA) Edition Hezmes-Lavoisier, ISBN 2-7462-1213-7. Février 2006.
8. Gogolla, Martin, Bohling, Jorn and Richters, Mark. Validation of UML and OCL Models by Automatic Snapshot Generation. In G. Booch, P.Stevens, and J. Whittle, editors, Proc. 6th Int. Conf. Unified Modeling Language (UML'2003). Springer, LNCS 2863, (2003).
9. Jackson, Daniel, Shlyakhter, I. and Sridharan. A micromodularity Mechanism. In proceedings of the ACM Sigsoft Conference on the Foundation of Software Engineering FSE'01.(2001).
10. Kim, S. and Carrington, D., Formalizing the UML Class Diagrams using Object-Z, proceedings UML'99 Conference, Lecture Notes in Computer Sciencie 1723 (1999).
11. nd. ECOOP Workshop on Precise Behavioral Semantics, TUM-I9813, (1998).
12. Lano, Kevin, Androutsopolous, Kelly and Clark David. Refinement Patterns for UML. Proceedings of REFINE'2005. Elsevier Electronic Notes in Theoretical Computer Science 137. pages 131-149 (2005).
13. Ledang, Hung and Souquieres, Jeanine. Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B. Procs. of IEEE Asia-Pacific Software Engineering Conference 2002. December 4-6, (2002).
14. Liu, Z., Jifeng H., Li, X. Chen Y. Consistency and Refinement of UML Models. 3er Workshop on Consistency Problems in UML-based Software Development III, event of the UML Conference, (2004).
15. OMG - UML 2.0. The Unified Modeling Language Superstructure version 2.0 - OMG Final Adopted Specification., http://www.omg.org. August 2003
16. OCL 2.0. OMG Final Adopted Specification. October 2003.
17. Object Management Group, MDA Guide, vl.0.1, omg/03-06-01, June 2003.
18. Paige, R., Kolovos D. and Polack,F. Refinement via Consistency Checking in MDD. In REFINE'2005. Electronic Notes in Theoretical Computer Science 137. (2005).
19. Pons Claudia. On the definition of UML refinement patterns. Workshop MoDeVa at ACM/IEEE 8th Int. Conference on Model Driven Engineering Languages and Systems (MoDELS) Jamaica. October 2005.
20. Pons Claudia. Heuristics on the Definition of UML Refinement Patterns. 32nd International Conference on Current Trends in Theory and Practice of Computer Science. SOFSEM. Lecture Notes in Computer Science LNCS number 3831. Springer (2006)
21. QVT Partners revised submission to QVT 1.1 (ad/2003-08-08).
22. Richters, Mark and Gogolla, Martin. OCL-Syntax, Semantics and Tools, in Advances in Object Modelling with the OCL. Lecture Notes in Computer Science number 2263. Springer. (2001).
23. Smith, Graeme. The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers. ISBN 0-7923-8684-1. (2000)
24. Stahl, M Voelter. Model Driven Software Development. John Wiley, ISBN 0470025700, April 2006.
25. Van Der Straeten, R., Mens,T., Simmonds, J. and Jonckers,V. Using description logic to maintain consistency between UML-models. In Proc. 6th International Conference on the Unified Modeling Language. Lecture Notes in Computer Science number 2863. Springer. (2003).