{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:15:48Z","timestamp":1725488148019},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540672012"},{"type":"electronic","value":"9783540464662"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-46466-2_13","type":"book-chapter","created":{"date-parts":[[2007,8,4]],"date-time":"2007-08-04T08:40:32Z","timestamp":1186216832000},"page":"231-245","source":"Crossref","is-referenced-by-count":1,"title":["Transactional Computation: Overview and Discussion"],"prefix":"10.1007","author":[{"given":"Alfs T.","family":"Berztiss","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,6,9]]},"reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"758","DOI":"10.1145\/76359.76363","volume":"36","author":"S. Abiteboul","year":"1989","unstructured":"S. Abiteboul and V. Vianu. A Transaction-based Approach to Relational Database Specification. Journal of the ACM, 36:758\u2013789, 1989.","journal-title":"Journal of the ACM"},{"key":"13_CR2","first-page":"814","volume":"17","author":"B. Babin","year":"1991","unstructured":"B. Babin, F. Lustman, and P. Shoval. Specification and Design of Transactions in Information Systems: A Formal Approach. ACM Transactions on Information Systems, 17:814\u2013829, 1991.","journal-title":"ACM Transactions on Information Systems"},{"key":"13_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1007\/3-540-48309-8_48","volume-title":"Database and Expert System Applications, Proc. of the 10th Int. Conf., DEXA\u201999","author":"M. D. Beer","year":"1999","unstructured":"M. D. Beer, T. J. M. Bench-Capon, and A. Sixsmith. Dialogue Management in a Virtual College. In Database and Expert System Applications, Proc. of the 10th Int. Conf., DEXA\u201999, pages 521\u2013530, Lecture Notes in Computer Science, Vol. 1677, Springer-Verlag, 1999."},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B. Berthomieu","year":"1991","unstructured":"B. Berthomieu and M. Diaz. Modeling and Verification of Time Dependent Systems Using Time Petri Nets. IEEE Transaction on Software Engineering, 17:259\u2013273, 1991.","journal-title":"IEEE Transaction on Software Engineering"},{"key":"13_CR5","unstructured":"A. T. Berztiss. A Linkage Mechanism for Transactions. Available from the author."},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"813","DOI":"10.1109\/69.243511","volume":"5","author":"A. T. Berztiss","year":"1993","unstructured":"A. T. Berztiss. The Query Language Vizla. IEEE Transactions on Knowledge and Data Engineering, 5:813\u2013825, 1993.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"A. T. Berztiss. Software Methods for Business Reengineering. Springer-Verlag, 1995.","DOI":"10.1007\/978-1-4612-3980-2"},{"key":"13_CR8","unstructured":"T. H. Davenport. Process Innovation: Reengineering Work through Information Technology. Harvard Business School Press, 1993."},{"key":"13_CR9","unstructured":"B. de Brock. Foundations of Semantic Databases. Prentice Hall, 1995."},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"D. Harel. Statecharts: a Visual Formalism for Complex Systems. Science of Computer Programming, 8:231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"13_CR11","unstructured":"M. Jackson and G. Twaddle. Business Process Implementation: Building Workflow Systems. Addison-Wesley, 1997."},{"issue":"2","key":"13_CR12","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/226163.226166","volume":"14","author":"R. Jungclaus","year":"1996","unstructured":"R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Troll \u2014 A Language for Object-Oriented Specification of Information Systems. ACM Transactions on Information Systems, 14(2):175\u2013211, April 1996.","journal-title":"ACM Transactions on Information Systems"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"F. Kroger. Temporal Logic of Programs. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-71549-5"},{"key":"13_CR14","unstructured":"R. Kurki-Suonio and R. Mikkonen. Harnessing the Power of Interaction. In H. Jaakkola, H. Kangassalo, and H. Kawaguchi, editors, Information Modelling and Knowledge Bases X, pages 1\u201311, IOS Press, 1999."},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"P. Medina-Mora, T. Winograd, R. Flores, and C. F. Flores. The Action Workflow Approach to Workflow Management Technology. In J. Turner and R. Kraut, editors, Proc. 4th Conf. Computer-Supported Cooperative Work, pages 281\u2013288, ACM Press, 1992.","DOI":"10.1145\/143457.143530"},{"key":"13_CR16","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/S0065-2458(08)60379-4","volume":"39","author":"T. A. Mueck","year":"1994","unstructured":"T. A. Mueck. Active Databases: Concepts and Design Support. In Advances in Computers, pages 107\u2013189, Vol. 39, Academic Press, 1994.","journal-title":"Advances in Computers"},{"issue":"1","key":"13_CR17","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0169-023X(91)90015-P","volume":"6","author":"G. Saake","year":"1991","unstructured":"G. Saake. Descriptive Specification of Database Object Behaviour. Data & Knowledge Engineering, 6(1):47\u201374, 1991.","journal-title":"Data & Knowledge Engineering"},{"key":"13_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-49450-2","volume-title":"Workflow Management Systems for Process Organization","author":"T. Schael","year":"1998","unstructured":"T. Schael. Workflow Management Systems for Process Organization, Lecture Notes in Computer Science, Vol. 1096. Springer-Verlag, 2 edition, 1998.","edition":"2 edition"},{"key":"13_CR19","unstructured":"K.-D. Schewe. Specification and Development of Correct Relational Database Programs. Technical report, TU Clausthal, 1995."},{"key":"13_CR20","unstructured":"K.-D. Schewe and B. Schewe. Integrating Database and Dialogue Design. To appear in Knowledge & Information Systems."},{"key":"13_CR21","first-page":"277","volume":"13","author":"K.-D. Schewe","year":"1998","unstructured":"K.-D. Schewe and B. Thalheim. Limits of Rule Triggering Systems for Integrity Maintenance in the Context of Transition Specifications. Acta Cybernetica, 13:277\u2013304, 1998.","journal-title":"Acta Cybernetica"},{"key":"13_CR22","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/s002360050155","volume":"36","author":"K.-D. Schewe","year":"1999","unstructured":"K.-D. Schewe and B. Thalheim. Towards a Theory of Consistency Enforcement. Acta Informatica, 36:97\u2013141, 1999.","journal-title":"Acta Informatica"},{"key":"13_CR23","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1109\/69.390251","volume":"7","author":"A. P. Sistla","year":"1995","unstructured":"A. P. Sistla and O. Wolfson. Temporal Triggers in Active Databases. IEEE Transactions on Knowledge and Data Engineering, 7:471\u2013486, 1995.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"issue":"3","key":"13_CR24","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1145\/27629.27631","volume":"12","author":"M. Stonebraker","year":"1987","unstructured":"M. Stonebraker, J. Anton, and E. Hanson. Extending a Database System with Procedures. ACM Transactions on Database Systems, 12(3):350\u2013376, September 1987.","journal-title":"ACM Transactions on Database Systems"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"M. Thorin. Real-time Transaction Processing. Macmillan, 1992.","DOI":"10.1007\/978-1-349-12409-1"},{"key":"13_CR26","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/BF01941129","volume":"28","author":"W. M. Turski","year":"1988","unstructured":"W. M. Turski. Time Considered Irrelevant for Real-time Systems. BIT, 28:473\u2013486, 1988.","journal-title":"BIT"},{"issue":"5","key":"13_CR27","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1145\/253769.253801","volume":"40","author":"P. Wegner","year":"1997","unstructured":"P. Wegner. Why Interaction is more Powerful than Algorithms. Communications of the ACM, 40(5):80\u201391, May 1997.","journal-title":"Communications of the ACM"},{"key":"13_CR28","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/319628.319656","volume":"6","author":"C. Welty","year":"1981","unstructured":"C. Welty and D. W. Stemple. Human Factors Comparison of a Procedural and a Nonprocedural Query Language. ACM Transactions on Database System, 6:626\u2013649, 1981.","journal-title":"ACM Transactions on Database System"},{"key":"13_CR29","doi-asserted-by":"crossref","unstructured":"M. Weske and G. Vossen. Workflow Languages. In P. Bernus, K. Mertins, and G. Schmidt, editors, Handbook on Architectures of Information Systems, pages 359\u2013379, Springer-Verlag, 1998.","DOI":"10.1007\/978-3-662-03526-9_16"}],"container-title":["Lecture Notes in Computer Science","Transactions and Database Dynamics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46466-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:06:15Z","timestamp":1556737575000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46466-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540672012","9783540464662"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-46466-2_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}