{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:40:01Z","timestamp":1748072401643,"version":"3.41.0"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2000,3,1]],"date-time":"2000-03-01T00:00:00Z","timestamp":951868800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,3,1]],"date-time":"2000-03-01T00:00:00Z","timestamp":951868800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Automated Software Engineering"],"published-print":{"date-parts":[[2000,3]]},"DOI":"10.1023\/a:1008713216625","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T16:37:32Z","timestamp":1040575052000},"page":"9-37","source":"Crossref","is-referenced-by-count":10,"title":["Logic of Change: Semantics of Object Systems with Active Relations"],"prefix":"10.1007","volume":"7","author":[{"given":"I.","family":"Bider","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Khomyakov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Pushchinsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"258145_CR1","unstructured":"Barr, M. and Wells, C. 1995. Category Theory for Computing Science, second ed. Prentice Hall."},{"key":"258145_CR2","first-page":"01","volume-title":"Data Base Management","author":"I. Bider","year":"1997","unstructured":"Bider, I. 1997a. Developing tool support for process oriented management. Data Base Management 26\u201301\u201330, Auerbach, RIA Group."},{"key":"258145_CR3","first-page":"10","volume-title":"Data Base Management","author":"I. Bider","year":"1997","unstructured":"Bider, I. 1997b. Object driver: a method for analysis, design, and implementation of interactive applications. Data Base Management 32\u201310\u201325, Auerbach, RIA Group."},{"key":"258145_CR4","unstructured":"Bider, I. and Khomyakov,M. 1997. One practical object-oriented model of business processes. In Proc.OOPSLA'97 Workshop on Object-Oriented Behavioral Semantic, Technische Universit\u00e4tM\u00fcnchen, TUM-I9737, pp. 25\u201331."},{"key":"258145_CR5","first-page":"319","volume":"1357","author":"I. Bider","year":"1998","unstructured":"Bider, I. and Khomyakov, M. 1998a. Object-oriented model for representing software production processes. ECOOP'97 Workshop Reader. Springer. LNCS Vol. 1357, pp. 319\u2013322.","journal-title":"ECOOP'97 Workshop Reader"},{"key":"258145_CR6","first-page":"217","volume":"1543","author":"I. Bider","year":"1998","unstructured":"Bider, I. and Khomyakov, M. 1998b. Business process modeling\u2014motivation, requirements, implementation. ECOOP'98 Workshop Reader. Springer. LNCS Vol. 1543, pp. 217\u2013218.","journal-title":"ECOOP'98 Workshop Reader"},{"issue":"3","key":"258145_CR7","first-page":"263","volume":"10","author":"V. Borshchev","year":"1976","unstructured":"Borshchev, V. and Khomiakov, M. 1976. Club systems. Automatic Documentation and Mathematical Linguistics, 10(3):263\u2013278.","journal-title":"Automatic Documentation and Mathematical Linguistics"},{"issue":"1","key":"258145_CR8","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"P.P. Chen","year":"1976","unstructured":"Chen, P.P. 1976. The entity-relationships model: towards a unified view of data. ACM Trans.on Database Syst, 1(1):9\u201336.","journal-title":"ACM Trans. on Database Syst"},{"key":"258145_CR9","volume-title":"Object-Oriented Analysis","author":"P. Coad","year":"1990","unstructured":"Coad, P. and Yourdon, E. 1990. Object-Oriented Analysis. Englewood Cliffs, NJ: Yourdon Press."},{"issue":"1","key":"258145_CR10","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1008654224389","volume":"5","author":"W. Deiters","year":"1998","unstructured":"Deiters, W. and Gruhn, V. 1998. Process management in practice. Applying the FUNSOFT net approach to large-scale processes. Automated Software Engineering. 5(1):7\u201325.","journal-title":"Automated Software Engineering"},{"key":"258145_CR11","volume-title":"Migrating to Object Technology","author":"I. Graham","year":"1995","unstructured":"Graham, I. 1995. Migrating to Object Technology. Wokingham, England: Addison-Wesley."},{"key":"258145_CR12","volume-title":"Knowledge and Belief","author":"J. Hintikka","year":"1962","unstructured":"Hintikka, J. 1962. Knowledge and Belief. Ithaca, NY: Cornell University Press."},{"key":"258145_CR13","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/0920-5489(93)90014-I","volume":"15","author":"H. Kilov","year":"1993","unstructured":"Kilov, H. 1993. Precise specification of behavior in object-oriented standardization activities. Computer Standards and Interfaces. 15:275\u2013378.","journal-title":"Computer Standards and Interfaces"},{"key":"258145_CR14","unstructured":"Kilov, H. and Ross, J. 1994. Information Modeling: An Object-Oriented Approach. Prentice-Hall."},{"key":"258145_CR15","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1002\/malq.19630090502","volume":"9","author":"S. Kripke","year":"1963","unstructured":"Kripke, S. 1963. Semantical analysis of modal logic. Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik, 9:67\u201396.","journal-title":"Zeitschrift f\u00fcr Mathematische Logik und Grundlagen der Mathematik"},{"key":"258145_CR16","first-page":"195","volume":"1357","author":"R. Kurki-Suonio","year":"1997","unstructured":"Kurki-Suonio, R. and Mikkonen, T. 1997. Liberating object-oriented modeling from programming-level abstractions. ECOOP'97 Workshop Reader. Springer. LNCS Vol. 1357, pp. 195\u2013199.","journal-title":"ECOOP'97 Workshop Reader"},{"key":"258145_CR17","unstructured":"Kurki-Suonio, R. and Mikkonen, T. 1999. Harnessing the power of interaction. In H. Jaakkola, H. Kangassalo, E. Kawaguchi editors, Information Modelling and Knowledge Bases. IOS Press, pp. 1\u201311."},{"key":"258145_CR18","unstructured":"Lloyd, J.W. 1993. Foundation of Logic Programming. Springer-Verlag."},{"issue":"4","key":"258145_CR19","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1002\/(SICI)1096-9942(1996)2:4<283::AID-TAPO4>3.0.CO;2-V","volume":"II","author":"N.H. Minsky","year":"1996","unstructured":"Minsky, N.H. 1996. Law-Governed Regularities in Object Systems. Part 1: An abstract model. Theory and Practice of Object Systems, II(4):283\u2013301.","journal-title":"Theory and Practice of Object Systems"},{"key":"258145_CR20","doi-asserted-by":"crossref","unstructured":"M\u00fcller J.P. 1996. The Design of Intelligent Agents. Springer. Lecture Notes in Artificial Intelligence Vol. 1177.","DOI":"10.1007\/BFb0017806"},{"key":"258145_CR21","first-page":"124","volume":"15","author":"Reference Model for Object Data Management","year":"1993","unstructured":"Reference Model for Object Data Management 1993. Computer Standards and Interfaces. 15:124\u2013142.","journal-title":"Computer Standards and Interfaces"},{"key":"258145_CR22","volume-title":"Object-Oriented Modeling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"Rumbaugh, J., Blaha, M., Lorensen,W., Eddy, F., and Premerlani,W. 1991. Object-Oriented Modeling and Design. Englewood Cliffs, NJ: Prentice Hall Inc."},{"key":"258145_CR23","unstructured":"Saaltink, M. and Selic, B. 1997. A semantic framework for behavioural specifications. In Proc.OOPSLA'97 Workshop on Object-Oriented Behavioral Semantic, Technische Universit\u00e4t M\u00fcnchen, TUM-I9737, pp. 155\u2013162"},{"key":"258145_CR24","volume-title":"Refal-5: Programming Guide and Reference Manual","author":"V.F. Turchin","year":"1989","unstructured":"Turchin, V.F. 1989. Refal-5: Programming Guide and Reference Manual. Holyoke, MA: New England Publishing Co."}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008713216625.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008713216625\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008713216625.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T06:58:12Z","timestamp":1748069892000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008713216625"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,3]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2000,3]]}},"alternative-id":["258145"],"URL":"https:\/\/doi.org\/10.1023\/a:1008713216625","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[2000,3]]}}}