{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,29]],"date-time":"2026-09-29T11:09:48Z","timestamp":1790680188509,"version":"4.1.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319593357","type":"print"},{"value":"9783319593364","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-59336-4_4","type":"book-chapter","created":{"date-parts":[[2017,5,27]],"date-time":"2017-05-27T00:53:39Z","timestamp":1495846419000},"page":"43-58","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":38,"title":["Automatic Discovery of Object-Centric Behavioral Constraint Models"],"prefix":"10.1007","author":[{"given":"Guangming","family":"Li","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Renata Medeiros","family":"de Carvalho","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wil M. P.","family":"van der Aalst","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,5,28]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4","volume-title":"Process Mining: Data Science in Action","author":"WMP van der Aalst","year":"2016","unstructured":"van der Aalst, W.M.P.: Process Mining: Data Science in Action. Springer, Heidelberg (2016)"},{"issue":"4","key":"4_CR2","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1142\/S0218843001000412","volume":"10","author":"WMP van der Aalst","year":"2001","unstructured":"van der Aalst, W.M.P., Barthelmess, P., Ellis, C.A., Wainer, J.: Proclets: a framework for lightweight interacting workflow processes. Int. J. Coop. Inf. Syst. 10(4), 443\u2013481 (2001)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"4_CR3","unstructured":"van der Aalst, W.M.P., Li, G., Marco, M.: Object-centric behavioral constraints. Corr technical report, arXiv.org e-Print archive (2017). https:\/\/arxiv.org\/abs\/1703.05740"},{"issue":"2","key":"4_CR4","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s00450-009-0057-9","volume":"23","author":"WMP van der Aalst","year":"2009","unstructured":"van der Aalst, W.M.P., Pesic, M., Schonenberg, H.: Declarative workflows: balancing between flexibility and support. Comput. Sci. Res. Devel. 23(2), 99\u2013113 (2009)","journal-title":"Comput. Sci. Res. Devel."},{"issue":"1","key":"4_CR5","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"P Chen","year":"1976","unstructured":"Chen, P.: The entity-relationship model - toward a unified view of data. ACM Trans. Database Syst. 1(1), 9\u201336 (1976)","journal-title":"ACM Trans. Database Syst."},{"issue":"3","key":"4_CR6","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 Eng. Bull. 32(3), 3\u20139 (2009)","journal-title":"IEEE Data Eng. Bull."},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/BFb0046841","volume-title":"Advances in Petri Nets 1986 Part I: Petri Nets: Central Models and Their Properties","author":"HJ Genrich","year":"1987","unstructured":"Genrich, H.J.: Predicate\/transition-nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Advances in Petri Nets 1986 Part I: Petri Nets: Central Models and Their Properties. LNCS, vol. 254, pp. 207\u2013247. Springer, Heidelberg (1987). doi:10.1007\/BFb0046841"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/BFb0022467","volume-title":"Semantics of Concurrent Compilation","author":"HJ Genrich","year":"1979","unstructured":"Genrich, H.J., Lautenbach, K.: The analysis of distributed systems by means of predicate\/transition-nets. In: Kahn, G. (ed.) Semantics of Concurrent Compilation. LNCS, vol. 70, pp. 123\u2013146. Springer, Heidelberg (1979). doi:10.1007\/BFb0022467"},{"key":"4_CR9","unstructured":"Object Management Group: OMG Unified Modeling Language 2.5. OMG (2013)"},{"key":"4_CR10","volume-title":"Information Modeling and Relational Databases","author":"T Halpin","year":"2008","unstructured":"Halpin, T., Morgan, T.: Information Modeling and Relational Databases. Morgan Kaufmann Publishers Inc., San Francisco (2008)"},{"key":"4_CR11","volume-title":"Information System Engineering: A Formal Approach","author":"KM van Hee","year":"1994","unstructured":"van Hee, K.M.: Information System Engineering: A Formal Approach. Cambridge University Press, Cambridge (1994)"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Hull, R., et al.: Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events. In: International Conference on Distributed Event-Based Systems (DEBS 2011). ACM (2011)","DOI":"10.1145\/2002259.2002270"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/BFb0046842","volume-title":"Advances in Petri Nets 1986 Part I: Petri Nets Central Models and Their Properties","author":"K Jensen","year":"1987","unstructured":"Jensen, K.: Coloured petri nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Advances in Petri Nets 1986 Part I: Petri Nets Central Models and Their Properties. LNCS, vol. 254, pp. 248\u2013299. Springer, Heidelberg (1987). doi:10.1007\/BFb0046842"},{"key":"4_CR14","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. Springer, Heidelberg (1996)"},{"key":"4_CR15","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. 6896, pp. 99\u2013115. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-23059-2_11"},{"issue":"6","key":"4_CR16","doi-asserted-by":"publisher","first-page":"861","DOI":"10.1109\/TSC.2015.2474358","volume":"8","author":"X Lu","year":"2015","unstructured":"Lu, X., Nagelkerke, M., van de Wiel, D., Fahland, D.: Discovering interacting artifacts from ERP systems. IEEE Trans. Serv. Comput. 8(6), 861\u2013873 (2015)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"de Leoni, M., van der Aalst, W.M.P.: Mining, data-aware process: discovering decisions in processes using alignments. In: Proceedings of the 28th Annual ACM Symposium on Applied Computing, pp. 1454\u20131461. ACM (2013)","DOI":"10.1145\/2480362.2480633"},{"issue":"3","key":"4_CR18","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."},{"key":"4_CR19","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/978-3-642-36285-9_36","volume-title":"Business Process Management Workshops","author":"EHJ Nooijen","year":"2013","unstructured":"Nooijen, E.H.J., Dongen, B.F., Fahland, D.: Automatic discovery of data-centric and artifact-centric processes. In: Rosa, M., Soffer, P. (eds.) BPM 2012. LNBIP, vol. 132, pp. 316\u2013327. Springer, Heidelberg (2013). doi:10.1007\/978-3-642-36285-9_36"},{"issue":"01","key":"4_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1142\/S021884301550001X","volume":"24","author":"V Popova","year":"2015","unstructured":"Popova, V., Fahland, D., Dumas, M.: Artifact lifecycle discovery. Int. J. Coop. Inf. Syst. 24(01), 1\u201344 (2015)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/11841760_33","volume-title":"Business Process Management","author":"A Rozinat","year":"2006","unstructured":"Rozinat, A., Aalst, W.M.P.: Decision mining in ProM. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 420\u2013425. Springer, Heidelberg (2006). doi:10.1007\/11841760_33"},{"key":"4_CR22","unstructured":"Verkoulen, P.A.C.: Design, integrated information systems: an approach based on object-oriented concepts and petri nets. Ph.D. thesis, Eindhoven University of Technology, Eindhoven (1993)"},{"key":"4_CR23","unstructured":"Zervos, C.R.: Coloured petri nets: their properties and applications. Ph.D. thesis, University of Michigan, Michigan (1977)"}],"container-title":["Lecture Notes in Business Information Processing","Business Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-59336-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T13:34:23Z","timestamp":1710250463000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-59336-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319593357","9783319593364"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-59336-4_4","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"28 May 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Business Information Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poznan","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 June 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 June 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bis2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}