{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:43:33Z","timestamp":1725551013843},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664482"},{"type":"electronic","value":"9783540483090"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48309-8_77","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:14:41Z","timestamp":1269897281000},"page":"822-831","source":"Crossref","is-referenced-by-count":2,"title":["Transactional Computation"],"prefix":"10.1007","author":[{"given":"Alfs","family":"Berztiss","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,6,18]]},"reference":[{"key":"77_CR1","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Science of Comp. Prog. 8 (1987) 231\u2013274.","journal-title":"Science of Comp. Prog."},{"key":"77_CR2","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1145\/27629.27631","volume":"12","author":"M. Stonebraker","year":"1987","unstructured":"Stonebraker, M., Anton, J., Hanson, E.: Extending a database system with procedures. ACM Trans. Database Syst. 12 (1987) 350\u2013376.","journal-title":"ACM Trans. Database Syst."},{"key":"77_CR3","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/S0065-2458(08)60379-4","volume":"39","author":"T.A. Mueck","year":"1994","unstructured":"Mueck, T.A.: Active databases: concepts and design support. Advances in Computers, Vol. 39. Academic Press (1994) 107\u2013189.","journal-title":"Advances in Computers"},{"key":"77_CR4","doi-asserted-by":"crossref","unstructured":"Thorin, M.: Real-time Transaction Processing. Macmillan (1992).","DOI":"10.1007\/978-1-349-12409-1"},{"key":"77_CR5","doi-asserted-by":"publisher","first-page":"814","DOI":"10.1109\/32.83916","volume":"17","author":"G. Babin","year":"1991","unstructured":"Babin, G., Lustman, F., Shoval, P.: Specification and design of transactions in information systems: a formal approach. IEEE Trans. Software Eng. 17 (1991) 814\u2013829.","journal-title":"IEEE Trans. Software Eng."},{"key":"77_CR6","unstructured":"Elmagarmid, A.K., Leu, Y., Mullen, J.G., Bukhres, O.: Introduction to advanced transaction models. In: Elmagarmid, A.K. (ed.): Database Transaction Models for Advanced Applications. Morgan Kaufmann (1992) 33\u201352."},{"key":"77_CR7","unstructured":"Berztiss, A.: Programming with Generators-An Introduction. Ellis Horwood (1990)."},{"key":"77_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1007\/3-540-08766-4_10","volume-title":"The Vienna Development Method: The Meta-Language","author":"C.B. Jones","year":"1978","unstructured":"Jones, C.B.: The metalanguage: a reference manual. In: Bjorner, D., Jones, C.B. (eds.): The Vienna Development Method: The Meta-Language. Lecture Notes in Computer Science, Vol. 61. Springer-Verlag (1978) 218\u2013277."},{"key":"77_CR9","unstructured":"Spivey, J.M.: Understanding Z. Cambridge University Press (1988)."},{"key":"77_CR10","unstructured":"Cohen, B.W., Harwood, W.T., Jackson, M.I.: The Specification of Complex Systems. Addison-Wesley (1986)."},{"key":"77_CR11","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1145\/226241.226249","volume":"4","author":"D. Jackson","year":"1995","unstructured":"Jackson, D.: Structuring Z specifications with views. ACM. Trans. Software Eng. and Methodology 4 (1995) 365\u2013389.","journal-title":"ACM. Trans. Software Eng. and Methodology"},{"key":"77_CR12","unstructured":"Morgan, C.: Telephone network. In: Hayes, I. (ed.): Specification Case Studies. Prentice-Hall (1987) 73\u201387."},{"key":"77_CR13","doi-asserted-by":"crossref","unstructured":"Berztiss, A.: Software Methods for Business Reengineering. Springer (1996).","DOI":"10.1007\/978-1-4612-3980-2"},{"key":"77_CR14","unstructured":"Davenport, T.H.: Process Innovation-Reengineering Work through Information Technology. Harvard Business School Press (1993)."},{"key":"77_CR15","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. Software Eng. 17 (1991) 259\u2013273.","journal-title":"IEEE Trans. Software Eng."},{"key":"77_CR16","unstructured":"Berztiss, A.T.: A linkage mechanism for transactions. To be published."},{"key":"77_CR17","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/319628.319656","volume":"6","author":"C. Welty","year":"1981","unstructured":"Welty, C., Stemple, D.W.: Human factors comparison of a procedural and a nonprocedural query language. ACM Trans. Database Syst. 6 (1981) 626\u2013649.","journal-title":"ACM Trans. Database Syst."},{"key":"77_CR18","doi-asserted-by":"publisher","first-page":"813","DOI":"10.1109\/69.243511","volume":"5","author":"A.T. Berztiss","year":"1993","unstructured":"Berztiss, A.T.: The query language Vizla. IEEE Trans. Knowledge and Data Engineering 5 (1993) 813\u2013825.","journal-title":"IEEE Trans. Knowledge and Data Engineering"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48309-8_77","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T02:19:05Z","timestamp":1550974745000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48309-8_77"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664482","9783540483090"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-48309-8_77","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}