Skip to main content
SpringerLink
Log in
Book cover

International Conference on Current Trends in Theory and Practice of Computer Science

SOFSEM 2006: SOFSEM 2006: Theory and Practice of Computer Science pp 461–470Cite as

Heuristics on the Definition of UML Refinement Patterns

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 3831))

Abstract

In this article we present a strategy to formalize frequently occurring forms of refinement that take place in UML model construction. Such strategy consists in recognizing a set of well founded refinement structures in a formal language which are then immersed into a UML-based development, giving origin to a set of UML refinement patterns. Apart from providing semi-formal evidence on the presence of refinement structures in object-oriented designs, this strategy made it possible to reveal hidden refinements and to discover weaknesses of the UML language that hinder the specification of refinement. An automatic tool is provided to support model refinement activities.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Astesiano, E., Reggio, G.: An Algebraic Proposal for Handling UML Consistency. In: Workshop on Consistency Problems in UML-based Software Development, Blekinge Institute of Technology Research Report (2003)

    Google Scholar 

  2. Back, R., von Wright, J.: Refinement Calculus: a Systematic Introduction. Graduate Texts in Computer Science. Springer, Heidelberg (1998)

    MATH  Google Scholar 

  3. Boiten, E.A., Bujorianu, M.C.: Exploring UML Refinement through Unification. In: Jurjens, J., Rumpe, B., et al. (eds.) Proceedings of the UML 2003 Workshop on Critical Systems Development with UML, TUM-I0323, Technische Universitat Munchen (September 2003)

    Google Scholar 

  4. Cavalcanti, A., Naumann, D.: Simulation and Class Refinement for Java. In: Proceedings of ECOOP 2000 Workshop on Formal Techniques for Java Programs (2000)

    Google Scholar 

  5. Davies, J., Crichton, C.: Concurrency and Refinement in the Unified Modeling Language. Electronic Notes in Theoretical Computer Science 70(3) (2002)

    Google Scholar 

  6. Derrick, J., Boiten, E.: Refinement in Z and Object-Z. In: Foundation and Advanced Applications. FACIT. Springer, Heidelberg (2001)

    Google Scholar 

  7. Engels, G., Küster, J., Heckel, R., Groenewegen, L.: A Methodology for Specifying and Analyzing Consistency of Object Oriented Behavioral Models. In: Procs. of the IEEE International Conference on Foundation of Software Engineering, Vienna (2001)

    Google Scholar 

  8. Kent, S.: Model Driven Engineering. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol. 2335, p. 286. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  9. Kim, S., Carrington, D.: Formalizing the UML Class Diagrams using Object-Z. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 83–98. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  10. Lano, K.: The B Language and Method. In: FACIT. Springer, Heidelberg (1996)

    Google Scholar 

  11. Lano, K., Biccaregui, J.: Formalizing the UML in Structured Temporal Theories. In: 2nd. ECOOP Wrk. on Precise Behavioral Semantics, TUM-I9813, Technische U. Munchen (1998)

    Google Scholar 

  12. Ledang, H., Souquieres, J.: Integration of UML and B Specification Techniques: Systematic Transformation from OCL Expressions into B. In: Proceedings of Asia-Pacific SE Conference 2002. IEEE Computer Society, Australia (2002)

    Google Scholar 

  13. Liu, Z., Jifeng, H., Li, X., Chen, Y.: Consistency and Refinement of UML Models. In: Third International Workshop, Consistency Problems in UML-based Software Development III. Satellite event of < <UML> > 2004, Lisbon, Portugal, October 11 (2004)

    Google Scholar 

  14. UML 2.0. The Unified Modeling Language Superstructure version 2.0 – OMG Final Adopted Specification (August 2003), http://www.omg.org

  15. OCL 2.0. OMG Final Adopted Specification (October 2003)

    Google Scholar 

  16. Object Management Group, MDA Guide, v1.0.1, omg/03-06-01 (June 2003)

    Google Scholar 

  17. Pons, C., Pérez, G., Giandini, R.: Understanding Refinement and Specialization in the UML. In: 2nd International Workshop on MAnaging SPEcialization/Generalization Hierarchies (MASPEGHI), IEEE ASE 2003, Canada (2003)

    Google Scholar 

  18. Pons, C., Kutsche, R.-D.: Traceability Across Refinement Steps in UML Modeling. In: Workshop in Software Model Engineering, 7th International Conference on the UML, Lisbon, Portugal, October 11 (2004)

    Google Scholar 

  19. Pons, C., Giandini, R., Pérez, G., Pesce, P., Becker, V., Longinotti, J., Cengia, J.: Precise Assistant for the Modeling Process in an Environment with Refinement Orientation. In: Jardim Nunes, N., Selic, B., Rodrigues da Silva, A., Toval Alvarez, A. (eds.) UML Satellite Activities 2004. LNCS, vol. 3297, pp. 246–249. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  20. Richters, M., Gogolla, M.: OCL-Syntax, Semantics and Tools. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol. 2263, p. 42. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  21. Smith, G.: The Object-Z Specification Language. In: Advances in Formal Methods. Kluwer Academic Publishers, Dordrecht (2000) ISBN 0-7923-8684-1

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIFIA – Computer Science Faculty, University of La Plata and CONICET, La Plata, Buenos Aires, Argentina

    Claudia Pons

Authors
  1. Claudia Pons
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod Vodárenskou věží 2, 182 07, Prague 8, Czech Republic

    Jiří Wiedermann  & Július Štuller  & 

  2. Department of Information and Computer Sciences, University of Utrecht, P.O. Box 80.089, 3508, Utrecht, TB, The Netherlands

    Gerard Tel

  3. Faculty of Mathematics and Physics, Charles University, Prague

    Jaroslav Pokorný

  4. Institute of Informatics and Software Engineering Faculty of Informatics and Information technologies, Slovak University of Technology, Ilkovičova 3, 842 16, Bratislava

    Mária Bieliková

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pons, C. (2006). Heuristics on the Definition of UML Refinement Patterns. In: Wiedermann, J., Tel, G., Pokorný, J., Bieliková, M., Štuller, J. (eds) SOFSEM 2006: Theory and Practice of Computer Science. SOFSEM 2006. Lecture Notes in Computer Science, vol 3831. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11611257_44

Download citation

  • DOI: https://doi.org/10.1007/11611257_44

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-31198-0

  • Online ISBN: 978-3-540-32217-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation