{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T15:10:04Z","timestamp":1742915404781,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662444702"},{"type":"electronic","value":"9783662444719"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44471-9_12","type":"book-chapter","created":{"date-parts":[[2014,9,9]],"date-time":"2014-09-09T07:10:19Z","timestamp":1410246619000},"page":"251-275","source":"Crossref","is-referenced-by-count":1,"title":["Verifiable Object-Oriented Transactions"],"prefix":"10.1007","author":[{"given":"Suad","family":"Alagi\u0107","sequence":"first","affiliation":[]},{"given":"Adnan","family":"Fazeli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Alagi\u0107, S., Anumula, A., Yonezawa, A.: Verifiable constraints for ambients of persistent objects. In: Advances in Software, vol.\u00a04, pp. 461\u2013470 (2011)"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-642-16092-9_11","volume-title":"Objects and Databases","author":"S. Alagi\u0107","year":"2010","unstructured":"Alagi\u0107, S., Bernstein, P.A., Jairath, R.: Object-oriented constraints for XML Schema. In: Dearle, A., Zicari, R.V. (eds.) ICOODB 2010. LNCS, vol.\u00a06348, pp. 100\u2013117. Springer, Heidelberg (2010)"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-14681-7_2","volume-title":"Object Databases","author":"S. Alagi\u0107","year":"2010","unstructured":"Alagi\u0107, S., Royer, M., Briggs, D.: Verification technology for object-oriented\/XML transactions. In: Norrie, M.C., Grossniklaus, M. (eds.) Object Databases. LNCS, vol.\u00a05936, pp. 23\u201340. Springer, Heidelberg (2010)"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-540-24607-7_6","volume-title":"Database Programming Languages","author":"S. Alagi\u0107","year":"2004","unstructured":"Alagi\u0107, S., Logan, J.: Consistency of Java transactions. In: Lausen, G., Suciu, D. (eds.) DBPL 2003. LNCS, vol.\u00a02921, pp. 71\u201389. Springer, Heidelberg (2004)"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Alagi\u0107, S.: The ODMG object model: does it make sense? In: Proceedings of OOPSLA, pp. 253\u2013270. ACM (1997)","DOI":"10.1145\/263700.263746"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/978-3-642-22655-7_23","volume-title":"ECOOP 2011 \u2013 Object-Oriented Programming","author":"I.G. Baltopoulos","year":"2011","unstructured":"Baltopoulos, I.G., Borgstr\u00f6m, J., Gordon, A.D.: Maintaining database integrity with refinement types. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol.\u00a06813, pp. 484\u2013509. Springer, Heidelberg (2011)"},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/BF01231645","volume":"4","author":"V. Benzaken","year":"1994","unstructured":"Benzaken, V., Doucet, D.: Themis: A database language handling integrity constraints. VLDB Journal\u00a04, 493\u2013517 (1994)","journal-title":"VLDB Journal"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/BFb0053374","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"V. Benzanken","year":"1997","unstructured":"Benzanken, V., Schaefer, X.: Static integrity constraint management in object-oriented database programming languages via predicate transformers. In: Ak\u015fit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 60\u201384. Springer, Heidelberg (1997)"},{"key":"12_CR9","unstructured":"Cattell, R.G.G., Barry, D., Berler, M., Eastman, J., Jordan, D., Russell, C., Schadow, O., Stanienda, T., Velez, F.: The Object Data Standard: ODMG 3.0. Morgan Kaufmann (2000)"},{"key":"12_CR10","unstructured":"Db4 objects (2010), \n                  \n                    http:\/\/www.db4o.com"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"624","DOI":"10.1145\/360363.360369","volume":"19","author":"K.P. Eswaran","year":"1976","unstructured":"Eswaran, K.P., Grey, J.N., Lorie, R.A., Traiger, I.L.: The notions of consistency and predicate locks in a database system. Comm. of the ACM\u00a019, 624\u2013633 (1976)","journal-title":"Comm. of the ACM"},{"key":"12_CR12","unstructured":"Java Data Objects, Apache, \n                  \n                    http:\/\/db.apache.org\/jdo\/"},{"key":"12_CR13","unstructured":"Java Modeling Language, \n                  \n                    http:\/\/www.eecs.ucf.edu\/leavens\/JML\/"},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1016\/j.scico.2005.03.001","volume":"57","author":"S. Jagannathan","year":"2005","unstructured":"Jagannathan, S., Vitek, J., Welc, A., Hosking, A.: A transactional object calculus. Science of Computer Programming\u00a057, 164\u2013186 (2005)","journal-title":"Science of Computer Programming"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Leino, K.R., Muller, P.: Using Spec# language, methodology, and tools to write bug-free programs. Microsoft Research (2010), \n                  \n                    http:\/\/research.microsoft.com\/en-us\/projects\/specsharp\/","DOI":"10.1007\/978-3-642-13010-6_4"},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B. Liskov","year":"1994","unstructured":"Liskov, B., Wing, J.M.: A behavioral notion of subtyping. ACM TOPLAS\u00a016, 1811\u20131841 (1994)","journal-title":"ACM TOPLAS"},{"key":"12_CR17","unstructured":"Language Integrated Query, Microsoft Corporation, \n                  \n                    http:\/\/msdn.microsoft.com\/en-us\/vbasic\/aa904594.aspx"},{"key":"12_CR18","unstructured":"Atkinson, M.P., Dayn\u00e8s, L., Jordan, M.J., Printezis, T., Spence, S.: An orthogonally persistent Java. ACM SIGMOD Record\u00a015(4) (1966)"},{"key":"12_CR19","unstructured":"Microsoft Corp., Spec#, \n                  \n                    http:\/\/research.microsoft.com\/specsharp\/"},{"key":"12_CR20","unstructured":"Objectivity, \n                  \n                    http:\/\/www.objectivity.com\/"},{"key":"12_CR21","unstructured":"Owre, S., Shankar, N., Rushby, J.M., Stringer-Clavert, D.W.J.: PVS Language Reference, SRI International. Computer Science Laboratory, Menlo Park, California, \n                  \n                    http:\/\/pvs.csl.sri.com\/doc\/pvs-language-reference.pdf"},{"key":"12_CR22","doi-asserted-by":"publisher","first-page":"59","DOI":"10.5381\/jot.2007.6.10.a1","volume":"6","author":"M. Royer","year":"2007","unstructured":"Royer, M., Alagi\u0107, S., Dillon, D.: Reflective constraint management for languages on virtual platforms. Journal of Object Technology\u00a06, 59\u201379 (2007)","journal-title":"Journal of Object Technology"},{"key":"12_CR23","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1145\/68012.68014","volume":"14","author":"T. Sheard","year":"1989","unstructured":"Sheard, T., Stemple, D.: Automatic verification of database transaction safety. ACM Transactions on Database Systems\u00a014, 322\u2013368 (1989)","journal-title":"ACM Transactions on Database Systems"},{"key":"12_CR24","doi-asserted-by":"crossref","unstructured":"Smaragdakis, Y., Kay, A., Behrends, R., Young, M.: Transactions with isolation and cooperation. In: Proceedings of OOPSLA 2007. ACM (2007)","DOI":"10.1145\/1297027.1297042"},{"key":"12_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1007\/3-540-49059-0_26","volume-title":"Tools and Algorithms for the Construction of Analysis of Systems","author":"D. Spelt","year":"1999","unstructured":"Spelt, D., Even, S.: A theorem prover-based analysis tool for object-oriented databases. In: Cleaveland, W.R. (ed.) TACAS 1999. LNCS, vol.\u00a01579, pp. 375\u2013389. Springer, Heidelberg (1999)"},{"key":"12_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/11785477_8","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"A. Welc","year":"2006","unstructured":"Welc, A., Hosking, A.L., Jia, L.: Transparently reconciling transactions with locking for Java synchronization. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol.\u00a04067, pp. 148\u2013173. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Concurrent Objects and Beyond"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44471-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T23:05:35Z","timestamp":1558307135000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44471-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662444702","9783662444719"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44471-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}