{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T12:54:26Z","timestamp":1779108866798,"version":"3.51.4"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319091945","type":"print"},{"value":"9783319091952","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09195-2_4","type":"book-chapter","created":{"date-parts":[[2014,7,9]],"date-time":"2014-07-09T13:30:06Z","timestamp":1404912606000},"page":"51-66","source":"Crossref","is-referenced-by-count":19,"title":["OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL"],"prefix":"10.1007","author":[{"given":"Wei","family":"Dou","sequence":"first","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Domenico","family":"Bianculli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]},{"given":"Lionel","family":"Briand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocab":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Bianculli, D., Ghezzi, C., Pautasso, C., Senti, P.: Specification patterns from research to industry: A case study in service-based applications. In: Proc. ICSE 2012, pp. 968\u2013976. IEEE (2012)","DOI":"10.1109\/ICSE.2012.6227125"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-642-35861-6_4","volume-title":"Formal Aspects of Component Software","author":"D. Bianculli","year":"2013","unstructured":"Bianculli, D., Ghezzi, C., San Pietro, P.: The tale of SOLOIST: A specification language for service compositions interactions. In: P\u0103s\u0103reanu, C.S., Sala\u00fcn, G. (eds.) FACS 2012. LNCS, vol.\u00a07684, pp. 55\u201372. Springer, Heidelberg (2013)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-45221-8_5","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"J. Cabot","year":"2003","unstructured":"Cabot, J., Oliv\u00e9, \u00c0., Teniente, E.: Representing temporal information in UML. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 44\u201359. Springer, Heidelberg (2003)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1007\/3-540-45614-7_22","volume-title":"FME 2002: Formal Methods - Getting IT Right","author":"M.V. Cengarle","year":"2002","unstructured":"Cengarle, M.V., Knapp, A.: Towards OCL\/RT. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol.\u00a02391, pp. 390\u2013409. Springer, Heidelberg (2002)"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Conrad, S., Turowski, K.: Temporal OCL: Meeting specification demands for business components. In: Unified Modeling Language: System Analysis, Design, and Development Issues, pp. 151\u2013165. IGI Global (2001)","DOI":"10.4018\/978-1-930708-05-1.ch010"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Dou, W., Bianculli, D., Briand, L.: OCLR: a more expressive, pattern-based temporal extension of OCL. Tech. Rep. TR-SnT-2014-2, SnT Centre - University of Luxembourg (February 2014), http:\/\/hdl.handle.net\/10993\/15339","DOI":"10.1007\/978-3-319-09195-2_4"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proc. ICSE 1999, pp. 411\u2013420. IEEE (1999)","DOI":"10.1145\/302405.302672"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Flake, S., Mueller, W.: Past- and future-oriented time-bounded temporal properties with OCL. In: Proc. SEFM 2004, pp. 154\u2013163. IEEE (2004)","DOI":"10.1109\/SEFM.2004.1347516"},{"key":"4_CR9","unstructured":"Flake, S., M\u00fcller, W.: Expressing property specification patterns with OCL. In: Software Engineering Research and Practice, pp. 595\u2013603. CSREA Press (2003)"},{"issue":"2","key":"4_CR10","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.entcs.2005.10.035","volume":"153","author":"V. Gruhn","year":"2006","unstructured":"Gruhn, V., Laue, R.: Patterns for timed property specifications. Electron. Notes Theor. Comput. Sci.\u00a0153(2), 117\u2013133 (2006)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"4_CR11","unstructured":"Object Constraint Language (2012), http:\/\/www.omg.org\/spec\/OCL\/ISO\/19507\/"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-642-36089-3_6","volume-title":"Software Language Engineering","author":"B. Kanso","year":"2013","unstructured":"Kanso, B., Taha, S.: Temporal constraint support for OCL. In: Czarnecki, K., Hedin, G. (eds.) SLE 2012. LNCS, vol.\u00a07745, pp. 83\u2013103. Springer, Heidelberg (2013)"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Konrad, S., Cheng, B.H.C.: Real-time specification patterns. In: Proc. ICSE 2005, pp. 372\u2013381. ACM (2005)","DOI":"10.1145\/1062455.1062526"},{"issue":"6","key":"4_CR14","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S1571-0661(04)81031-4","volume":"82","author":"L. Lavazza","year":"2003","unstructured":"Lavazza, L., Morasca, S., Morzenti, A.: A dual language approach extension to UML for the development of time-critical component-based systems. Electron. Notes Theor. Comput. Sci.\u00a082(6), 121\u2013132 (2003)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1145\/133233.129397","volume":"14","author":"A. Morzenti","year":"1992","unstructured":"Morzenti, A., Mandrioli, D., Ghezzi, C.: A model parametric real-time logic. ACM Trans. Program. Lang. Syst.\u00a014, 521\u2013573 (1992)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"4_CR16","unstructured":"Robinson, W.N.: Extended OCL for goal monitoring. ECEASST 9 (2008)"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-642-02674-4_14","volume-title":"Model Driven Architecture - Foundations and Applications","author":"M. Soden","year":"2009","unstructured":"Soden, M., Eichler, H.: Temporal extensions of OCL revisited. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol.\u00a05562, pp. 190\u2013205. Springer, Heidelberg (2009)"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-3-540-39866-0_35","volume-title":"Perspectives of System Informatics","author":"P. Ziemann","year":"2004","unstructured":"Ziemann, P., Gogolla, M.: OCL extended with temporal logic. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol.\u00a02890, pp. 351\u2013357. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09195-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T18:34:39Z","timestamp":1746297279000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09195-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319091945","9783319091952"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09195-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}