{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:10:43Z","timestamp":1725732643271},"publisher-location":"London","reference-count":25,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199465"},{"type":"electronic","value":"9781447135777"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3577-7_24","type":"book-chapter","created":{"date-parts":[[2013,6,20]],"date-time":"2013-06-20T10:16:38Z","timestamp":1371723398000},"page":"331-345","source":"Crossref","is-referenced-by-count":1,"title":["Structural and Behavioral Abstractions of the Multiactivities Intended for their Concretizations by the Pre-existing Behaviors"],"prefix":"10.1007","author":[{"given":"Leonid","family":"Kalinichenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","first-page":"73","volume-title":"B-technology","author":"JR Abrial","year":"1992","unstructured":"Abrial J.-R. B-Technology. Technical overview. BP International Ltd., 1992, 73 p."},{"key":"24_CR2","volume-title":"Proceedings of the 19th International Conference on Very Large Data Bases","author":"PA Attie","year":"1993","unstructured":"Attie P.A., Singh M.P., Sheth A., Rusinkiewicz M. Specifying and enforcing intertask dependencies, Proceedings of the 19th International Conference on Very Large Data Bases, September 1993"},{"key":"24_CR3","volume-title":"Prospects for a viable software industry. Computers as our better partners. Proceedings of the International IISF\/ACM Symposium","author":"D Bjorner","year":"1994","unstructured":"Bjorner D. Prospects for a viable software industry. Computers as our better partners. Proceedings of the International IISF\/ACM Symposium, Tokyo, World Scientific, 1994"},{"key":"24_CR4","volume-title":"Advanced Database Systems: Proceedings of the 10th British National Conference on Databases","author":"ML Brodie","year":"1992","unstructured":"Brodie, M.L. The Promise of Distributed Computing and the Challenges of Legacy Systems. In P.M.D. Gray and R.J. Lucas (eds.) Advanced Database Systems: Proceedings of the 10th British National Conference on Databases, Springer-Verlag, New York\/Heidelburg, July 1992"},{"key":"24_CR5","volume-title":"Proceedings of the 17th International Conference on Very Large Data Bases","author":"PP Chrysanthis","year":"1991","unstructured":"P. P. Chrysanthis and K. Ramamritham. A Formalism for Extended Transaction Models. Proceedings of the 17th International Conference on Very Large Data Bases, September 1991."},{"key":"24_CR6","unstructured":"Chrysanthis P., Ramamritham K. ACTA: the SAGA continues. in [9]"},{"key":"24_CR7","volume-title":"A transactional model for long-running activities Proceedings of the 17th International Conference on Very Large Data Bases","author":"U Dayal","year":"1991","unstructured":"U. Dayal, M. Hsu, R. Ladin. A transactional model for long-running activities Proceedings of the 17th International Conference on Very Large Data Bases, September 1991"},{"key":"24_CR8","unstructured":"Dedene G., Snoeck M. Object-oriented modeling: a new language for consistent business engineering, Proceedings of the International Conference EastEurOOPe\u201993, Bratislava, November 1993"},{"key":"24_CR9","unstructured":"A. Elmagarmid, Ed. Database Transaction Models for Advanced Applications, Morgan-Kaufmann, 1992"},{"key":"24_CR10","volume-title":"February","author":"D Georgakopoulos","year":"1994","unstructured":"Georgakopoulos D., Hornick M., Krychniak P., Manola F. Specification and management of extended transactions in a programmable transaction environment. Proceedings of the 10th International Conference on Data Engineering, February, 1994"},{"key":"24_CR11","volume-title":"Prentice Hall International","author":"CA Hoare","year":"1985","unstructured":"Hoare C.A.R. Communicating Sequential Processes. Prentice Hall International, 1985."},{"key":"24_CR12","volume-title":"Springer Verlag","author":"K Jensen","year":"1991","unstructured":"K. Jensen. Coloured Petri Nets: a High Level Language for System Design and Analysis. High level Petri Nets. Theory and Application. Springer Verlag, 1991."},{"key":"24_CR13","unstructured":"Kalinichenko L.A. SYNTHESIS: a language for description, design and programming of interoperable information resource environment. Institute for Problems of Informatics of the Russian Academy of Sciences, September 1993, 113 p. (in Russian)"},{"key":"24_CR14","volume-title":"Declarative Framework for Capturing Dynamic Behavior in Heterogeneous Interoperable Information Resource Environment. Proceedings of the Ride -IMS93","author":"LA Kalinichenko","year":"1993","unstructured":"Kalinichenko L.A. A Declarative Framework for Capturing Dynamic Behavior in Heterogeneous Interoperable Information Resource Environment. Proceedings of the RIDE -IMS\u201993, Vienna, April 1993"},{"key":"24_CR15","volume-title":"Russian Academy of Sciences","author":"KL Specification","year":"1993","unstructured":"Kalinichenko L.A. Specification and implementation of dynamic behavior in the interoperable environment of information resources. Russian Academy of Sciences, IPIAN, Technical Report, October 1993"},{"key":"24_CR16","volume-title":"Emerging semantic-based interoperable information system technology. Computers as our better partners. Proceedings of the International IISF\/ACM Symposium","author":"LA Kalinichenko","year":"1994","unstructured":"Kalinichenko L.A. Emerging semantic-based interoperable information system technology. Computers as our better partners. Proceedings of the International IISF\/ACM Symposium, Tokyo, World Scientific, 1994"},{"key":"24_CR17","volume-title":"Moscow","author":"LA Kalinichenko","year":"1994","unstructured":"Kalinichenko L.A. Homogeneous localization of structural interactivity dependencies in megaprograms using scripts. Proceedings of the International Workshop on Advances in Databases and Information Systems (ADBIS\u201994), Moscow, May 1994"},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"Lustman F. Specifying transaction-based information systems with regular expressions. IEEE Transactions on Software Engineering, vol. 20, N 3, March 1994","DOI":"10.1109\/32.268922"},{"key":"24_CR19","volume-title":"Proceedings of the 18 International Conference on Very Large Data Bases,Vancouver","author":"L Liu","year":"1992","unstructured":"L. Liu, R. Meersman. Activity model: a declarative approach for capturing communication behavior in object-oriented databases. Proceedings of the 18 International Conference on Very Large Data Bases,Vancouver, August 1992."},{"key":"24_CR20","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF01228707","volume":"1","author":"MH Nodine","year":"1992","unstructured":"Nodine M.H., Zdonik S.B. Cooperative transaction hierarchies: transaction support for design applications. VLDB Journal, vol. 1, p. 41\u201380, 1992","journal-title":"Vldb Journal"},{"key":"24_CR21","unstructured":"Object Management Group, \u201cThe Common Object Request Broker: Architecture and Specification\u201d, OMG Document Number 91.12. 1, December 1991."},{"key":"24_CR22","volume-title":"The Distributed Operational Language for Specifying Multisystem Application Proceedings of the First International Conference on Systems Integration","author":"M Rusinkiewicz","year":"1990","unstructured":"M. Rusinkiewicz, S. Osterman, A. Elmagarmid, K. Loa. The Distributed Operational Language for Specifying Multisystem Application Proceedings of the First International Conference on Systems Integration, April 1990"},{"key":"24_CR23","unstructured":"A. Sheth, M. Rusinkiewicz, and G. Karabatis. Using Polytransactions to Manage Interdependent Data. Chapter 14, in [9]"},{"key":"24_CR24","volume-title":"The Z Notation","author":"JM Spivey","year":"1989","unstructured":"Spivey J.M. The Z Notation. A reference manual. Prentice-Hall, 1989"},{"key":"24_CR25","doi-asserted-by":"crossref","unstructured":"Wiederhold G., Wegner P., Ceri S. Toward megaprogramming CACM, v. 35, N 11, November 1992","DOI":"10.1145\/138844.138853"}],"container-title":["Workshops in Computing","East\/West Database Workshop"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3577-7_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T05:46:31Z","timestamp":1557812791000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3577-7_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199465","9781447135777"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3577-7_24","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}