{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T12:54:25Z","timestamp":1779108865287,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540439288","type":"print"},{"value":"9783540456148","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45614-7_22","type":"book-chapter","created":{"date-parts":[[2007,5,17]],"date-time":"2007-05-17T00:45:28Z","timestamp":1179362728000},"page":"390-409","source":"Crossref","is-referenced-by-count":25,"title":["Towards OCL\/RT"],"prefix":"10.1007","author":[{"given":"Mar\u00eda Victoria","family":"Cengarle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Knapp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,9]]},"reference":[{"key":"22_CR1","series-title":"Lect. Notes Comp. Sci.","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/3-540-45441-1_2","volume-title":"Proc. 4th Int. Conf. UML","author":"J. M. \u00c1lvarez","year":"2001","unstructured":"Jos\u00e9 M. \u00c1lvarez, Tony Clark, Andy Evans, and Paul Sammut. An Action Semantics for MML. In Cris Kobryn, editors. Proc. 4 th Int. Conf. UML, volume 2185 of Lect. Notes Comp. Sci. Springer, Berlin, 2001 Gogolla and Kobryn [9]}, pages 2\u201318."},{"key":"22_CR2","unstructured":"Thomas Baar. Experiences with the UML\/OCL-Approach to Precise Software Modeling. In Proc. Net.ObjectDays, Erfurt, 2000. http:\/\/i12www.ira.uka.de\/key\/doc\/2000\/baar00.pdf.gz ."},{"key":"22_CR3","unstructured":"Grady Booch, James Rumbaugh, and Ivar Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, Reading, Mass., &c., 1998."},{"key":"22_CR4","series-title":"Lect. Notes Comp. Sci.","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1007\/3-540-45441-1_10","volume-title":"Proc. 4th Int. Conf. UML","author":"M. V. Cengarle","year":"2001","unstructured":"Mar\u00eda Victoria Cengarle and Alexander Knapp. A Formal Semantics for OCL 1.4. In Cris Kobryn, editors. Proc. 4 th Int. Conf. UML, volume 2185 of Lect. Notes Comp. Sci. Springer, Berlin, 2001 Gogolla and Kobryn [9]}, pages 118\u2013133."},{"key":"22_CR5","unstructured":"Stefan Conrad and Klaus Turowski. Temporal OCL: Meeting Specification Demands for Business Components. In Keng Siau and Terry Halpin, editors, Unified Modeling Language: Systems Analysis, Design and Development Issues, chapter 10, pages 151\u2013166. Idea Publishing Group, 2001."},{"key":"22_CR6","volume-title":"Real-Time UML","author":"B. P. Douglass","year":"1998","unstructured":"Bruce P. Douglass. Real-Time UML. Addison-Wesley, Reading, Mass., &c., 1998."},{"key":"22_CR7","volume-title":"Doing Hard Time","author":"B. P. Douglass","year":"1999","unstructured":"Bruce P. Douglass. Doing Hard Time. Addison-Wesley, Reading, Mass., &c., 1999."},{"key":"22_CR8","volume-title":"Object, Components, Frameworks with UML: The Catalysis Approach","author":"D. F. D\u2019Souza","year":"1998","unstructured":"Desmond F. D\u2019Souza and Alan C. Wills. Object, Components, Frameworks with UML: The Catalysis Approach. Addison-Wesley, Reading, Mass., &c., 1998."},{"key":"22_CR9","series-title":"Lect. Notes Comp. Sci.","volume-title":"Proc. 4th Int. Conf. UML","year":"2001","unstructured":"Martin Gogolla and Cris Kobryn, editors. Proc. 4 th Int. Conf. UML, volume 2185 of Lect. Notes Comp. Sci. Springer, Berlin, 2001."},{"key":"22_CR10","volume-title":"Designing Concurrent, Distributed, and Real-Time Systems with UML","author":"H. Gomaa","year":"2000","unstructured":"Hassan Gomaa. Designing Concurrent, Distributed, and Real-Time Systems with UML. Addison-Wesley, Reading, Mass., &c., 2000."},{"key":"22_CR11","series-title":"Lect. Notes Comp. Sci.","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1007\/3-540-40011-7_32","volume-title":"Proc. 3rd Int. Conf. UML","author":"A. Kleppe","year":"2000","unstructured":"Anneke Kleppe and Jos Warmer. Extending OCL to Include Actions. In Andy Evans, Stuart Kent, and Bran Selic, editors, Proc. 3 rd Int. Conf. UML, volume 1939 of Lect. Notes Comp. Sci., pages 440\u2013450. Springer, Berlin, 2000."},{"key":"22_CR12","unstructured":"Anneke Kleppe and Jos Warmer. Unification of Static and Dynamic Semantics of UML. Technical report, Klasse Objecten, 2001. http:\/\/www.cs.york.ac.uk\/puml\/mmf\/KleppeWarmer.pdf ."},{"key":"22_CR13","series-title":"Formal Approaches to Computing and Information Technology","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3073-4","volume-title":"Formal Object-Oriented Development","author":"K. Lano","year":"1995","unstructured":"Kevin Lano. Formal Object-Oriented Development. Formal Approaches to Computing and Information Technology. Springer, London, 1995."},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Luigi Lavazza, Gabriele Quaroni, and Matteo Venturelli. Combining UML and Formal Notations for Modelling Real-Time Systems. In 8 th Europ. Conf. Software Engineering, Wien, 2001.","DOI":"10.1145\/503234.503236"},{"key":"22_CR15","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1988","unstructured":"Bertrand Meyer. Object-Oriented Software Construction. Prentice Hall, New York, &c., 1988."},{"key":"22_CR16","unstructured":"Response to OMG RfP ad\/00-09-03 \u201cUML 2.0 OCL\u201d. Submission, OMG, 2001. http:\/\/cgi.omg.org\/cgi-bin\/doc?ad\/01-08-01 ."},{"key":"22_CR17","unstructured":"Response to OMG RfP ad\/99-03-13 \u201cSchedulability, Performance, and Time\u201d. Revised submission, OMG, 2001. http:\/\/cgi.omg.org\/cgi-bin\/doc?ad\/01-06-14 ."},{"key":"22_CR18","unstructured":"Object Management Group. Unified Modeling Language Specification, Version 1.4. Specification, OMG, 2001. http:\/\/cgi.omg.org\/cgi-bin\/doc?formal\/01-09-67 ."},{"key":"22_CR19","unstructured":"Object Management Group. Unified Modeling Language Specification (Action Semantics), Version 1.4. Specification, OMG, 2002. http:\/\/cgi.omg.org\/cgi-bin\/doc?ptc\/02-01-09 ."},{"key":"22_CR20","series-title":"Lect. Notes Comp. Sci.","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/3-540-45669-4_4","volume-title":"Advances in Object Modelling with the OCL","author":"M. Richters","year":"2002","unstructured":"Mark Richters and Martin Gogolla. OCL \u2014 Syntax, Semantics and Tools. In Tony Clark and Jos Warmer, editors, Advances in Object Modelling with the OCL, volume 2263 of Lect. Notes Comp. Sci., pages 38\u201363. Springer, Berlin, 2002."},{"key":"22_CR21","volume-title":"Real-Time Object-Oriented Modeling","author":"B. Selic","year":"1994","unstructured":"Bran Selic, Garth Gullekson, and Paul T. Ward. Real-Time Object-Oriented Modeling. John Wiley & Sons, New York, 1994."},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Bran Selic and James Rumbaugh. Using UML for Modeling Complex Real-Time Systems. White paper, Rational Software Corp., 1998. http:\/\/www.rational.com\/media\/whitepapers\/umlrt.pdf .","DOI":"10.1007\/BFb0057795"},{"key":"22_CR23","series-title":"Lect. Notes Comp. Sci.","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/3-540-45441-1_29","volume-title":"Proc. 4th Int. Conf. UML","author":"S. Sendall","year":"2001","unstructured":"Shane Sendall and Alfred Strohmeier. Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML. In Martin Gogolla and Cris Kobryn, editors, Proc. 4 th Int. Conf. UML, volume 2185 of Lect. Notes Comp. Sci., pages 391\u2013405. Springer, Berlin, 2001."},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"Kerry Trentelman and Marieke Huisman. Extending JML Specifications with Temporal Logic. In Proc. 9 th Int. Conf. Algebraic Methodology And Software Technology, 2002. To appear.","DOI":"10.1007\/3-540-45719-4_23"},{"key":"22_CR25","volume-title":"The Object Constraint Language","author":"J. Warmer","year":"1999","unstructured":"Jos Warmer and Anneke Kleppe. The Object Constraint Language. Addison-Wesley, Reading, Mass., &c., 1999."}],"container-title":["Lecture Notes in Computer Science","FME 2002:Formal Methods\u2014Getting IT Right"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45614-7_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T00:05:52Z","timestamp":1556409952000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45614-7_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439288","9783540456148"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-45614-7_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}