{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T01:58:37Z","timestamp":1760061517739},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2003,12,1]],"date-time":"2003-12-01T00:00:00Z","timestamp":1070236800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2003,12]]},"DOI":"10.1007\/s10270-003-0031-0","type":"journal-article","created":{"date-parts":[[2003,12,11]],"date-time":"2003-12-11T01:07:35Z","timestamp":1071104855000},"page":"248-261","source":"Crossref","is-referenced-by-count":19,"title":["Emerging OCL tools"],"prefix":"10.1007","volume":"2","author":[{"given":"Ambrosio","family":"Toval","sequence":"first","affiliation":[]},{"given":"V\u00edctor","family":"Requena","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 Luis","family":"Fern\u00e1ndez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,12,1]]},"reference":[{"key":"31_CR1","unstructured":"Argo\/UML. 2001. ArgoUML: The Cognitive CASE Tool. http:\/\/www.ArgoUML.com"},{"key":"31_CR2","unstructured":"Catalysis Resource Center. 2000. Catalysis Benefits in Lay Terms. http:\/\/www.platinum.com\/consult\/crc\/benefits.htm"},{"key":"31_CR3","unstructured":"Cook, S., Daniels, J.: Designing Object Systems: Object-Oriented Modeling with Syntropy. Prentice Hall, 1994"},{"key":"31_CR4","unstructured":"Cybernetic Intelligence GmbH. OCL Compiler. Version 1.5 for SELECT Enterprise 6.x, 2003. http:\/\/www.cybernetic.org"},{"key":"31_CR5","unstructured":"Dresden University of Technology. 2000. OCL Parser. http:\/\/dresden-ocl.sourceforge.net\/index.html"},{"key":"31_CR6","unstructured":"Fern\u00e1ndez, J.L., Toval, A.: Can Intuition Become Rigorous? Foundations for UML Model Verification Tools. Int. Sym. on Sof. Reliability Eng. (ISSRE 2000), IEEE Press, 2000"},{"key":"31_CR7","unstructured":"Gal\u00e1n, F.J., Ca\u00f1ete, J. M., and Toro, M.: Filling the Gap between Specification and Implementation of Software Systems by an executable code Generator of UML\/OCL models. Proc. of the XII Int. Conf. of Sof. and Sys. Eng. and their Appl. Paris. Sept., 1999"},{"key":"31_CR8","doi-asserted-by":"crossref","unstructured":"G\u00f3mez, J., Cachero, C., Pastor, O.: Conceptual Modelling of Device-Independent Web Applications. IEEE Multimedia, 2001, pp. 26\u201339","DOI":"10.1109\/93.917969"},{"key":"31_CR9","unstructured":"Gottesdiener, E.: Turning rules into requirements. Application Development Trends, 1999. http:\/\/www.adtmag.com\/Pub\/jul99\/fe7029907.asp"},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"Hussmann, H., Demuth, B., Finger, F.: Modular Architecture for a Toolset Supporting OCL. Dresden University of Technology, Department of Computer Science, 2000","DOI":"10.1007\/3-540-40011-7_20"},{"key":"31_CR11","unstructured":"IBM. The Object Constraint Language, 1997\u20132000. http:\/\/www-3.ibm.com\/software\/ad\/library\/standards\/ocl.html"},{"key":"31_CR12","unstructured":"Meyer, B.: Object-Oriented Software Construction. 2nd. Edition. Prentice Hall, 1997"},{"key":"31_CR13","unstructured":"Moros, B., Nicol\u00e1s, J., Molina, J. G., Toval, A.: Combining Formal Specifications with Design by Contract. Journal of Object-Oriented Programming JOOP. V. 12, N. 9, 2000"},{"key":"31_CR14","unstructured":"Object by Design. UML Modelling Tools, 2003. www.objectsbydesign.com\/tools\/umltools_byPlatform.html"},{"key":"31_CR15","unstructured":"Object Management Group, Inc. 1999. UML v. 1.3 specification. http:\/\/www.omg.org\/cgi-bin\/doc?ad\/99-06-08."},{"key":"31_CR16","unstructured":"Object Management Group, Inc. Meta Object Facility (MOF) Version 1.3, 2000. ftp:\/\/ftp.omg.org\/pub\/docs\/formal\/00-04-03.pdf"},{"key":"31_CR17","unstructured":"Object Management Group, Inc.: XML Metadata Interchange (XMI) Version 1.1\u2032\u2032, 2000. http:\/\/www.omg.org\/technology\/documents\/formal\/xmi.htm"},{"key":"31_CR18","unstructured":"Object Management Group, Inc.: UML 1.4 specification, 2001. http:\/\/www.omg.org\/technology\/documents\/formal\/uml.htm"},{"key":"31_CR19","unstructured":"Object Management Group, Inc.: Model Driven Architecture, 2002. http:\/\/www.omg.org\/mda"},{"key":"31_CR20","unstructured":"Rational Software Corporation et alter.: Object Constraint Language Specification, version 1.3, 2000. http:\/\/www.rational.com"},{"key":"31_CR21","unstructured":"Richters, M.: UML-based Specification Environment, 2001. http:\/\/www.db.informatik.uni-bremen.de\/projects\/USE"},{"key":"31_CR22","doi-asserted-by":"crossref","unstructured":"Richters, M., Gogolla, M.: OCL \u2013 Syntax Semantics and Tools. Advances in Object Modelling with the OCL, LNCS, vol. 2263. Springer, Berlin, 2001","DOI":"10.1007\/3-540-45669-4_4"},{"key":"31_CR23","unstructured":"SUN Microsystems, Inc. 2002. http:\/\/java.sun.com"},{"key":"31_CR24","unstructured":"Toval, A., Fern\u00e1ndez, J.L.: Formally Modelling UML and its Evolution: a Holistic Approach. Proc. of Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), Kluwer Academic Publishers, 2000"},{"key":"31_CR25","unstructured":"Toval, A., Fern\u00e1ndez, J.L.: Improving System Reliability via Rigorous Software Modeling: The UML Case. Proceedings of the 2001 IEEE Aerospace Conference (Track 10: Software and Computing), Montana, USA, IEEE Computer Society, 2001"},{"key":"31_CR26","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/PL00010360","volume":"6","author":"Toval,","year":"4","unstructured":"Toval, A., Nicol\u00e1s, J., Moros, B., Garc\u00eda, F.: Requirements Reuse for Improving Information Systems Security. Requirements Engineering Journal 6(4): 205\u2013219, 2002","journal-title":"Requirements Engineering Journal"},{"key":"31_CR27","unstructured":"Warmer, J.: OCL Checker, 2000. http:\/\/www.klasse.nl\/ocl\/index.html"},{"key":"31_CR28","unstructured":"Warmer, J., Kleppe, A.: OCL: The Object Constraint Language for the UML. Journal of Object-Oriented Programming JOOP, 12(2): 10\u201313, 1999"},{"key":"31_CR29","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Precise Modeling With UML. Addison-Wesley, Reading, MA, 1999"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-003-0031-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-003-0031-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-003-0031-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-003-0031-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,27]],"date-time":"2020-03-27T23:47:56Z","timestamp":1585352876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-003-0031-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,12]]},"references-count":29,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2003,12]]}},"alternative-id":["31"],"URL":"https:\/\/doi.org\/10.1007\/s10270-003-0031-0","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,12]]}}}