{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T21:09:47Z","timestamp":1743023387786,"version":"3.40.3"},"publisher-location":"New York, NY","reference-count":58,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781461475170"},{"type":"electronic","value":"9781461475187"}],"license":[{"start":{"date-parts":[[2013,9,4]],"date-time":"2013-09-04T00:00:00Z","timestamp":1378252800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,9,4]],"date-time":"2013-09-04T00:00:00Z","timestamp":1378252800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-1-4614-7518-7_5","type":"book-chapter","created":{"date-parts":[[2013,9,3]],"date-time":"2013-09-03T06:17:42Z","timestamp":1378189062000},"page":"109-135","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["From Artifacts to Activities"],"prefix":"10.1007","author":[{"given":"Niels","family":"Lohmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karsten","family":"Wolf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,9,4]]},"reference":[{"issue":"4","key":"5_CR1","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1142\/S0218843001000412","volume":"10","author":"WMPvd Aalst","year":"2001","unstructured":"Aalst, WMPvd, Barthelmess, P., Ellis, C.A., Wainer, J.: Proclets: a framework for lightweight interacting workflow processes. Int. J. Cooperative Inf. Syst. 10(4), 443\u2013481 (2001)","journal-title":"Int. J. Cooperative Inf. Syst."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Aalst, W.M.P.v.d., Lohmann, N., Massuthe, P., Stahl, C., Wolf, K.: From public views to private views\u2014correctness-by-design for services. In: WS-FM 2007, LNCS 4937, pp. 139\u2013153. Springer (2008)","DOI":"10.1007\/978-3-540-79230-7_10"},{"issue":"1","key":"5_CR3","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1093\/comjnl\/bxn064","volume":"53","author":"W.M.P.v.d. Aalst","year":"2010","unstructured":"Aalst, W.M.P.v.d., Lohmann, N., Massuthe, P., Stahl, C., Wolf, K.: Multiparty contracts: agreeing and implementing interorganizational processes. Comput. J. 53(1), 90\u2013106 (2010)","journal-title":"Comput. J."},{"issue":"3","key":"5_CR4","first-page":"16","volume":"32","author":"W.M.P.v.d. Aalst","year":"2009","unstructured":"Aalst, W.M.P.v.d., Mans, R.S., Russell, N.C.: Workflow support using proclets: divide, interact, and conquer. IEEE Data Eng. Bull. 32(3), 16\u201322 (2009)","journal-title":"IEEE Data Eng. Bull."},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Aalst, W.M.P.v.d., Pesic, M.: DecSerFlow: towards a truly declarative service flow language. In: WS-FM 2006, LNCS 4184, pp. 1\u201323. Springer (2006)","DOI":"10.1007\/11841197_1"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Alistair Barros, M.D., ter Hofstede, A.: Service interaction patterns. In: BPM 2005, vol. LNCS 3649, pp. 302\u2013318. Springer (2005)","DOI":"10.1007\/11538394_20"},{"key":"5_CR7","unstructured":"Awad, A.: BPMN-Q: a language to query business processes. In: EMISA 2007, LNI P-119, pp. 115\u2013128. GI (2007)"},{"issue":"1","key":"5_CR8","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.jvlc.2010.11.002","volume":"22","author":"A Awad","year":"2011","unstructured":"Awad, A., Weidlich, M., Weske, M.: Visually specifying compliance rules and explaining their violations for business processes. J. Vis. Lang. Comput. 22(1), 30\u201355 (2011)","journal-title":"J. Vis. Lang. Comput."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Ball, T., Chaki, S., Rajamani, S.K.: Parameterized verification of multithreaded software libraries. In: TACAS 2001, LNCS 2031, pp. 158\u2013173. Springer (2001)","DOI":"10.1007\/3-540-45319-9_12"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Ben-Ari, M., Manna, Z., Pnueli, A.: The temporal logic of branching time. In: POPL \u201981, pp. 164\u2013176. ACM (1981)","DOI":"10.1145\/567532.567551"},{"issue":"3","key":"5_CR11","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1016\/j.datak.2005.07.006","volume":"58","author":"B Benatallah","year":"2006","unstructured":"Benatallah, B., Casati, F., Toumani, F.: Representing, analysing and managing Web service protocols. Data Knowl. Eng. 58(3), 327\u2013357 (2006)","journal-title":"Data Knowl. Eng."},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Bhattacharya, K., Gerede, C.E., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric business process models. In: BPM 2007, LNCS 4714, pp. 288\u2013304. Springer (2007)","DOI":"10.1007\/978-3-540-75183-0_21"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Bravetti, M., Zavattaro, G.: Contract based multi-party service composition. In: FSEN 2007, LNCS 4767, pp. 207\u2013222. Springer (2007)","DOI":"10.1007\/978-3-540-75698-9_14"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Calvanese, D., Giacomo, G.D., Hull, R., Su, J.: Artifact-centric workflow dominance. In: ICSOC\/ServiceWave 2009, LNCS 5900, pp. 130\u2013143. Springer (2009)","DOI":"10.1007\/978-3-642-10383-4_9"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Carmona, J., Cortadella, J., Kishinevsky, M.: Genet: A tool for the synthesis and mining of petri nets. In: ACSD 2009, pp. 181\u2013185. IEEE Computer Societey (2009)","DOI":"10.1109\/ACSD.2009.6"},{"key":"5_CR16","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"issue":"3","key":"5_CR17","first-page":"315","volume":"E80-D","author":"J. Cortadella","year":"1997","unstructured":"Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Petrify: A tool for manipulating concurrent specifications and synthesis of asynchronous controllers. Trans. Inf. and Syst. E80-D(3), 315\u2013325 (1997)","journal-title":"Trans. Inf. and Syst"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Damaggio, E., Hull, R., Vacul\u00edn, R.: On the equivalence of incremental and fixpoint semantics for business artifacts with guard-stage-milestone lifecycles. In: BPM 2011, LNCS 6896, pp. 396\u2013412. Springer (2011)","DOI":"10.1007\/978-3-642-23059-2_29"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE 1999, pp. 411\u2013420. IEEE (1999)","DOI":"10.1145\/302405.302672"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Emerson, E.A., Kahlon, V.: Reducing model checking of the many to the few. In: CADE 2000, LNCS 1831, pp. 236\u2013254. Springer (2000)","DOI":"10.1007\/10721959_19"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Fahland, D., de Leoni, M., van Dongen, B.F., van der Aalst, W.M.P.: Behavioral conformance of artifact-centric process models. In: BIS 2011, LNBIP 87, pp. 37\u201349. Springer (2011)","DOI":"10.1007\/978-3-642-21863-7_4"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Fritz, C., Hull, R., Su, J.: Automatic construction of simple artifact-based business processes. In: ICDT 2009, ACM International Conference Proceeding Series, vol. 361, pp. 225\u2013238. ACM (2009)","DOI":"10.1145\/1514894.1514922"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Gerede, C.E., Su, J.: Specification and verfication of artifact behaviors in business process models. In: ICSOC 2007, LNCS 4749, pp. 181\u2013192. Springer (2007)","DOI":"10.1007\/978-3-540-74974-5_15"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Goedertier, S., Vanthienen, J.: Designing compliant business processes with obligations and permissions. In: BPM Workshops 2006, LNCS 4103, pp. 5\u201314. Springer (2006)","DOI":"10.1007\/11837862_2"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Hariri, B.B., Calvanese, D., Giacomo, G.D., Masellis, R.D., Felli, P.: Foundations of relational artifacts verification. In: BPM 2011, LNCS 6896, pp. 379\u2013395. Springer (2011)","DOI":"10.1007\/978-3-642-23059-2_28"},{"key":"5_CR26","unstructured":"Havelund, K., Ro\u015fu, G.: Testing linear temporal logic formulae on finite execution traces. Technical Report 01.08, RIACS (2001)"},{"key":"5_CR27","unstructured":"Hohpe, G., Woolf, B.: Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions. Addison-Wesley, New York (2003)"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Hull, R., Damaggio, E., Fournier, F., Gupta, M., Heath, F.T., Hobson, S., Linehan, M.H., Maradugu, S., Nigam, A., Sukaviriya, P., Vacul\u00edn, R.: Introducing the guard-stage-milestone approach for specifying business entity lifecycles. In: WS-FM 2010, LNCS 6551, pp. 1\u201324. Springer (2011)","DOI":"10.1007\/978-3-642-19589-1_1"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Hull, R., Damaggio, E., Masellis, R.D., Fournier, F., Gupta, M., Heath, F.T., Hobson, S., Linehan, M.H., Maradugu, S., Nigam, A., Sukaviriya, P.N., Vacul\u00edn, R.: Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events. In: DEBS 2011, pp. 51\u201362 (2011)","DOI":"10.1145\/2002259.2002270"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"Hull, R., Narendra, N.C., Nigam, A.: Facilitating workflow interoperation using artifact-centric hubs. In: ICSOC\/ServiceWave 2009, pp. 1\u201318 (2009)","DOI":"10.1007\/978-3-642-10383-4_1"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Knuplesch, D., Ly, L.T., Rinderle-Ma, S., Pfeifer, H., Dadam, P.: On enabling data-aware compliance checking of business process models. In: ER 2010, LNCS 6412, pp. 332\u2013346. Springer (2010)","DOI":"10.1007\/978-3-642-16373-9_24"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"K\u00f6nig, D., Lohmann, N., Moser, S., Stahl, C., Wolf, K.: Extending the compatibility notion for abstract WS-BPEL processes. In: WWW 2008, pp. 785\u2013794. ACM (2008)","DOI":"10.1145\/1367497.1367603"},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"K\u00fcster, J.M., Ryndina, K., Gall, H.: Generation of business process models for object life cycle compliance. In: BPM 2007, LNCS 4714, pp. 165\u2013181. Springer (2007)","DOI":"10.1007\/978-3-540-75183-0_13"},{"key":"5_CR34","doi-asserted-by":"crossref","unstructured":"Li, D., Wu, Q.: Translating artifact-based business process model to BPEL. In: CSEE (2), Communications in Computer and Information Science, vol. 215, pp. 482\u2013489. Springer (2011)","DOI":"10.1007\/978-3-642-23324-1_78"},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"Liu, G., Liu, X., Qin, H., Su, J., Yan, Z., Zhang, L.: Automated realization of business workflow specification. In: ICSOC\/ServiceWave Workshops, LNCS 6275, pp. 96\u2013108. Springer (2009)","DOI":"10.1007\/978-3-642-16132-2_9"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Lohmann, N.: Why does my service have no partners? In: WS-FM 2008, LNCS 5387, pp. 191\u2013206. Springer (2009)","DOI":"10.1007\/978-3-642-01364-5_12"},{"key":"5_CR37","doi-asserted-by":"crossref","unstructured":"Lohmann, N.: Compliance by design for artifact-centric business processes. In: BPM 2011, LNCS 6896, pp. 99\u2013115. Springer (2011)","DOI":"10.1007\/978-3-642-23059-2_11"},{"key":"5_CR38","doi-asserted-by":"crossref","first-page":"606","DOI":"10.1016\/j.is.2012.07.003","volume":"38","author":"N. Lohmann","year":"2012","unstructured":"Lohmann, N.: Compliance by design for artifact-centric business processes. Inf. Syst. 38,\u00a0 606\u2013618 (2012) (Accepted for publication in March 2012)","journal-title":"Inf. Syst."},{"key":"5_CR39","unstructured":"Lohmann, N., Kleine, J.: Fully-automatic translation of open workflow net models into simple abstract BPEL processes. In: Modellierung 2008, Lecture Notes in Informatics (LNI), vol. P-127, pp. 57\u201372. GI (2008)"},{"key":"5_CR40","doi-asserted-by":"crossref","unstructured":"Lohmann, N., Massuthe, P., Wolf, K.: Behavioral constraints for services. In: BPM 2007, LNCS 4714, pp. 271\u2013287. Springer (2007)","DOI":"10.1007\/978-3-540-75183-0_20"},{"key":"5_CR41","doi-asserted-by":"crossref","unstructured":"Lohmann, N., Nyolt, M.: Artifact-centric modeling using BPMN. In: ICSOC 2011 Workshops, LNCS, vol. 7221, pp. 54\u201365. Springer (2012)","DOI":"10.1007\/978-3-642-31875-7_7"},{"key":"5_CR42","doi-asserted-by":"crossref","unstructured":"Lohmann, N., Weinberg, D.: Wendy: a tool to synthesize partners for services. In: PETRI NETS 2010, LNCS 6128, pp. 297\u2013307. Springer (2010). http:\/\/service-technology.org\/wendy","DOI":"10.1007\/978-3-642-13675-7_18"},{"key":"5_CR43","doi-asserted-by":"crossref","unstructured":"Lohmann, N., Wolf, K.: Artifact-centric choreographies. In: ICSOC 2010, LNCS 6470, pp. 32\u201346. Springer (2010)","DOI":"10.1007\/978-3-642-17358-5_3"},{"key":"5_CR44","doi-asserted-by":"crossref","unstructured":"Lohmann, N., Wolf, K.: Realizability is controllability. In: WS-FM 2009, LNCS 6194, pp. 110\u2013127. Springer (2010)","DOI":"10.1007\/978-3-642-14458-5_7"},{"key":"5_CR45","doi-asserted-by":"crossref","unstructured":"Lohmann, N., Wolf, K.: Decidability results for choreography realization. In: ICSOC 2011, LNCS 7084, pp. 92\u2013107. Springer (2011)","DOI":"10.1007\/978-3-642-25535-9_7"},{"key":"5_CR46","doi-asserted-by":"crossref","unstructured":"Lu, R., Sadiq, S.W., Governatori, G.: Compliance aware business process design. In: BPM 2007 Workshops, LNCS 4928, pp. 120\u2013131. Springer (2007)","DOI":"10.1007\/978-3-540-78238-4_14"},{"issue":"6","key":"5_CR47","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1016\/j.ipl.2008.07.006","volume":"108","author":"P Massuthe","year":"2008","unstructured":"Massuthe, P., Serebrenik, A., Sidorova, N., Wolf, K.: Can I find a partner? Undecidablity of partner existence for open nets. Inf. Process. Lett. 108(6), 374\u2013378 (2008)","journal-title":"Inf. Process. Lett."},{"key":"5_CR48","doi-asserted-by":"crossref","unstructured":"Ngamakeur, K., Yongchareon, S., Liu, C.: A framework for realizing artifact-centric business processes in service-oriented architecture. In: DASFAA 2012, LNCS 7238, pp. 63\u201378. Springer (2012)","DOI":"10.1007\/978-3-642-29038-1_7"},{"key":"5_CR49","unstructured":"OMG: Business Process Model and Notation (BPMN). Version 2.0, Object Management Group (2011). http:\/\/www.omg.org\/spec\/BPMN\/2.0"},{"key":"5_CR50","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: FOCS 1977, pp. 46\u201357. IEEE (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"5_CR51","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: In transition from global to modular temporal reasoning about programs. In: Logics and models of concurrent systems, volume F-13 of NATO Advanced Summer Institutes, pp. 123\u2013144. Springer (1985)","DOI":"10.1007\/978-3-642-82453-1_5"},{"key":"5_CR52","doi-asserted-by":"crossref","unstructured":"Ryndina, K., K\u00fcster, J.M., Gall, H.: Consistency of business process models and object life cycles. In: MoDELS Workshops, LNCS 4364, pp. 80\u201390. Springer (2006)","DOI":"10.1007\/978-3-540-69489-2_11"},{"key":"5_CR53","doi-asserted-by":"crossref","unstructured":"Sackmann, S., K\u00e4hmer, M., Gilliot, M., Lowis, L.: A classification model for automating compliance. In: CEC\/EEE 2008, pp. 79\u201386. IEEE (2008)","DOI":"10.1109\/CECandEEE.2008.99"},{"key":"5_CR54","doi-asserted-by":"crossref","unstructured":"Sadiq, S.W., Governatori, G., Namiri, K.: Modeling control objectives for business process compliance. In: BPM 2007, LNCS 4714, pp. 149\u2013164. Springer (2007)","DOI":"10.1007\/978-3-540-75183-0_12"},{"key":"5_CR55","unstructured":"Stahl, C.: Service substitution\u2014a behavioral approach based on Petri nets. Ph.D. thesis, Humboldt-Universit\u00e4t zu Berlin, Mathematisch-Naturwissenschaftliche Fakult\u00e4t II; Eindhoven University of Technology (2009)"},{"key":"5_CR56","doi-asserted-by":"crossref","unstructured":"Stahl, C., Massuthe, P., Bretschneider, J.: Deciding substitutability of services with operating guidelines. LNCS T. Petri Nets and Other Models of Concurrency 2(5460), 172\u2013191 (2009)","DOI":"10.1007\/978-3-642-00899-3_10"},{"issue":"2","key":"5_CR57","first-page":"152","volume":"5460","author":"K Wolf","year":"2009","unstructured":"Wolf, K.: LNCS Trans. Petri Nets Other Models Concurr. Does my service have partners? 5460(2), 152\u2013171 (2009)","journal-title":"Does my service have partners?"},{"key":"5_CR58","doi-asserted-by":"crossref","unstructured":"Yongchareon, S., Liu, C., Zhao, X.: An artifact-centric view-based approach to modeling inter-organizational business processes. In: WISE 2011, LNCS 6997, pp. 273\u2013281. Springer (2011)","DOI":"10.1007\/978-3-642-24434-6_22"}],"container-title":["Web Services Foundations"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-7518-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T16:18:46Z","timestamp":1676823526000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4614-7518-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,4]]},"ISBN":["9781461475170","9781461475187"],"references-count":58,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-7518-7_5","relation":{},"subject":[],"published":{"date-parts":[[2013,9,4]]},"assertion":[{"value":"4 September 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}