skip to main content
10.1145/2593801.2593807acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
Article

OCL usability: a major challenge in adopting UML

Published:03 June 2014Publication History

ABSTRACT

In this paper, we present a novel approach to address the OCL usability problem by automatically producing OCL from English text. The main aspects of OCL usability problem are attributed as hard syntax of language, ambiguous nature of OCL expressions, and difficult interpretation of large OCL expressions. Our contribution is a novel approach that aims to present a method involving using Natural Language expressions and Model Transformation technology to improve OCL usability. The aim of the method is to produce a framework so that the user of UML tools can write constraints and pre/post conditions in English and the framework converts such English expressions to the equivalent OCL statements. The proposed approach is implemented in a software tool NL2OCLviaSBVR that generates OCL constraints from English text via SBVR. Our tool allows software modelers and developers to generate well-formed OCL expressions that results in valid and precise models. An empirical evaluation of the OCL constraints reveals that our natural language based approach to generate OCL constraints significantly outperforms the most closely related technique in terms of effort and effectiveness.

References

  1. OMG. 2007. Unified Modeling Language (UML), OMG Standard, v. 2.3.Google ScholarGoogle Scholar
  2. OMG. 2006. Object Constraint Language (OCL), OMG Standard, v. 2.0.Google ScholarGoogle Scholar
  3. Gogolla M., et al. 2007. USE: A UML-Based Specification Environment for Validating UML and OCL. Science of Computer Programming, vol. 69 pp. 27-34 Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Wahler M. 2008. Patterns to Develop Consistent Design Constraints, PhD Thesis, ETH Zurich, Switzerland.Google ScholarGoogle Scholar
  5. Cabot, J. 2006. Ambiguity issues in OCL postconditions. In: Proc. OCL for (Meta-) Models in Multiple Application Domain - MODELS'06, Technical Report.Google ScholarGoogle Scholar
  6. Correa A., Werner C., Barros M. 2007. An Empirical Study of the Impact of OCL Smells and Refactorings on the Understandability of OCL Specifications, MODELS’07, LNCS 4735. pp 76-90 Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. OMG. 2008. Semantics of Business vocabulary and Rules (SBVR), OMG Standard, v. 1.0.Google ScholarGoogle Scholar
  8. OMG, 2007. UML Superstructure specification document, OMG Standard, v. 2.3.Google ScholarGoogle Scholar
  9. Warmer Jos, Kleppe A. 2003. The Object Constraint Language – Getting Your Models Ready for MDA. Second Edition, Addison Wesley Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Engels G., Heckel R., Küster J. 2001. Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model, LNCS Vol. 2185, pages 272-287 Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. Whittle J., Jayaraman P., et al. 2009. MATA: A Unified Approach for Composing UML Aspect Models on Graph Transformation: Springer LNCS Vol. 5560, p. 191-237 Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Linehan M.: Ontologies and rules in Business Models. 2008. 11th IEEE EDOC Conference Workshop, pp. 149-156, Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Linehan M. 2008. SBVR Use Cases. Int. Symposium on Rule Representation, Interchange and Reasoning on the web, RuleML, LNCS Vol.5321 pp. 182-196 Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. Raj A., Prabharkar T., Hendryx S. 2008. Transformation of SBVR Business Design to UML Models. In ACM Conference on India software engineering, pp.29-38 Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. Cabot J., Teniente E. 2007. Transformation Techniques for OCL constraints, J. of Science of Computer Programming, 68(03) Oct 2007, p.152-168 Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Cabot J., et al. 2009. UML/OCL to SBVR Specification: A challenging Transformation, Journal of Information systems Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. Akehurst, D.H., Boardbar, B., Evans, M., Howells, W.G.J., McDonald-Maier, K.D. 2006. SiTra: Simple Transformations in Java, ACM/IEEE 9TH International Conference on Model Driven Engineering Languages and Systems,LNCS, Vol. 4199, pages 351-364 Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. Raquel R., Cabot j. 2008. Paraphrasing OCL Expressions with SBVR, 13th International Conference on Natural Language and Information Systems: Applications of NL to IS, pp.311-316 Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. Burke D., Kristofer J. 2005. Translating Formal Software Specifications to Natural Language. Springer LNCS, Vol. 3492, pp. 51-66 Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. Bajwa, I. S., Choudhary M.A. 2006. A Rule Based Paradigm for Speech Language Context Understanding. International Journal of Donghua University (English Edition). 23, 06 (June 2006), 39-42.Google ScholarGoogle Scholar
  21. Kristofer J. 2004. Disambiguation Implicit Constructions in OCL. In Conference on OCL and Model Driven Engineering, Oct 12, 2004, Lisbon, Portugal, pp. 30-44Google ScholarGoogle Scholar
  22. Scott W. Ambler. 2004. Object Primer: Agile Model-Driven Development with UML 2.0. Cambridge University Press, 3rd Edition, 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  23. Demuth B, Wilke C. 2009. Model and Object Verification by Using Dresden OCL. In R.G. Workshop on Innovation Information Technologies: Theory and Practice, pp. 81-89Google ScholarGoogle Scholar
  24. IBM OCL Parser, Sep 2009 http://www-01.ibm.com/ software/awdtools/library/standards/ocl-download.htmGoogle ScholarGoogle Scholar
  25. Jürgen D., Zinovy D., Alanna Z. 2008. Understanding and improving UML package merge. SoSyM, 7(4):443-467Google ScholarGoogle Scholar
  26. Ilieva M., Olga O. 2005. Automatic Transition of Natural Language Software requirements Specification into Formal Presentation. Springer LNCS Vol. 3513, pp.392--397 (2005) Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. Oliveira A., Seco N., Gomes P. 2004. A CBR Approach to Text to Class Diagram Translation, In TCBR Workshop at the 8th European Conference on Case-Based Reasoning.Google ScholarGoogle Scholar
  28. Bajwa I., Samad A., Mumtaz S. 2009. Object Oriented Software modeling Using NLP based Knowledge Extraction, European Journal of Scientific Research, 35(01), p.22-33Google ScholarGoogle Scholar
  29. Kovacs L., Kovasznai G., Kusper G. 2008. Metamodels in Generation of UML Using NLI-Based Dialogue. In 5th International Symposium on ASCII, pp. 29-33Google ScholarGoogle Scholar
  30. Bryant B., et al. 2008. From Natural Language Requirements to Executable Models of Software Components. In Workshop on S. E. for Embedded Systems pp.51Google ScholarGoogle Scholar

Index Terms

  1. OCL usability: a major challenge in adopting UML

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in
    • Published in

      cover image ACM Conferences
      RAISE 2014: Proceedings of the 3rd International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering
      June 2014
      58 pages
      ISBN:9781450328463
      DOI:10.1145/2593801

      Copyright © 2014 ACM

      Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      • Published: 3 June 2014

      Permissions

      Request permissions about this article.

      Request Permissions

      Check for updates

      Qualifiers

      • Article

      Upcoming Conference

      ICSE 2024
    • Article Metrics

      • Downloads (Last 12 months)3
      • Downloads (Last 6 weeks)0

      Other Metrics

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader