{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,20]],"date-time":"2025-10-20T20:01:06Z","timestamp":1760990466334,"version":"3.40.3"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030212896"},{"type":"electronic","value":"9783030212902"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-21290-2_13","type":"book-chapter","created":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T21:39:12Z","timestamp":1559079552000},"page":"194-212","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":22,"title":["Information Systems Modeling: Language, Verification, and Tool Support"],"prefix":"10.1007","author":[{"given":"Artem","family":"Polyvyanyy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan Martijn E. M.","family":"van der Werf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sietse","family":"Overbeek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rick","family":"Brouwers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,29]]},"reference":[{"key":"13_CR1","series-title":"Cooperative Information Systems Series","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/8811.001.0001","volume-title":"Modeling Business Processes\u2014A Petri Net-Oriented Approach","author":"WMP van der Aalst","year":"2011","unstructured":"van der Aalst, W.M.P., Stahl, C.: Modeling Business Processes\u2014A Petri Net-Oriented Approach. Cooperative Information Systems Series. MIT Press, Cambridge (2011)"},{"issue":"3","key":"13_CR2","first-page":"10","volume":"32","author":"S Abiteboul","year":"2009","unstructured":"Abiteboul, S., Segoufin, L., Vianu, V.: Modeling and verifying active XML artifacts. IEEE Data Eng. Bull. 32(3), 10\u201315 (2009)","journal-title":"IEEE Data Eng. Bull."},{"issue":"2","key":"13_CR3","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1006\/jcss.2000.1708","volume":"61","author":"S Abiteboul","year":"2000","unstructured":"Abiteboul, S., Vianu, V., Fordham, B.S., Yesha, Y.: Relational transducers for electronic commerce. J. Comput. Syst. Sci. 61(2), 236\u2013269 (2000)","journal-title":"J. Comput. Syst. Sci."},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1613\/jair.4424","volume":"51","author":"F Belardinelli","year":"2014","unstructured":"Belardinelli, F., Lomuscio, A., Patrizi, F.: Verification of agent-based artifact systems. J. Artif. Intell. Res. 51, 333\u2013376 (2014)","journal-title":"J. Artif. Intell. Res."},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-540-75183-0_21","volume-title":"Business Process Management","author":"K Bhattacharya","year":"2007","unstructured":"Bhattacharya, K., Gerede, C., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric business process models. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 288\u2013304. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75183-0_21"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Montali, M.: Foundations of data-aware process analysis: a database theory perspective. In: PODS, pp. 1\u201312. ACM (2013)","DOI":"10.1145\/2463664.2467796"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Calvanese, D., Montali, M., Esta\u00f1ol, M., Teniente, E.: Verifiable UML artifact-centric business process models. In: CIKM. ACM Press (2014)","DOI":"10.1145\/2661829.2662050"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"612","DOI":"10.1007\/978-3-319-59536-8_38","volume-title":"Advanced Information Systems Engineering","author":"G De Giacomo","year":"2017","unstructured":"De Giacomo, G., Oriol, X., Esta\u00f1ol, M., Teniente, E.: Linking data and BPMN processes to achieve executable models. In: Dubois, E., Pohl, K. (eds.) CAiSE 2017. LNCS, vol. 10253, pp. 612\u2013628. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-59536-8_38"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"De Masellis, R., Di Francescomarino, C., Ghidini, C., Montali, M., Tessaris, S.: Add data into business process verification: bridging the gap between theory and practice. In: AAAI, pp. 1091\u20131099. AAAI Press (2017)","DOI":"10.1609\/aaai.v31i1.10688"},{"issue":"2","key":"13_CR10","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/3212019.3212025","volume":"5","author":"A Deutsch","year":"2018","unstructured":"Deutsch, A., Hull, R., Li, Y., Vianu, V.: Automatic verification of database-centric systems. SIGLOG News 5(2), 37\u201356 (2018)","journal-title":"SIGLOG News"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Li, Y., Vianu, V.: Verification of hierarchical artifact systems. In: PODS, pp. 179\u2013194. ACM Press (2016)","DOI":"10.1145\/2902251.2902275"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Esparza, J., Nielsen, M.: Decidability issues for Petri nets\u2013a survey. EATCS Bulletin, vol. 52 (1994)","DOI":"10.7146\/brics.v1i8.21662"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1007\/978-3-319-19069-3_27","volume-title":"Advanced Information Systems Engineering","author":"M Esta\u00f1ol","year":"2015","unstructured":"Esta\u00f1ol, M., Sancho, M.-R., Teniente, E.: Verification and validation of UML artifact-centric business process models. In: Zdravkovic, J., Kirikova, M., Johannesson, P. (eds.) CAiSE 2015. LNCS, vol. 9097, pp. 434\u2013449. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-19069-3_27"},{"key":"13_CR14","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":"CE 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. 4749, pp. 181\u2013192. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-74974-5_15"},{"issue":"4","key":"13_CR15","doi-asserted-by":"publisher","first-page":"4","DOI":"10.4018\/jdm.1999100101","volume":"10","author":"TA Halpin","year":"1999","unstructured":"Halpin, T.A., Bloesch, A.C.: Data modeling in UML and ORM: a comparison. J. Database Manag. 10(4), 4\u201313 (1999)","journal-title":"J. Database Manag."},{"key":"13_CR16","unstructured":"Hariri, B., Calvanese, D., De Giacomo, G., Deutsch, A., Montali, M.: Verification of relational data-centric dynamic systems with external services. In: PODS. ACM Press (2013)"},{"issue":"1\u20133","key":"13_CR17","doi-asserted-by":"crossref","first-page":"171","DOI":"10.3233\/FI-2009-0095","volume":"93","author":"KM van Hee","year":"2009","unstructured":"van Hee, K.M., Sidorova, N., Voorhoeve, M., van der Werf, J.M.E.M.: Generation of database transactions with Petri nets. Fundam. Inform. 93(1\u20133), 171\u2013184 (2009)","journal-title":"Fundam. Inform."},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Hull, R., Su, J., Vacul\u00edn, R.: Data management perspectives on business process management: tutorial overview. In: SIGMOD, pp. 943\u2013948. ACM (2013)","DOI":"10.1145\/2463676.2467802"},{"key":"13_CR19","series-title":"Monographs in Theoretical Computer Science. An EATCS Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03241-1","volume-title":"Coloured Petri Nets-Basic Concepts, Analysis Methods and Practical Use","author":"K Jensen","year":"1996","unstructured":"Jensen, K.: Coloured Petri Nets-Basic Concepts, Analysis Methods and Practical Use. Monographs in Theoretical Computer Science. An EATCS Series, vol. 1. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/978-3-662-03241-1"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-319-39086-4_3","volume-title":"Application and Theory of Petri Nets and Concurrency","author":"S Lasota","year":"2016","unstructured":"Lasota, S.: Decidability border for Petri nets with data: WQO dichotomy conjecture. In: Kordon, F., Moldt, D. (eds.) PETRI NETS 2016. LNCS, vol. 9698, pp. 20\u201336. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39086-4_3"},{"issue":"3","key":"13_CR21","first-page":"251","volume":"88","author":"R Lazic","year":"2008","unstructured":"Lazic, R., Newcomb, T.C., Ouaknine, J., Roscoe, A.W., Worrell, J.: Nets with tokens which carry data. Fundam. Inform. 88(3), 251\u2013274 (2008)","journal-title":"Fundam. Inform."},{"key":"13_CR22","unstructured":"Lipton, R.J.: The reachability problem requires exponential space. Research report, Department of Computer Science, Yale University (1976)"},{"issue":"3","key":"13_CR23","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/BF00289268","volume":"15","author":"EW Mayr","year":"1981","unstructured":"Mayr, E.W.: Persistence of vector replacement systems is decidable. Acta Inf. 15(3), 309\u2013318 (1981)","journal-title":"Acta Inf."},{"key":"13_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-662-55862-1_5","volume-title":"Transactions on Petri Nets and Other Models of Concurrency XII","author":"M Montali","year":"2017","unstructured":"Montali, M., Rivkin, A.: DB-Nets: on the marriage of colored Petri nets and relational databases. In: Koutny, M., Kleijn, J., Penczek, W. (eds.) Transactions on Petri Nets and Other Models of Concurrency XII. LNCS, vol. 10470, pp. 91\u2013118. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-55862-1_5"},{"key":"13_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-540-76848-7_10","volume-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS","author":"D M\u00fcller","year":"2007","unstructured":"M\u00fcller, D., Reichert, M., Herbst, J.: Data-driven modeling and coordination of large process structures. In: Meersman, R., Tari, Z. (eds.) OTM 2007. LNCS, vol. 4803, pp. 131\u2013149. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-76848-7_10"},{"issue":"3","key":"13_CR26","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 Syst. J. 42(3), 428\u2013445 (2003)","journal-title":"IBM Syst. J."},{"issue":"3","key":"13_CR27","first-page":"649","volume":"16","author":"HA Reijers","year":"2017","unstructured":"Reijers, H.A., et al.: Evaluating data-centric process approaches: does the human factor factor in? SoSyM 16(3), 649\u2013662 (2017)","journal-title":"SoSyM"},{"key":"13_CR28","doi-asserted-by":"publisher","first-page":"4439","DOI":"10.1016\/j.tcs.2011.05.007","volume":"412","author":"F Rosa-Velardo","year":"2011","unstructured":"Rosa-Velardo, F., de Frutos-Escrig, D.: Decidability and complexity of Petri nets with unordered data. Theor. Comput. Sci. 412, 4439\u20134451 (2011)","journal-title":"Theor. Comput. Sci."},{"issue":"1\u20132","key":"13_CR29","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/S0304-3975(96)80710-9","volume":"170","author":"V Sassone","year":"1996","unstructured":"Sassone, V., Nielsen, M., Winskel, G.: Models for concurrency: towards a classification. Theor. Comput. Sci. 170(1\u20132), 297\u2013348 (1996)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"13_CR30","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1016\/S0022-0000(02)00029-6","volume":"66","author":"M Spielmann","year":"2003","unstructured":"Spielmann, M.: Verification of relational transducers for electronic commerce. J. Comput. Syst. Sci. 66(1), 40\u201365 (2003)","journal-title":"J. Comput. Syst. Sci."},{"issue":"4","key":"13_CR31","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1287\/isre.1060.0105","volume":"17","author":"SX Sun","year":"2006","unstructured":"Sun, S.X., Zhao, J.L., Nunamaker Jr., J.F., Sheng, O.R.L.: Formulating the data-flow perspective for business process management. Inf. Syst. Res. 17(4), 374\u2013391 (2006)","journal-title":"Inf. Syst. Res."},{"key":"13_CR32","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/11814771_7","volume-title":"Automated Reasoning","author":"G Sutcliffe","year":"2006","unstructured":"Sutcliffe, G., Schulz, S., Claessen, K., Van Gelder, A.: Using the TPTP language for writing derivations and finite interpretations. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 67\u201381. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11814771_7"},{"key":"13_CR33","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1007\/978-3-030-11641-5_44","volume-title":"Business Process Management Workshops","author":"JMEM van der Werf","year":"2019","unstructured":"van der Werf, J.M.E.M., Polyvyanyy, A.: An assignment on information system modeling. In: Daniel, F., Sheng, Q.Z., Motahari, H. (eds.) BPM 2018. LNBIP, vol. 342, pp. 553\u2013566. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-11641-5_44"},{"key":"13_CR34","unstructured":"van der Werf, J.M.E.M., Polyvyanyy, A.: On the decidability of reachability problems for models of information systems. Technical report UU-CS-2018-005, Utrecht University (2018)"},{"key":"13_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/978-3-642-02424-5_19","volume-title":"Applications and Theory of Petri Nets","author":"M Westergaard","year":"2009","unstructured":"Westergaard, M., Kristensen, L.M.: The Access\/CPN framework: a tool for interacting with the CPN-tools simulator. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606, pp. 313\u2013322. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02424-5_19"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-21290-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,28]],"date-time":"2024-05-28T00:03:09Z","timestamp":1716854589000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-21290-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030212896","9783030212902"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-21290-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"29 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAiSE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advanced Information Systems Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rome","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"caise2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.caise19.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}