{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:43:05Z","timestamp":1725486185920},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431695"},{"type":"electronic","value":"9783540456698"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45669-4_10","type":"book-chapter","created":{"date-parts":[[2007,6,3]],"date-time":"2007-06-03T17:25:02Z","timestamp":1180891502000},"page":"189-212","source":"Crossref","is-referenced-by-count":3,"title":["\u226aJava\u226bOCL Based on New Presentation of the OCL-Syntax"],"prefix":"10.1007","author":[{"given":"Bernhard","family":"Rumpe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,21]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Aliprand, J., Allen, J., Becker, J., Davis, M., Everson, M., Freytag, A., Jenkins, J., Ksar, M., McGowan, R., Moore, L., Suignard, M., Whistler, K., The Unicode Standard, Version 3.0. Addison Wesley Longman Publisher, 2000.","key":"10_CR1","DOI":"10.5860\/lrts.44n3.160"},{"unstructured":"Boger, M., Baier, T., Wienberg, F., Extreme Modeling, In: XP\u20192000 conference proceedings, Ed. Michele Marchesi (to appear), Addison-Wesley, 2001.","key":"10_CR2"},{"unstructured":"Broy, M., Facchi, C., Grosu, R., Hettler, R., Hussmann, H., Nazareth, D., Regensburger, F., Slotosch, O., Stolen K., The Requirement and Design Specification Language SPECTRUM. An Informal Introduction. Version 1.0. Part ii. Technical Report TUM-I9312, Technische Universit\u00e4t M\u00fcnchen. Institut f\u00fcr Informatik, TUM, M\u00fcnchen, Germany, May 1993.","key":"10_CR3"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"56","DOI":"10.2307\/2266170","volume":"5","author":"A. Church","year":"1940","unstructured":"Church A, A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56\u201368, 1940.","journal-title":"Journal of Symbolic Logic"},{"unstructured":"Cook, S., Kleppe, A., Mitchell, R., Rumpe, B., Warmer, J., Wills, A., The Amsterdam Manifesto on OCL, Technical Report, Technische Universit\u00e4t M\u00fcnchen, Computer Science, 1999.","key":"10_CR5"},{"unstructured":"Cook, S., Daniels, J. Designing Object Systems-Object Oriented Modeling with Syntropy. Prentice-Hall, 1994.","key":"10_CR6"},{"unstructured":"Fitzgerald, J., Larsen, P. G., Modelling Systems: Practical Tools and Techniques in Software Development. Cambridge University Press, 1998.","key":"10_CR7"},{"doi-asserted-by":"crossref","unstructured":"Gogolla, M., Richters, M., On Constraints and Queries in UML. In M. Schader and A. Korthaus, editors, Proc. UML\u201997 Workshop \u2018The Unified Modeling Language-Technical Aspects and Applications\u2019, pages 109\u2013121. Physica-Verlag, Heidelberg, 1997.","key":"10_CR8","DOI":"10.1007\/978-3-642-48673-9_8"},{"unstructured":"Gosling, J,. Joy, B., Steele, G., The Java Language Specification, Addison-Wesley, 1996.","key":"10_CR9"},{"doi-asserted-by":"crossref","unstructured":"Hamie, A., Civello, F., Howse, J., Kent, S., Mitchell, R., Reflections on the Object Constraint Language. In P. Muller and J. B\u00e9zivin, editors, Proc. of UML\u201998 International Workshop, Mulhouse, France, June 3\u20134, 1998, pages 137\u2013145.","key":"10_CR10","DOI":"10.1007\/978-3-540-48480-6_13"},{"doi-asserted-by":"crossref","unstructured":"Hamie, A., Howse, J., Kent S., Interpreting the Object Constraint Language. In Proceedings of Asia Pacific Conference in Software Engineering. IEEE Press, July 1998.","key":"10_CR11","DOI":"10.1109\/APSEC.1998.733731"},{"unstructured":"Harel, D., Rumpe, B., Modeling Languages: Syntax, Semantics and All That Stuff, The Weizmann Institute of Science, Rehovot, Israel, MCS00-16, 2000.","key":"10_CR12"},{"unstructured":"Hussmann, H., OCL Compiler. Technische Universit\u00e4t Dresden. Available from http:\/\/www-st.inf.tu-dresden.de\/ocl , 2001.","key":"10_CR13"},{"unstructured":"Jacobi, C., Rumpe, B., Hierarchical XP-Improving XP for large scale projects, In: XP\u20192000 conference proceedings, Ed. Michele Marchesi (to appear), Addison-Wesley, 2001.","key":"10_CR14"},{"unstructured":"OMG. Object Constraint Language Specification. In OMG Unified Modeling Language Specification, Version 1.3 (June 1999), chapter 7. Available from http:\/\/www.rational.com .","key":"10_CR15"},{"key":"10_CR16","series-title":"Lect Notes Comput Sci","first-page":"449","volume-title":"On Formalizing the UMLObje ct Constraint Language OCL","author":"M. Richters","year":"2004","unstructured":"Richters, M., Gogolla, M., On Formalizing the UMLObje ct Constraint Language OCL. In Tok-Wang Ling, Sudha Ram, and Mong Li Lee, editors, Proc. 17th Int. Conf. Conceptual Modeling (ER\u201998), pages 449\u2013464. Springer, Berlin, LNCS 1507, 1998."},{"unstructured":"Rumpe, B., Gofer Objekt-System-Imperativ Objektorientierte und Funktionale Programmierung in einer Sprache, Technical Report, Universit\u00e4t Passau, MIP-9519, 1995.","key":"10_CR17"},{"key":"10_CR18","volume-title":"The Object Constraint Language: Precise Modeling with UML","author":"J. Warmer","year":"1999","unstructured":"Warmer, J., Kleppe, A., The Object Constraint Language: Precise Modeling with UML. Addison Wesley Longman, Reading, Massachusetts, 1999."},{"doi-asserted-by":"crossref","unstructured":"Wirth, N., Programming in Modula-2, Springer Verlag, 1982.","key":"10_CR19","DOI":"10.1007\/978-3-642-96717-7"}],"container-title":["Lecture Notes in Computer Science","Object Modeling with the OCL"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45669-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T12:58:12Z","timestamp":1556456292000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45669-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431695","9783540456698"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45669-4_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}