skip to main content
research-article

Object constraint language (OCL): past, present and future

Authors Info & Claims
Published:24 January 2011Publication History
Skip Abstract Section

Abstract

OCL was introduced as a part of UML in 1997 as a business modeling language by IBM. Ever since its inception, the actual use of OCL in the industry has been almost negligible, even amongst the business application development community, for which it was specifically created. But now with the inception of MDA and related OMG standards the role of OCL is changing. UML 2.0 has introduced new concepts and refined some other including OCL in a way that UML 2.0 is now almost software architectures conformant too. This paper makes an investigation into the recent developments and explores the role of OCL in the current scenario and its future applications.

References

  1. http://www.drdobbs.com/184414808, "Toward Executable UML".Google ScholarGoogle Scholar
  2. Jordi Cabot, Martin Gogolla and Pieter Van Gorp, Eighth International Workshop on OCL Concepts and Tools, Lecture Notes in Computer Science, 2009, Volume 5421/2009, 257--262.Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Stuart Kent, Andy Evans and Bernhard Rumpe, UML Semantics FAQ, Object-Oriented Technology ECOOP'99 Workshop Reader, Lecture NStuart Kent, Andy Evans et. Al. Notes in Computer Science, 1999, Volume 1743/1999, 793. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modelling with UML. Object Technology Series. Addison-Wesley, 1999. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. http://www.omg.org/uml/ocl-omg.pdfGoogle ScholarGoogle Scholar
  6. James Ivers, Paul Clements, David Garlan, Robert Nord, Bradley Schmerl, Jaime Silva, Documenting Architectural Connectors with UML 2, 7th International Conference on, UML Modeling Languages and Applications, October 11-15, 2004, Lisbon, Portugal.Google ScholarGoogle Scholar
  7. Group, O.M.: UML 2.0 Superstructure Specification: Final Adopted Specification (2003) OMG document ptc/08-03-02.Google ScholarGoogle Scholar
  8. Jordi Cabot, Robert Clarisó, et. Al. UMLtoCSP: A Tool for the Formal Verification of UML/OCLModels Using Constraint Programming, ASE'07, November 4--9, 2007, Atlanta, Georgia, USA.ACM 978-1-59593-882-4/07/0011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. Dimitrios S. Kolovos, Richard F. Paige and Fiona A. C. Polack, On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages, Lecture Notes in Computer Science, 2009, Volume 5115/2009, 204--218. Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. Matúš NAVARČĺK, Using UML with OCL as ADL, M. Bieliková (Ed.), IIT.SRC 2005, April 27, 2005, pp. 175--182.Google ScholarGoogle Scholar
  11. Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel and Peter H. Schmitt, The Key Approach: Integarating Object-Oriented Design and Verification, Lecture Notes in Computer Science, 2000, Volume 1919/2000, 21--36. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. R. K. Pandey, Architecture Description Languages (ADLs) vs UML: a review, ACM SIGSOFT Software Engineering Notes, Volume 35, Issue 3 (May 2010). Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. Dresden OCL toolkit, Dresden University of Technology, http://dresden-ocl.sourceforge.net/index.htmlGoogle ScholarGoogle Scholar
  14. ArgoUML, http://argouml.tigris.org/Google ScholarGoogle Scholar
  15. Poseidon 1.4, Gentleware. http://www.gentleware.com/products/index.php3Google ScholarGoogle Scholar
  16. MagicDraw 5.5. http://www.magicdraw.com/Google ScholarGoogle Scholar
  17. http://st.inf.tudresden.de/oclportal/index.php?option=com_content&;task=view&id=90&Itemid=57Google ScholarGoogle Scholar
  18. Jordi Cabot, Martin Gogolla et. Al. Proceedings of the 8Th International Workshop on OCL Concepts and Tools (OCL 2008) as MoDELS 2008.Google ScholarGoogle Scholar
  19. Eoin Woods, 2005; http://www.eoinwoods.infoGoogle ScholarGoogle Scholar
  20. Bernhard Beckert, Introduction to OCL, http://www.unikoblenz.de/~beckert/Lehre/Verification/10OCL.pdfGoogle ScholarGoogle Scholar

Index Terms

  1. Object constraint language (OCL): past, present and future

      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

      Full Access

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader