{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T05:18:52Z","timestamp":1736227132625,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616566"},{"type":"electronic","value":"9783540706519"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0034693","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T20:05:30Z","timestamp":1134331530000},"page":"333-355","source":"Crossref","is-referenced-by-count":4,"title":["Formal specification, object oriented design, and implementation of an ephemeral logger for database systems"],"prefix":"10.1007","author":[{"given":"Paul","family":"Hennessey","sequence":"first","affiliation":[]},{"given":"Mohamed T.","family":"Ibrahim","sequence":"additional","affiliation":[]},{"given":"Alexander M.","family":"Fedorec","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"29_CR1","unstructured":"Aho et al. Compilers: Principles, Techniques and Tools. Addison Wesley. 1986."},{"issue":"4","key":"29_CR2","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MC.1979.1658743","volume":"13","author":"M. M. Astrahan","year":"1979","unstructured":"Astrahan, M. M. et al. An Overview of System R: A Relational Database System, IEEE Computer. 13(4): 42\u201355, 1979.","journal-title":"IEEE Computer"},{"key":"29_CR3","unstructured":"Bernstein, Philip A. Transaction Processing Monitors. Communications of the ACM, Nov 1993."},{"key":"29_CR4","unstructured":"Booch, G., Next Generation Methods: Bringing Order out of Chaos. C++ Report. 5(7). SIGS Publ. Sept 1993."},{"key":"29_CR5","unstructured":"Date, C. J. An Introduction to Database Systems. Vol 1. 5th ed. Addison Wesley."},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"Dayal et al. Third Generation TP Monitors: A Database Challenge. Proceedings of the 1993 ACM SIGMOD. Volume 22, Number 2, June 1993.","DOI":"10.1145\/170035.170093"},{"key":"29_CR7","unstructured":"Diller, A. Z: An Introduction to Formal Methods. 2nd Ed. Wiley, 1994."},{"key":"29_CR8","unstructured":"Elmagarmid et al. Introduction to Advanced Transaction Models. Database Transaction Models For Advanced Applications; Moprgan-Kaufmann, 1992"},{"key":"29_CR9","unstructured":"Elmasri & Navathe. Fundamentals of Database Systems. 2nd Ed. Addison Wesley 1994."},{"key":"29_CR10","unstructured":"Eppinger et al. Camelot and Avalon: A Distributed Transaction Facility. San Mateo, CA. Morgan Kaufman."},{"key":"29_CR11","unstructured":"Farr, T., Formal Methods \u2014 can they deliver their promise?, in Software Engineering for Technical Managers, Peter Peregrinus, 19\u201330, 1990."},{"key":"29_CR12","unstructured":"Fowler, M., OO Methods: A Comparative Overview. C++ Report. 5(7). SIGS Publ. Sep 1993."},{"key":"29_CR13","doi-asserted-by":"crossref","unstructured":"Garcia-Molina, H. & Salem, K. Sagas. Proceedings of the ACM Conference on Management of Data. May 1987.","DOI":"10.1145\/38713.38742"},{"key":"29_CR14","unstructured":"Gray, J. The Transaction Concept: Virtues and Limitations. Proceedings of the 7th International Conference on Very Large Data Bases. Sept 1981."},{"key":"29_CR15","unstructured":"Gray & Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufman 1993."},{"issue":"4","key":"29_CR16","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1145\/289.291","volume":"15","author":"T. Haerder","year":"1983","unstructured":"Haerder, T., & Reuter, A., Principles of Transaction-Oriented Database Recovery. ACM Computing Surveys. 15(4):287\u2013317 1983.","journal-title":"ACM Computing Surveys"},{"issue":"5","key":"29_CR17","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/52.57887","volume":"7","author":"A. Hall","year":"1990","unstructured":"Hall, A., Seven Myths of Formal Methods, IEEE Software, 7(5) 11\u201319, Sept 1990.","journal-title":"IEEE Software"},{"key":"29_CR18","unstructured":"Harel, D., Algorithmics: The Spirit of Computing. 2nd ed. Addison Wesley. 1992"},{"key":"29_CR19","unstructured":"Hayes, I., Specifying the CICS Application Programming Interface. Technical Monograph PRG \u2014 47, Oxford University Computing Laboratory, Programming Research Group July 1985."},{"key":"29_CR20","volume-title":"Transaction Processing and Workflow Management","author":"M. Hsu","year":"1994","unstructured":"Hsu, Meichun. Transaction Processing and Workflow Management. Digital Equipment Corporation Activity Management Group. Palo Alto, California. 1994."},{"key":"29_CR21","unstructured":"Jacobsen, I. et al. Object-Oriented Software Engineering: A Use case Driven Approach. Addison Wesley. 1992."},{"key":"29_CR22","unstructured":"Keen, J. S., Logging and Recovery in a Highly Concurrent Database. PhD Thesis, MIT 1994."},{"key":"29_CR23","doi-asserted-by":"crossref","unstructured":"Keen, J. S. & Dally, W. J. Performance Evaluation of Ephemeral Logging. SIGMOD May 1993.","DOI":"10.1145\/170035.170070"},{"key":"29_CR24","doi-asserted-by":"crossref","unstructured":"Klein, J., & Reuter, A. Migrating Transactions. Workshop on the future Trends of Distributed Computing Systems. 512\u2013520 1988.","DOI":"10.1109\/FTDCS.1988.26735"},{"key":"29_CR25","unstructured":"Knuth, D. E. The Art of Computer Programming. Vol 1. Fundamental Algorithms. 2e. Addison Wesley, 1973."},{"key":"29_CR26","unstructured":"Leu, Y. et al. An Extended Transaction Model for Multidatabase Systems. Purdue University, CSD-TR925."},{"key":"29_CR27","doi-asserted-by":"crossref","unstructured":"Lieberman, H & Hewitt, C. A Real-Time Garbage Collector Based on the Lifetime of Objects. Communications of the ACM, Jun 1983.","DOI":"10.1145\/358141.358147"},{"key":"29_CR28","doi-asserted-by":"crossref","unstructured":"Liskov, B. Distributed Programming in Argus. CACM. 31(3) 1988","DOI":"10.1145\/42392.42399"},{"key":"29_CR29","unstructured":"Malaika, Susan. A Tale of a Transaction Monitor. IEEE Computer Society Special Issue on TP Monitors and distributed transaction Management 1994."},{"key":"29_CR30","unstructured":"Meyer, B. Object-oriented Software Construction. Prentice Hall. 1988."},{"key":"29_CR31","unstructured":"Mohan & Rothermel. ARIES\/NT: A Recovery Method Based on Write-Ahead Logging for Nested Transactions. Proc. International Conference on Very Large Databases. 1989."},{"key":"29_CR32","unstructured":"Moss, J. E. Nested Transactions: An Approach to Reliable Distributed Computing. PhD Thesis, MIT 1981."},{"key":"29_CR33","unstructured":"OTM Spectrum Reports. Nov 1992."},{"key":"29_CR34","unstructured":"OTM Spectrum Reports. Vol 7. Report 1. Feb 1993."},{"key":"29_CR35","unstructured":"Reuter, A. ConTracts: A Means for Extending Control Beyond Transaction Boundaries. 3rd International Workshop on High Performance Transaction Systems."},{"key":"29_CR36","unstructured":"Rumbaugh, J., et al. Object-Oriented Modeling and Design. Prentice hall. 1991."},{"key":"29_CR37","unstructured":"Spivey, J. M., An introduction to Z and formal specifications. S\/W Eng Journal. 330\u2013338, Nov. 1989."},{"issue":"7","key":"29_CR38","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1145\/358699.358703","volume":"24","author":"M. Stonebraker","year":"1981","unstructured":"Stonebraker, M., Operating System Support for Database Management. CACM. 24(7):412\u2013418, 1981.","journal-title":"CACM"},{"key":"29_CR39","unstructured":"Ungar, D.M. The Design and Evaluation of a High Performance Smalltalk System. Ch 5, pp82\u2013121. ACM Distinguished Dissertations 1986."},{"key":"29_CR40","unstructured":"Frost, S., The Select Perspective: Developing Enterprise Systems Using Object technology, Select Software Tools Inc., 1995."}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0034693","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T12:30:12Z","timestamp":1736166612000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0034693"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616566","9783540706519"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/bfb0034693","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}