{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:24:02Z","timestamp":1740108242031,"version":"3.37.3"},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[2020,2,22]],"date-time":"2020-02-22T00:00:00Z","timestamp":1582329600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,2,22]],"date-time":"2020-02-22T00:00:00Z","timestamp":1582329600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2020,8]]},"DOI":"10.1007\/s00607-020-00798-6","type":"journal-article","created":{"date-parts":[[2020,2,22]],"date-time":"2020-02-22T13:02:42Z","timestamp":1582376562000},"page":"1843-1879","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Reusing artifact-centric business process models: a behavioral consistent specialization approach"],"prefix":"10.1007","volume":"102","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2880-6618","authenticated-orcid":false,"given":"Sira","family":"Yongchareon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chengfei","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaohui","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,2,22]]},"reference":[{"key":"798_CR1","unstructured":"Awad A (2007) BPMN-Q: a language to query business processes. In: Proceedings of the 2nd international workshop on Enterprise modelling and information systems architectures concepts and applications (EMISA) 2007, Gesellschaft f\u00fcr Informatik, Bonn, pp 115\u2013128"},{"key":"#cr-split#-798_CR2.1","doi-asserted-by":"crossref","unstructured":"Awad A, Sakr S, Kunze M, Weske M (2011) Design by selection: a reuse-based approach for business process modeling. In: Proceedings of the 30th international conference on conceptual modeling","DOI":"10.1007\/978-3-642-24606-7_25"},{"key":"#cr-split#-798_CR2.2","unstructured":"(ER) 2011, LNCS 6998, pp 332-345"},{"key":"798_CR3","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0304-3975(94)00152-9","volume":"146","author":"B Bloom","year":"1995","unstructured":"Bloom B (1995) Fundamental study structural operational semantics for weak bisimulations. Theor Comput Sci 146:25\u201368","journal-title":"Theor Comput Sci"},{"key":"798_CR4","unstructured":"Calvanese D, De Giacomo G, Hull R, Su J (2009) Artifact-centric workflow dominance. In: Proceedings of ICSOC-ServiceWave 2009. LNCS 5900, pp 130\u2013143"},{"key":"798_CR5","doi-asserted-by":"crossref","unstructured":"Chao T, Cohn D, Flatgard A, Hahn S, Linehan M, Nandi P, Nigam A, Pinel F, Vergo J, Wu F (2009) Artifact-based transformation of IBM global financing. In: BPM 2009, LNCS 5701, pp 261\u2013277","DOI":"10.1007\/978-3-642-03848-8_18"},{"issue":"1 & 2","key":"798_CR6","first-page":"11","volume":"5","author":"CM Chiao","year":"2013","unstructured":"Chiao CM, K\u00fcnzle V, Reichert M (2013) Object-aware process support in healthcare information systems: requirements, conceptual framework and examples. Int J Adv Life Sci 5(1 & 2):11\u201326","journal-title":"Int J Adv Life Sci"},{"issue":"3","key":"798_CR7","first-page":"3","volume":"32","author":"D Cohn","year":"2009","unstructured":"Cohn D, Hull R (2009) Business artifacts: a data-centric approach to modeling business operations and processes. IEEE Data Eng Bull 32(3):3\u20139","journal-title":"IEEE Data Eng Bull"},{"key":"798_CR8","volume-title":"SAP R\/3 business blueprint: understanding the business process reference model","author":"T Curran","year":"1997","unstructured":"Curran T, Keller G (1997) SAP R\/3 business blueprint: understanding the business process reference model. Prentice Hall, Upper Saddle River"},{"key":"798_CR9","doi-asserted-by":"crossref","unstructured":"Decker G, Overdick H, Weske M (2008) Oryx\u2014sharing conceptual models on the web. In: Proceedings of ER 2008, LNCS 5231, pp 536\u2013537","DOI":"10.1007\/978-3-540-87877-3_49"},{"key":"798_CR10","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1016\/j.is.2010.09.006","volume":"36","author":"R Dijkman","year":"2011","unstructured":"Dijkman R, Dumasm M, van Dongen B, Kaarik R, Mendling J (2011) Similarity of business process models: metrics and evaluation. Inf Syst 36:498\u2013516","journal-title":"Inf Syst"},{"key":"798_CR11","doi-asserted-by":"crossref","unstructured":"Fahland D, Leoni MD, van Dongen BF, van der Aalst WMP (2011) Conformance checking of interacting processes with overlapping instances. In: Proceedings of BPM 2011, LNCS 6896, pp 345\u2013361","DOI":"10.1007\/978-3-642-23059-2_26"},{"key":"798_CR12","doi-asserted-by":"crossref","unstructured":"Fahland D, Leoni MD, van Dongen BF, van der Aalst WMP (2011) Behavioral conformance of artifact-centric process models. In: Proceedings of BIS 2011, LNBIP 87, pp 37\u201349","DOI":"10.1007\/978-3-642-21863-7_4"},{"issue":"2","key":"798_CR13","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1142\/S0218843008001798","volume":"17","author":"F Gottschalk","year":"2008","unstructured":"Gottschalk F, van der Aalst WMP, Jansen-Vullers M, Rosa ML (2008) Configurable workflow models. Int J Cooperative Inf Syst 17(2):177\u2013221","journal-title":"Int J Cooperative Inf Syst"},{"issue":"9","key":"798_CR14","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1109\/TSE.2002.1033228","volume":"28","author":"D Harel","year":"2002","unstructured":"Harel D, Kupferman O (2002) On object systems and behavioral inheritance. IEEE Trans Softw Eng 28(9):889\u2013903","journal-title":"IEEE Trans Softw Eng"},{"key":"798_CR15","doi-asserted-by":"crossref","unstructured":"Hull R (2008) Artifact-centric business process models: brief survey of research results and challenges. In: Proceedings of on the move to meaningful internet systems: OTM 2008, LNCS 5332, pp 1152\u20131163","DOI":"10.1007\/978-3-540-88873-4_17"},{"key":"798_CR16","doi-asserted-by":"crossref","unstructured":"Johnson R, Pearson D, Pingali K (1994) The program structure tree: computing control regions in linear time. In: PLDI, Proceedings of the ACM SIGPLAN\u201994 conference on programming language design and implementation, 1994, ACM Press, New York, pp 171\u2013185","DOI":"10.1145\/178243.178258"},{"key":"798_CR17","doi-asserted-by":"crossref","unstructured":"Kumaran S, Liu R, Wu FY (2008) On the duality of information-centric and activity-centric models of business processes. In: CAiSE 2008, LNCS 5074, pp 32\u201347","DOI":"10.1007\/978-3-540-69534-9_3"},{"issue":"4","key":"798_CR18","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1002\/smr.524","volume":"13","author":"V K\u00fcnzle","year":"2011","unstructured":"K\u00fcnzle V, Reichert M (2011) PHILharmonicFlows: towards a framework for object aware process management. J Softw Maint Evolut Res Pract 13(4):205\u2013244","journal-title":"J Softw Maint Evolut Res Pract"},{"key":"798_CR19","doi-asserted-by":"crossref","unstructured":"K\u00fcster JM, Ryndina K, Gall H (2007) Generation of business process models for object life cycle compliance. In: Proceedings of the international conference on business process management (BPM) 2007, LNCS 4714, pp 165\u2013181","DOI":"10.1007\/978-3-540-75183-0_13"},{"key":"798_CR20","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1016\/S0306-4379(02)00044-3","volume":"28","author":"J Lee","year":"2003","unstructured":"Lee J, Wyner GM (2003) Defining specialization for dataflow diagram. Inf Syst 28:651\u2013671","journal-title":"Inf Syst"},{"key":"798_CR21","doi-asserted-by":"crossref","unstructured":"Lohmann N (2011) Compliance by design for artifact-centric business processes. In: Proceedings of BPM 2011, LNCS 696, pp 99\u2013115","DOI":"10.1007\/978-3-642-23059-2_11"},{"key":"798_CR22","doi-asserted-by":"publisher","first-page":"606","DOI":"10.1016\/j.is.2012.07.003","volume":"38","author":"N Lohmann","year":"2013","unstructured":"Lohmann N (2013) Compliance by design for artifact-centric business processes. Inf Syst 38:606\u2013618","journal-title":"Inf Syst"},{"key":"798_CR23","doi-asserted-by":"crossref","unstructured":"Lohmann N, Weinberg D (2010) Wendy: a tool to synthesize partners for services. In: Proceedings of the international conference on applications and theory of petri nets and other models of concurrency, 2010, LNCS 6128, pp 297\u2013307","DOI":"10.1007\/978-3-642-13675-7_18"},{"key":"798_CR24","doi-asserted-by":"crossref","unstructured":"Lohmann N, Massuthe P, Wolf K (2007) Operating guidelines for finite-state services. In: Proceedings of ICATPN 2007, LNCS 4546, pp 321\u2013341","DOI":"10.1007\/978-3-540-73094-1_20"},{"key":"798_CR25","doi-asserted-by":"crossref","unstructured":"Massuthe P, Schmidt K (2005) Operating guidelines\u2014an automata-theoretic foundation for the service-oriented architecture. In: Proceedings of the fifth international conference on quality software (QSIC\u201905), pp 452\u2013457","DOI":"10.1109\/QSIC.2005.47"},{"key":"798_CR26","doi-asserted-by":"crossref","unstructured":"Muller D, Reichert M, Herbst J (2008) A new paradigm for the enactment and dynamic adaptation of data-driven process structures. In: Proceedings of CAiSE 2008, LNCS 5074, pp 48\u201363","DOI":"10.1007\/978-3-540-69534-9_4"},{"issue":"3","key":"798_CR27","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1147\/sj.423.0428","volume":"42","author":"A Nigam","year":"2003","unstructured":"Nigam A, Caswell NS (2003) Business artifacts: an approach to operational specification. IBM Syst J 42(3):428\u2013445","journal-title":"IBM Syst J"},{"key":"798_CR28","unstructured":"Object Management Group (OMG) (2003) UML 2.0 OCL final adopted specification. Technical report ptc\/03-10-14,"},{"key":"798_CR29","unstructured":"Object Management Group (OMG) (2004) UML 2.0 superstructure final adopted specification. Technical report ptc\/04-10-02"},{"key":"798_CR30","unstructured":"Process Mining Group (2012) ProM Framework, http:\/\/www.processmining.org\/prom\/start"},{"key":"798_CR31","volume-title":"Petri Nets, EATCS monographs on theoretical computer science","author":"W Reisig","year":"1985","unstructured":"Reisig W (1985) Petri Nets, EATCS monographs on theoretical computer science. Springer, Berlin"},{"key":"798_CR32","doi-asserted-by":"publisher","first-page":"7029","DOI":"10.1016\/j.eswa.2010.12.012","volume":"38","author":"ML Rosa","year":"2011","unstructured":"Rosa ML, Reijers HA, Van Der Aalst WMP, Dijkman RM, Mendling J (2011) APROMORE: an advanced process model repository. Expert Syst Appl 38:7029\u20137040","journal-title":"Expert Syst Appl"},{"issue":"1","key":"798_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.is.2005.05.003","volume":"32","author":"M Rosemann","year":"2007","unstructured":"Rosemann M, van der Aalst WMP (2007) A configurable reference modelling language. Inf Syst 32(1):1\u201323","journal-title":"Inf Syst"},{"key":"798_CR34","doi-asserted-by":"crossref","unstructured":"Ryndina K, K\u00fcster JM, Gall H (2007) Consistency of business process models and object life cycles. In: Proceedings of MoDELS 2006 workshops, 2007, LNCS 4364, pp 80\u201390","DOI":"10.1007\/978-3-540-69489-2_11"},{"key":"798_CR35","doi-asserted-by":"crossref","unstructured":"Sakr S, Awad A (2010) A framework for querying graph-based business process models. In: Proceedings of WWW 2010, ACM, pp 26\u201330","DOI":"10.1145\/1772690.1772906"},{"issue":"11","key":"798_CR36","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/361219.361220","volume":"18","author":"G Salton","year":"1975","unstructured":"Salton G, Wong A, Yang CS (1975) A vector space model for automatic indexing. Commun ACM 18(11):613\u2013620","journal-title":"Commun ACM"},{"issue":"1","key":"798_CR37","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/504087.504091","volume":"11","author":"M Schrefl","year":"2002","unstructured":"Schrefl M, Stumptner M (2002) Behavior-consistent specialization of object life cycles. ACM TOSEM 11(1):92\u2013148","journal-title":"ACM TOSEM"},{"issue":"1","key":"798_CR38","first-page":"9","volume":"1","author":"S Stephens","year":"2001","unstructured":"Stephens S (2001) The supply chain council and the SCOR reference model. Supply Chain Manag Int J 1(1):9\u201313","journal-title":"Supply Chain Manag Int J"},{"key":"798_CR39","unstructured":"Taylor C, Probst C (2003) Business process reference model languages: experiences from BPI projects. In: Proceedings of INFORMATIK 2003, Jahrestagung der Gesellschaft f\u00a8ur Informatik e. V (GI), pp 259\u2013263"},{"issue":"2","key":"798_CR40","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/TSE.2003.1178048","volume":"29","author":"S Uchitel","year":"2003","unstructured":"Uchitel S, Kramer J, Magee J (2003) Synthesis of behavioral models from scenarios. IEEE Trans Softw Eng 29(2):99\u2013115","journal-title":"IEEE Trans Softw Eng"},{"key":"798_CR41","doi-asserted-by":"crossref","unstructured":"van der Aalst WMP (2003) Inheritance of business processes: a journey visiting four notorious problems. Petri Net technology for communication-based systems, pp 383\u2013408","DOI":"10.1007\/978-3-540-40022-6_19"},{"key":"798_CR42","doi-asserted-by":"crossref","unstructured":"van der Aalst WMP, Basten T (1997) Life-cycle inheritance: a petri-net-based approach, application and theory of petri nets 1997, LNCS 1248, pp 62\u201381","DOI":"10.1007\/3-540-63139-9_30"},{"key":"798_CR43","doi-asserted-by":"crossref","unstructured":"van der Aalst WMP, Basten T (2001) Identifying commonalities and differences in object life cycles using behavioral inheritance, application and theory of petri nets 2001, LNCS 2075, pp 32\u201352","DOI":"10.1007\/3-540-45740-2_4"},{"key":"798_CR44","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0304-3975(00)00321-2","volume":"270","author":"WMP van der Aalst","year":"2002","unstructured":"van der Aalst WMP, Basten T (2002) Inheritance of workflows: an approach to tackling problems related to change. Theoret Comput Sci 270:125\u2013203","journal-title":"Theoret Comput Sci"},{"key":"798_CR45","doi-asserted-by":"crossref","unstructured":"van der Aalst WMP, Dumas M, Gottschalk F, Ter Hofstede AHM, Rosa ML, Mendling J (2008) Correctness-preserving configuration of business process models. In: Proceedings of fundamental approaches to software engineering (FASE 2008), LNCS 4961, pp 46\u201361","DOI":"10.1007\/978-3-540-78743-3_4"},{"issue":"3","key":"798_CR46","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/s00165-009-0112-0","volume":"22","author":"WMP van der Aalst","year":"2010","unstructured":"van der Aalst WMP, Dumas M, Gottschalk F, ter Hofstede AHM, Rosa ML, Mendling J (2010) Preserving correctness during business process model configuration. Formal Aspects Comput 22(3):459\u2013482","journal-title":"Formal Aspects Comput"},{"key":"798_CR47","doi-asserted-by":"publisher","first-page":"574","DOI":"10.1016\/j.is.2011.08.004","volume":"37","author":"WMP van der Aalst","year":"2012","unstructured":"van der Aalst WMP, Lohmann N, La Rosa M (2012) Ensuring correctness during process configuration via partner synthesis. Inf Syst 37:574\u2013592","journal-title":"Inf Syst"},{"key":"798_CR48","doi-asserted-by":"crossref","unstructured":"van Dongen B, Dijkman R, Mendling J (2008) Measuring similarity between business process models. In: Proceedings of CAiSE 2008, LNCS 5074, pp 450\u2013464","DOI":"10.1007\/978-3-540-69534-9_34"},{"issue":"3","key":"798_CR49","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/233551.233556","volume":"43","author":"RJ van Glabbeek","year":"1996","unstructured":"van Glabbeek RJ, Weijland WP (1996) Branching time and abstraction in bisimulation semantics. J ACM 43(3):555\u2013600","journal-title":"J ACM"},{"key":"798_CR50","doi-asserted-by":"crossref","unstructured":"Vanhatalo J, Volzer H, Leymann F (2007) Faster and more focused control-flow analysis for business process models through SESE decomposition. In: Proceedings of ICSOC 2007, LNCS 4749, pp 43\u201355","DOI":"10.1007\/978-3-540-74974-5_4"},{"key":"798_CR51","doi-asserted-by":"crossref","unstructured":"Weidlich M, Dijkman R, Weske M (2010) Deciding behaviour compatibility of complex correspondences between process models. In: Proceedings of BPM 2010, LNCS 6336, pp 78\u201394","DOI":"10.1007\/978-3-642-15618-2_8"},{"issue":"3","key":"798_CR52","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1109\/TSE.2010.96","volume":"37","author":"M Weidlich","year":"2011","unstructured":"Weidlich M, Mendling J, Weske M (2011) Efficient consistency measurement based on behavioral profiles of process models. IEEE Trans Softw Eng 37(3):410\u2013429","journal-title":"IEEE Trans Softw Eng"},{"key":"798_CR53","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1023\/A:1016091900743","volume":"8","author":"GM Wyner","year":"2002","unstructured":"Wyner GM, Lee J (2002) Process specialization: defining specialization for state diagrams. Comput Math Organ Theory 8:133\u2013155","journal-title":"Comput Math Organ Theory"},{"key":"798_CR54","unstructured":"YAWL Foundation (2012) http:\/\/ww.yawlfoundation.org\/"},{"key":"798_CR55","doi-asserted-by":"crossref","unstructured":"Yongchareon S, Liu C, Zhao X (2012) A framework for behavior-consistent specialization of artifact-centric business processes. In: BPM 2012, LNCS 7481, pp 285\u2013301","DOI":"10.1007\/978-3-642-32885-5_23"},{"key":"798_CR56","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.is.2014.07.004","volume":"47","author":"S Yongchareon","year":"2015","unstructured":"Yongchareon S, Liu C, Yu J, Zhao X (2015) A view framework for modeling and change validation of artifact-centric inter-organizational business processes. Inf Syst 47:51\u201381","journal-title":"Inf Syst"},{"issue":"3","key":"798_CR57","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/1281480.1281484","volume":"1","author":"U Zdun","year":"2007","unstructured":"Zdun U, Hentrich C, Dustdar S (2007) Modeling process-driven and service-oriented architectures using patterns and pattern primitives. ACM Trans Web 1(3):14","journal-title":"ACM Trans Web"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-020-00798-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00607-020-00798-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-020-00798-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,21]],"date-time":"2021-02-21T01:11:17Z","timestamp":1613869877000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00607-020-00798-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2,22]]},"references-count":58,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2020,8]]}},"alternative-id":["798"],"URL":"https:\/\/doi.org\/10.1007\/s00607-020-00798-6","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"type":"print","value":"0010-485X"},{"type":"electronic","value":"1436-5057"}],"subject":[],"published":{"date-parts":[[2020,2,22]]},"assertion":[{"value":"8 November 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 February 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 February 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}