Heuristics on the definition of UML refinement patterns

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

Volumn 3831 LNCS, Issue , 2006, Pages 461-470

  Pons, Claudia ^a  

^a UNIVERSIDAD NACIONAL DE LA PLATA   (Argentina)

Author keywords

[No Author keywords available]

Indexed keywords

HIDDEN REFINEMENTS; UML MODEL CONSTRUCTION; UML REFINEMENT PATTERNS;

COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SET THEORY;

HEURISTIC METHODS;

EID: 33745639649     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11611257_44     Document Type: Conference Paper

References (21)

1. Astesiano, E., and, Reggio, G.: An Algebraic Proposal for Handling UML Consistency. Workshop on Consistency Problems in UML-based Software Development,. Blekinge Institute of Technology Research Report (2003)
2. Back, R. and, von Wright, J.: Refinement Calculus: a Systematic Introduction, Graduate Texts in Computer Science, Springer Verlag. (1998)
3. Boiten, E.A., and Bujorianu, MC.: Exploring UML Refinement through Unification. Proceedings of the UML'03 Workshop on Critical Systems Development with UML, J. Jurjens, B. Rumpe, et al., (eds) -TUM-I0323, Technische Universitat Munchen, September 2003
4. Cavalcanti, A., and Naumann, D.: Simulation and Class Refinement for Java. In Proceedings of ECOOP 2000 Workshop on Formal Techniques for Java Programs (2000)
5. Davies, J., and Crichton, C.: Concurrency and Refinement in the Unified Modeling Language. Electronic Notes in Theoretical Computer Science, Elsevier 70 3 (2002)
6. Derrick, J., and Boiten, E.: Refinement in Z and Object-Z. Foundation and Advanced Applications. FACIT, Springer (2001)
7. 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 International Conference on Foundation of Software Engineering. Vienna (2001)
8. Kent, S.: Model Driven Engineering. Integrated Formal Methods: Third International Conference, Turku, Finland, May 15-17, 2002. LNCS 2335, Springer-Verlag (2003)
9. Kim, S., and Carrington, D.: Formalizing the UML Class Diagrams using Object-Z, Proceedings UML'99 Conference, Lecture Notes in Computer Sciencie 1723 (1999)
10. Lano, K.: The B Language and Method. FACIT. Springer (1996)
11. nd. ECOOP Wrk. on Precise Behavioral Semantics, TUM-I9813, Technische U. Munchen (1998)
12. Ledang, H., and Souquieres, J.: Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B. Proceedings of Asia-Pacific SE Conference 2002. IEEE Computer Society. Australia. December 4-6, 2002
13. Liu, Z., Jifeng H., Li, X. Chen Y.: Consistency and Refinement of UML Models. Third International Workshop, Consistency Problems in UML-based Software Development III. Satellite event of ≪UML≫ 2004. Lisbon, Portugal, October 11, 2004
14. UML 2.0. The Unified Modeling Language Superstructure version 2.0 - OMG Final Adopted Specification. August 2003. http://www.omg.org.
15. OCL2.0. OMG Final Adopted Specification. October 2003
16. Object Management Group, MDA Guide, v1.0.1, omg/03-06-01, June 2003
17. Pons, C., Pérez, G., Giandini, R., Kutsche, and Ralf-D.: Understanding Refinement and Specialization in the UML. 2nd International Workshop on MAnaging SPEcialization/Generalization Hierarchies (MASPEGHI). In IEEE ASE 2003, Canada (2003)
18. Pons, C. and Kutsche, R-D.: Traceability Across Refinement Steps in UML Modeling. Workshop in Software Model Engineering, 7th International Conference on the UML, Lisbon, Portugal. October 11, 2004.
19. Pons C., Giandini R., Pérez G., Pesce P., Becker V., Longinotti J., and Cengia J.: Precise Assistant for the Modeling Process in an Environment with Refinement Orientation. In UML Modeling Languages and Applications: UML 2004 Satellite Activities, Revised Selected Papers. Lecture Notes in Computer Science 3297, Springer, Oct., 2004. The tool can be downloaded from http://sol.info.unlp.edu.ar/eclipse
20. Richters, M., and Gogolla M.: OCL-Syntax, Semantics and Tools, in Advances in Object Modelling with the OCL. Lecture Notes in Computer Science 2263, Springer (2001)
21. Smith, G.: The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers. ISBN 0-7923-8684-1. (2000)