{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:51:19Z","timestamp":1760586679040},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642173578"},{"type":"electronic","value":"9783642173585"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45005-1_32","type":"book-chapter","created":{"date-parts":[[2013,11,27]],"date-time":"2013-11-27T04:53:14Z","timestamp":1385527994000},"page":"437-445","source":"Crossref","is-referenced-by-count":3,"title":["Reasoning on UML Data-Centric Business Process Models"],"prefix":"10.1007","author":[{"given":"Montserrat","family":"Esta\u00f1ol","sequence":"first","affiliation":[]},{"given":"Maria-Ribera","family":"Sancho","sequence":"additional","affiliation":[]},{"given":"Ernest","family":"Teniente","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"32_CR1","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1613\/jair.3826","volume":"46","author":"B. Bagheri Hariri","year":"2013","unstructured":"Bagheri Hariri, B., Calvanese, D., Montali, M., De Giacomo, G., De Masellis, R., Felli, P.: Description logic knowledge and action bases. J. Artif. Intell. Res (JAIR)\u00a046, 651\u2013686 (2013)","journal-title":"J. Artif. Intell. Res (JAIR)"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"Bagheri Hariri, B., et al.: Verification of relational data-centric dynamic systems with external services. In: PODS, pp. 163\u2013174. ACM (2013)","DOI":"10.1145\/2463664.2465221"},{"key":"32_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-642-33203-6_4","volume-title":"Web Reasoning and Rule Systems","author":"D. Calvanese","year":"2012","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Montali, M., Santoso, A.: Ontology-based governance of data-aware processes. In: Kr\u00f6tzsch, M., Straccia, U. (eds.) RR 2012. LNCS, vol.\u00a07497, pp. 25\u201341. Springer, Heidelberg (2012)"},{"issue":"1","key":"32_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1921532.1921561","volume":"36","author":"C. Choppy","year":"2011","unstructured":"Choppy, C., Klai, K., Zidani, H.: Formal verification of UML state diagrams: a Petri net based approach. ACM SIGSOFT Soft. Eng. Notes\u00a036(1), 1\u20138 (2011)","journal-title":"ACM SIGSOFT Soft. Eng. Notes"},{"issue":"3","key":"32_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2338626.2338628","volume":"37","author":"E. Damaggio","year":"2012","unstructured":"Damaggio, E., Deutsch, A., Vianu, V.: Artifact systems with data dependencies and arithmetic. ACM Transactions on Database Systems\u00a037(3), 1\u201336 (2012)","journal-title":"ACM Transactions on Database Systems"},{"issue":"1","key":"32_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1125808.1125809","volume":"15","author":"R. Eshuis","year":"2006","unstructured":"Eshuis, R.: Symbolic model checking of UML activity diagrams. ACM Trans. Softw. Eng. Methodol.\u00a015(1), 1\u201338 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"32_CR7","series-title":"Lecture Notes in Computer Science","first-page":"292","volume-title":"Data Base Design Techniques I","author":"M. Esta\u00f1ol","year":"1982","unstructured":"Esta\u00f1ol, M., Queralt, A., Sancho, M.-R., Teniente, E.: Artifact-centric business process models in UML. In: Yao, S.B., Weldon, J.L., Navathe, S., Kunii, T.L. (eds.) Data Base Design Techniques 1978. LNCS, vol.\u00a0132, pp. 292\u2013303. Springer, Heidelberg (1982)"},{"key":"32_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-540-74974-5_15","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"C.E. Gerede","year":"2007","unstructured":"Gerede, C.E., Su, J.: Specification and verification of artifact behaviors in business process models. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 181\u2013192. Springer, Heidelberg (2007)"},{"issue":"12","key":"32_CR9","doi-asserted-by":"publisher","first-page":"1631","DOI":"10.1016\/j.infsof.2009.04.009","volume":"51","author":"F.J. Lucas","year":"2009","unstructured":"Lucas, F.J., Molina, F., \u00c1lvarez, J.A.T.: A systematic review of UML model consistency management. Information & Software Technology\u00a051(12), 1631\u20131645 (2009)","journal-title":"Information & Software Technology"},{"key":"32_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-642-02144-2_9","volume-title":"Advanced Information Systems Engineering","author":"A. Queralt","year":"2009","unstructured":"Queralt, A., Teniente, E.: Reasoning on UML conceptual schemas with operations. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol.\u00a05565, pp. 47\u201362. Springer, Heidelberg (2009)"},{"issue":"2","key":"32_CR11","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/2089116.2089123","volume":"21","author":"A. Queralt","year":"2012","unstructured":"Queralt, A., Teniente, E.: Verification and validation of UML conceptual schemas with OCL constraints. ACM Trans. Softw. Eng. Methodol.\u00a021(2), 13 (2012)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"32_CR12","volume-title":"Database Modeling and Design","author":"T. Teorey","year":"2006","unstructured":"Teorey, T., Lightstone, S., Nadeau, T.: Database Modeling and Design, 4th edn. Morgan Kaufmann, San Francisco (2006)","edition":"4"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45005-1_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T17:54:22Z","timestamp":1558720462000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45005-1_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642173578","9783642173585"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45005-1_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}