{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T03:40:06Z","timestamp":1746416406981,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662453902"},{"type":"electronic","value":"9783662453919"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-662-45391-9_25","type":"book-chapter","created":{"date-parts":[[2014,10,10]],"date-time":"2014-10-10T04:01:44Z","timestamp":1412913704000},"page":"359-367","source":"Crossref","is-referenced-by-count":9,"title":["Weak Conformance between Process Models and Synchronized Object Life Cycles"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Meyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Weske","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"25_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of Workflow Nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"key":"25_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45594-9_11","volume-title":"Business Process Management","author":"W.M.P. Aalst van der","year":"2000","unstructured":"van der Aalst, W.M.P.: Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol.\u00a01806, pp. 161\u2013183. Springer, Heidelberg (2000)"},{"issue":"3","key":"25_CR3","first-page":"3","volume":"32","author":"D. Cohn","year":"2009","unstructured":"Cohn, D., Hull, R.: Business Artifacts: A Data-centric Approach to Modeling Business Operations and Processes. IEEE Data Engineering Bulletin\u00a032(3), 3\u20139 (2009)","journal-title":"IEEE Data Engineering Bulletin"},{"issue":"12","key":"25_CR4","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"R.M. Dijkman","year":"2008","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and Analysis of Business Process Models in BPMN. Information & Software Technology\u00a050(12), 1281\u20131294 (2008)","journal-title":"Information & Software Technology"},{"issue":"1","key":"25_CR5","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 Transactions on Software Engineering and Methodology (TOSEM)\u00a015(1), 1\u201338 (2006)","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"},{"key":"25_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-03848-8_19","volume-title":"Business Process Management","author":"D. Fahland","year":"2009","unstructured":"Fahland, D., Favre, C., Jobstmann, B., Koehler, J., Lohmann, N., V\u00f6lzer, H., Wolf, K.: Instantaneous Soundness Checking of Industrial Business Process Models. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) BPM 2009. LNCS, vol.\u00a05701, pp. 278\u2013293. Springer, Heidelberg (2009)"},{"key":"25_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-642-23059-2_26","volume-title":"Business Process Management","author":"D. Fahland","year":"2011","unstructured":"Fahland, D., de Leoni, M., van Dongen, B.F., van der Aalst, W.M.P.: Conformance Checking of Interacting Processes with Overlapping Instances. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol.\u00a06896, pp. 345\u2013361. Springer, Heidelberg (2011)"},{"issue":"2","key":"25_CR8","first-page":"19","volume":"2","author":"V. K\u00fcnzle","year":"2011","unstructured":"K\u00fcnzle, V., Weber, B., Reichert, M.: Object-aware Business Processes: Fundamental Requirements and their Support in Existing Approaches. IJISMD\u00a02(2), 19\u201346 (2011)","journal-title":"IJISMD"},{"key":"25_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-540-75183-0_13","volume-title":"Business Process Management","author":"J.M. K\u00fcster","year":"2007","unstructured":"K\u00fcster, J.M., Ryndina, K., Gall, H.C.: Generation of Business Process Models for Object Life Cycle Compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 165\u2013181. Springer, Heidelberg (2007)"},{"issue":"4","key":"25_CR10","doi-asserted-by":"publisher","first-page":"14","DOI":"10.4018\/jdm.2010100102","volume":"21","author":"R. Liu","year":"2010","unstructured":"Liu, R., Wu, F.Y., Kumaran, S.: Transforming Activity-Centric Business Process Models into Information-Centric Models for SOA Solutions. J. Database Manag.\u00a021(4), 14\u201334 (2010)","journal-title":"J. Database Manag."},{"key":"25_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-642-23059-2_11","volume-title":"Business Process Management","author":"N. Lohmann","year":"2011","unstructured":"Lohmann, N.: Compliance by design for artifact-centric business processes. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol.\u00a06896, pp. 99\u2013115. Springer, Heidelberg (2011)"},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"Martens, A.: On Usability of Web Services. In: Web Information Systems Engineering Workshops, pp. 182\u2013190. IEEE (2003)","DOI":"10.1109\/WISEW.2003.1286801"},{"key":"25_CR13","unstructured":"Meyer, A., Polyvyanyy, A., Weske, M.: Weak Conformance of Process Models with respect to Data Objects. In: Services and their Composition (ZEUS), pp. 74\u201380 (2012)"},{"key":"25_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1007\/978-3-319-07881-6_22","volume-title":"Advanced Information Systems Engineering","author":"A. Meyer","year":"2014","unstructured":"Meyer, A., Pufahl, L., Batoulis, K., Kruse, S., Lindhauer, T., Stoff, T., Fahland, D., Weske, M.: Automating Data Exchange in Process Choreographies. In: Jarke, M., Mylopoulos, J., Quix, C., Rolland, C., Manolopoulos, Y., Mouratidis, H., Horkoff, J. (eds.) CAiSE 2014. LNCS, vol.\u00a08484, pp. 316\u2013331. Springer, Heidelberg (2014)"},{"key":"25_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-642-40176-3_14","volume-title":"Business Process Management","author":"A. Meyer","year":"2013","unstructured":"Meyer, A., Pufahl, L., Fahland, D., Weske, M.: Modeling and Enacting Complex Data Dependencies in Business Processes. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol.\u00a08094, pp. 171\u2013186. Springer, Heidelberg (2013)"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Meyer, A., Weske, M.: Weak Conformance between Process Models and Object Life Cycles. Tech. rep., Hasso Plattner Institute at the University of Potsdam (2014)","DOI":"10.1007\/978-3-662-45391-9_25"},{"issue":"3","key":"25_CR17","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1147\/sj.423.0428","volume":"42","author":"A. Nigam","year":"2003","unstructured":"Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal\u00a042(3), 428\u2013445 (2003)","journal-title":"IBM Systems Journal"},{"key":"25_CR18","unstructured":"OMG: Business Process Model and Notation (BPMN), Version 2.0 (January 2011)"},{"key":"25_CR19","unstructured":"OMG: Unified Modeling Language (UML), Version 2.4.1 (August 2011)"},{"key":"25_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-540-69489-2_11","volume-title":"Models in Software Engineering","author":"K. Ryndina","year":"2007","unstructured":"Ryndina, K., K\u00fcster, J.M., Gall, H.C.: Consistency of Business Process Models and Object Life Cycles. In: K\u00fchne, T. (ed.) MoDELS 2006. LNCS, vol.\u00a04364, pp. 80\u201390. Springer, Heidelberg (2007)"},{"key":"25_CR21","unstructured":"Wang, Z., ter Hofstede, A.H.M., Ouyang, C., Wynn, M., Wang, J., Zhu, X.: How to Guarantee Compliance between Workflows and Product Lifecycles? Tech. rep., BPM Center Report BPM-11-10 (2011)"},{"key":"25_CR22","doi-asserted-by":"crossref","unstructured":"Weske, M.: Business Process Management: Concepts, Languages, Architectures, 2nd edn. Springer (2012)","DOI":"10.1007\/978-3-642-28616-2"},{"key":"25_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-642-32885-5_23","volume-title":"Business Process Management","author":"S. Yongchareon","year":"2012","unstructured":"Yongchareon, S., Liu, C., Zhao, X.: A Framework for Behavior-Consistent Specialization of Artifact-Centric Business Processes. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol.\u00a07481, pp. 285\u2013301. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-45391-9_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T02:58:40Z","timestamp":1746413920000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-45391-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662453902","9783662453919"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-45391-9_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}