{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:38:01Z","timestamp":1725489481806},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540427520"},{"type":"electronic","value":"9783540455042"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45504-3_12","type":"book-chapter","created":{"date-parts":[[2007,8,13]],"date-time":"2007-08-13T18:56:02Z","timestamp":1187031362000},"page":"191-201","source":"Crossref","is-referenced-by-count":2,"title":["Iterate logic"],"prefix":"10.1007","author":[{"given":"Peter H.","family":"Schmitt","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,10,2]]},"reference":[{"key":"12_CR1","unstructured":"ACM, editor. Conference on Object-Oriented Programming, Systems, Languages, and Applications,OOPSLA\u2019 99, volume 34 (10) of ACM SIGPLAN notices. ACM, ACM Press, 1999."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"R. France. A problem-oriented analysis of basic uml static modeling concepts. In ACM[1].","DOI":"10.1145\/320384.320390"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"M. Gogolla and M. Richters. On constraints and queries in UML. In Schader and Korthaus[15], pages 109-121.","DOI":"10.1007\/978-3-642-48673-9_8"},{"key":"12_CR4","unstructured":"A. Hamie. A formal semantics for checking and analysing UML models. In L. Andrade, A. Moreira, A. Deshpande, and S. Kent, editors, Proceedings of the OOPSLA\u201998 Workshop on Formalizing UML. Why? How?, 1998."},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"A. Hamie, J. Howse, and S. Kent. Navigation expressions in object-oriented modelling. In FASE\u201998.","DOI":"10.1007\/BFb0053587"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"A. Hamie, J. Howse, and S. Kent. Interpreting the object constraint language. In Proceedings of Asia Pacific Conference in Software Engineering. IEEE Press, July 1998.","DOI":"10.1109\/APSEC.1998.733731"},{"issue":"4","key":"12_CR7","doi-asserted-by":"publisher","first-page":"760","DOI":"10.1137\/0216051","volume":"16","author":"N. Immerman","year":"1987","unstructured":"N. Immerman. Languages that capture complexity classes. SIAM J. of Computing, 16(4):760\u2013778, 1987.","journal-title":"SIAM J. of Computing"},{"key":"12_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/3-540-46852-8_7","volume-title":"Formalizing the UML class diagram using Object-Z","author":"S.-K. Kim","year":"1999","unstructured":"S.-K. Kim and D. Carrington. Formalizing the UML class diagram using Object-Z. volume 1723 of LNCS, pages 83\u201398. Springer, 1999."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"P. Krishnan. Consistency Checks for UML. In Proceedings of the Asia Pacific Software Engineering Conference (APSEC 2000), pages 162\u2013169, December 2000.","DOI":"10.1109\/APSEC.2000.896695"},{"key":"12_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"854","DOI":"10.1007\/3-540-48119-2_47","volume-title":"FM\u201999-Formal Methods","author":"L. Mandel","year":"1999","unstructured":"L. Mandel and M. V. Cengarle. On the expressive power of OCL. In FM\u201999-Formal Methods. World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999. Proceedings, Volume I, volume 1708 of LNCS, pages 854\u2013874. Springer, 1999."},{"key":"12_CR11","unstructured":"OMG. Object constraint language specification, version 1.3. chapter 7 in [12]. OMG Document, March 2000."},{"key":"12_CR12","unstructured":"OMG. OMG unified modeling language spezification, version 1.3. OMG Document, March 2000."},{"key":"12_CR13","first-page":"145","volume":"54","author":"J.-E. Pin","year":"1994","unstructured":"J.-E. Pin. Logic on words. Bulletin of the EATCS, 54:145\u2013165, 1994.","journal-title":"Bulletin of the EATCS"},{"key":"12_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/978-3-540-49524-6_35","volume-title":"Proc. 17th Int. Conf. Conceptual Modeling (ER\u201998)","author":"M. Richters","year":"1998","unstructured":"M. Richters and M. Gogolla. On formalizing the UML object constraint language OCL. In T. W. Ling, S. Ram, and M. L. Lee, editors, Proc. 17th Int. Conf. Conceptual Modeling (ER\u201998), pages 449\u2013464. Springer, Berlin, LNCS 1507, 1998."},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"M. Schader and A. Korthaus, editors. The Unified Modeling Language: technical aspects and applications. Physica-Verlag, 1998.","DOI":"10.1007\/978-3-642-48673-9"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"H. Straubing. Finite Automata, Formal Logic, and Circuit Complexity. Progress in Theoretical Computer Science. Birkh\u00e4user, 1994.","DOI":"10.1007\/978-1-4612-0289-9"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"W. Thomas. Automata on infinite objects. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science. Vol. B: Formal Models and Semantics, pages 135\u2013192. Elsevier, Amsterdam, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50009-3"},{"key":"12_CR18","volume-title":"Object Technology Series","author":"J. Warmer","year":"1999","unstructured":"J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modelling with UML. Object Technology Series. Addison-Wesley, Reading\/MA, 1999."}],"container-title":["Lecture Notes in Computer Science","Proof Theory in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45504-3_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T20:53:03Z","timestamp":1556743983000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45504-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540427520","9783540455042"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45504-3_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}