research-article

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

Author:

R. K. PandeyAuthors Info & Claims

ACM SIGSOFT Software Engineering Notes, Volume 36, Issue 1

Pages 1 - 4

https://doi.org/10.1145/1921532.1921543

Published: 24 January 2011 Publication History

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".

[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.

Digital 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.

Digital Library

[4]

J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modelling with UML. Object Technology Series. Addison-Wesley, 1999.

Digital Library

[5]

http://www.omg.org/uml/ocl-omg.pdf

[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.

[7]

Group, O.M.: UML 2.0 Superstructure Specification: Final Adopted Specification (2003) OMG document ptc/08-03-02.

[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.

Digital 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.

Digital Library

[10]

Matúš NAVARČĺK, Using UML with OCL as ADL, M. Bieliková (Ed.), IIT.SRC 2005, April 27, 2005, pp. 175--182.

[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.

Digital Library

[12]

R. K. Pandey, Architecture Description Languages (ADLs) vs UML: a review, ACM SIGSOFT Software Engineering Notes, Volume 35, Issue 3 (May 2010).

Digital Library

[13]

Dresden OCL toolkit, Dresden University of Technology, http://dresden-ocl.sourceforge.net/index.html

[14]

ArgoUML, http://argouml.tigris.org/

[15]

Poseidon 1.4, Gentleware. http://www.gentleware.com/products/index.php3

[16]

MagicDraw 5.5. http://www.magicdraw.com/

[17]

http://st.inf.tudresden.de/oclportal/index.php?option=com_content&;task=view&id=90&Itemid=57

[18]

Jordi Cabot, Martin Gogolla et. Al. Proceedings of the 8Th International Workshop on OCL Concepts and Tools (OCL 2008) as MoDELS 2008.

[19]

Eoin Woods, 2005; http://www.eoinwoods.info

[20]

Bernhard Beckert, Introduction to OCL, http://www.unikoblenz.de/~beckert/Lehre/Verification/10OCL.pdf

Cited By

Mzid R(2024)Real-time design patterns for the verification of safety-critical embedded systems in model-based approachThe Journal of Supercomputing10.1007/s11227-023-05866-080:8(11431-11473)Online publication date: 1-May-2024
https://dl.acm.org/doi/10.1007/s11227-023-05866-0
Biffl SWinkler DKathrein LRinker FMordinyi RSteininger H(2024)Prozessunterstützung für modellorientiertes Engineering von CPPS von der Konzeptphase bis zur virtuellen InbetriebnahmeHandbuch Industrie 4.010.1007/978-3-662-58528-3_88(787-825)Online publication date: 8-Nov-2024
https://doi.org/10.1007/978-3-662-58528-3_88
Rajab AHafeez AShaikh AAlghamdi AAl Reshan MHamdi MRajab K(2022)UCLAONT: Ontology-Based UML Class Models Verification ToolApplied Sciences10.3390/app1203139712:3(1397)Online publication date: 28-Jan-2022
https://doi.org/10.3390/app12031397
Show More Cited By

Index Terms

Object constraint language (OCL): past, present and future
1. General and reference
  1. Document types
    1. Surveys and overviews
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
        Object oriented languages

Recommendations

Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML
«UML» '01: Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools

Despite advances in implementation technologies for distributed systems during the last few years, little attention has been given to distributed systems within software development methodologies. The contribution of this paper is a UML-based approach ...
Automotive UML: a (meta) model-based approach for systems development
UML for real

In this chapter a recent approach is described which utilizes the Unified Modeling Language (UML) within the automotive specific systems development. In particular it presents the Automotive Modeling Language (AML), a modeling language tailored to the ...
ZCP Modernization by Recovering ZCM Models from Existing Platforms
ICCDA '17: Proceedings of the International Conference on Compute and Data Analysis

In this paper a new approach for Zakat Calculation Platforms (ZCP) was proposed, using Model Driven Architecture (MDA) concepts. Also this paper was highlighted the three interesting existing approaches in the context of the present paper especially for ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGSOFT Software Engineering Notes

ACM SIGSOFT Software Engineering Notes Volume 36, Issue 1

January 2011

210 pages

ISSN:0163-5948

DOI:10.1145/1921532

Issue’s Table of Contents

Copyright © 2011 Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 January 2011

Published in SIGSOFT Volume 36, Issue 1

Check for updates

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

20
Total Citations
View Citations
588
Total Downloads

Downloads (Last 12 months)22
Downloads (Last 6 weeks)3

Reflects downloads up to 07 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Mzid R(2024)Real-time design patterns for the verification of safety-critical embedded systems in model-based approachThe Journal of Supercomputing10.1007/s11227-023-05866-080:8(11431-11473)Online publication date: 1-May-2024
https://dl.acm.org/doi/10.1007/s11227-023-05866-0
Biffl SWinkler DKathrein LRinker FMordinyi RSteininger H(2024)Prozessunterstützung für modellorientiertes Engineering von CPPS von der Konzeptphase bis zur virtuellen InbetriebnahmeHandbuch Industrie 4.010.1007/978-3-662-58528-3_88(787-825)Online publication date: 8-Nov-2024
https://doi.org/10.1007/978-3-662-58528-3_88
Rajab AHafeez AShaikh AAlghamdi AAl Reshan MHamdi MRajab K(2022)UCLAONT: Ontology-Based UML Class Models Verification ToolApplied Sciences10.3390/app1203139712:3(1397)Online publication date: 28-Jan-2022
https://doi.org/10.3390/app12031397
Ullah UFaiz RHaleem M(2022)Modeling and verification of authentication threats mitigation in aspect-oriented mal sequence woven modelPLOS ONE10.1371/journal.pone.027070217:7(e0270702)Online publication date: 6-Jul-2022
https://doi.org/10.1371/journal.pone.0270702
Chebanyuk O(2022)An Approach to Software Assets ReusingComputer Science and Education in Computer Science10.1007/978-3-031-17292-2_6(73-83)Online publication date: 3-Nov-2022
https://doi.org/10.1007/978-3-031-17292-2_6
Shaikh AHafeez AA. Elmagzoub MAlghamdi ASiddique AShahzad B(2021)Ontology-Based Verification of UML Class Model XOR Constraint and Dependency Relationship ConstraintsIntelligent Automation & Soft Computing10.32604/iasc.2021.01507127:2(565-579)Online publication date: 2021
https://doi.org/10.32604/iasc.2021.015071
Xu XChen KCai H(2020)Automating Utility Permitting within Highway Right-of-Way via a Generic UML/OCL Model and Natural Language ProcessingJournal of Construction Engineering and Management10.1061/(ASCE)CO.1943-7862.0001936146:12Online publication date: Dec-2020
https://doi.org/10.1061/(ASCE)CO.1943-7862.0001936
Biffl SWinkler DKathrein LRinker FMordinyi RSteininger H(2020)Prozessunterstützung für modellorientiertes Engineering von CPPS von der Konzeptphase bis zur virtuellen InbetriebnahmeHandbuch Industrie 4.010.1007/978-3-662-45537-1_88-2(1-39)Online publication date: 4-Aug-2020
https://doi.org/10.1007/978-3-662-45537-1_88-2
Jilani AIqbal MKhan MUsman M(2019)Advances in Applications of Object Constraint Language for Software Engineering10.1016/bs.adcom.2017.12.003(135-184)Online publication date: 2019
https://doi.org/10.1016/bs.adcom.2017.12.003
(2018)Fault detection and behavioural prediction of a constrained complex system using cellular automataInternational Journal of Computational Science and Engineering10.5555/3292834.329284017:4(411-421)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.5555/3292834.3292840
Show More Cited By

View Options

Login options

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

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Issue’s Table of Contents