{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:46:43Z","timestamp":1725454003998},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642328848"},{"type":"electronic","value":"9783642328855"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32885-5_23","type":"book-chapter","created":{"date-parts":[[2012,8,25]],"date-time":"2012-08-25T14:45:30Z","timestamp":1345905930000},"page":"285-301","source":"Crossref","is-referenced-by-count":13,"title":["A Framework for Behavior-Consistent Specialization of Artifact-Centric Business Processes"],"prefix":"10.1007","author":[{"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","reference":[{"issue":"3","key":"23_CR1","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":"23_CR2","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.\u00a04714, pp. 288\u2013304. Springer, Heidelberg (2007)"},{"key":"23_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-642-16934-2_6","volume-title":"On the Move to Meaningful Internet Systems, OTM 2010","author":"S. Yongchareon","year":"2010","unstructured":"Yongchareon, S., Liu, C.: A Process View Framework for Artifact-Centric Business Processes. In: Meersman, R., Dillon, T.S., Herrero, P. (eds.) OTM 2010. LNCS, vol.\u00a06426, pp. 26\u201343. Springer, Heidelberg (2010)"},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/504087.504091","volume":"11","author":"M. Schrefl","year":"2002","unstructured":"Schrefl, M., Stumptner, M.: Behavior-Consistent Specialization of Object Life Cycles. ACM Transactions on Software Engineering and Methodology\u00a011, 92\u2013148 (2002)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"1","key":"23_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1008736219484","volume":"18","author":"J. Lind-Nielsen","year":"2001","unstructured":"Lind-Nielsen, J., Andersen, H., Hulgaard, H., Behrmann, G., Kristoffersen, K., Larsen, K.: Verification of Large State\/Event Systems Using Compositionality and Dependency Analysis. Formal Methods in System Design\u00a018(1), 5\u201323 (2001)","journal-title":"Formal Methods in System Design"},{"key":"23_CR6","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.: 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)"},{"key":"23_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-17358-5_3","volume-title":"Service-Oriented Computing","author":"N. Lohmann","year":"2010","unstructured":"Lohmann, N., Wolf, K.: Artifact-Centric Choreographies. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol.\u00a06470, pp. 32\u201346. Springer, Heidelberg (2010)"},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1023\/A:1016091900743","volume":"8","author":"G.M. Wyner","year":"2002","unstructured":"Wyner, G.M., Lee, J.: Process Specialization: Defining Specialization for State Diagrams. Computational & Mathematical Organization Theory\u00a08, 133\u2013155 (2002)","journal-title":"Computational & Mathematical Organization Theory"},{"key":"23_CR9","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1016\/S0306-4379(02)00044-3","volume":"28","author":"G.M. Wyner","year":"2003","unstructured":"Wyner, G.M., Lee, J.: Defining specialization for dataflow diagrams. Information Systems\u00a028, 651\u2013671 (2003)","journal-title":"Information Systems"},{"key":"23_CR10","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0304-3975(00)00321-2","volume":"270","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P., Basten, T.: Inheritance of workflows: an approach to tackling problems related to change. Theoretical Computer Science\u00a0270, 125\u2013203 (2002)","journal-title":"Theoretical Computer Science"},{"key":"23_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-642-24434-6_22","volume-title":"Web Information System Engineering \u2013 WISE 2011","author":"S. Yongchareon","year":"2011","unstructured":"Yongchareon, S., Liu, C., Zhao, X.: An Artifact-Centric View-Based Approach to Modeling Inter-organizational Business Processes. In: Bouguettaya, A., Hauswirth, M., Liu, L. (eds.) WISE 2011. LNCS, vol.\u00a06997, pp. 273\u2013281. Springer, Heidelberg (2011)"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., Lohmann, N., Masuthe, P., Stahl, C., Wolf, K.: Multipart Contrats: Agreeing and Implementing Interorganizational Processes. The Computer Journal\u00a053(1), 90\u2013106","DOI":"10.1093\/comjnl\/bxn064"},{"key":"23_CR13","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)"},{"issue":"3","key":"23_CR14","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.: Efficient Consistency Measurement Based on Behavioral Profiles of Process Models. IEEE Transactions on Software Engineering\u00a037(3), 410\u2013429 (2011)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"23_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/978-3-642-15618-2_8","volume-title":"Business Process Management","author":"M. Weidlich","year":"2010","unstructured":"Weidlich, M., Dijkman, R., Weske, M.: Deciding Behaviour Compatibility of Complex Correspondences between Process Models. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol.\u00a06336, pp. 78\u201394. Springer, Heidelberg (2010)"},{"key":"23_CR16","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)"},{"key":"23_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-540-69534-9_3","volume-title":"Advanced Information Systems Engineering","author":"S. Kumaran","year":"2008","unstructured":"Kumaran, S., Liu, R., Wu, F.Y.: On the Duality of Information-Centric and Activity-Centric Models of Business Processes. In: Bellahs\u00e8ne, Z., L\u00e9onard, M. (eds.) CAiSE 2008. LNCS, vol.\u00a05074, pp. 32\u201347. Springer, Heidelberg (2008)"},{"key":"23_CR18","doi-asserted-by":"publisher","first-page":"7029","DOI":"10.1016\/j.eswa.2010.12.012","volume":"38","author":"M.L. Rosa","year":"2011","unstructured":"Rosa, M.L., Reijers, H.A., van der Aalst, W.M.P., Dijkman, R.M., Mendling, J.: APROMORE: An advanced process model repository. Expert Systems with Applications\u00a038, 7029\u20137040 (2011)","journal-title":"Expert Systems with Applications"},{"key":"23_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1152","DOI":"10.1007\/978-3-540-88873-4_17","volume-title":"On the Move to Meaningful Internet Systems: OTM 2008","author":"R. Hull","year":"2008","unstructured":"Hull, R.: Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges. In: Meersman, R., Tari, Z. (eds.) OTM 2008, Part II. LNCS, vol.\u00a05332, pp. 1152\u20131163. Springer, Heidelberg (2008)"},{"key":"23_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-69534-9_4","volume-title":"Advanced Information Systems Engineering","author":"D. M\u00fcller","year":"2008","unstructured":"M\u00fcller, D., Reichert, M., Herbst, J.: A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures. In: Bellahs\u00e8ne, Z., L\u00e9onard, M. (eds.) CAiSE 2008. LNCS, vol.\u00a05074, pp. 48\u201363. Springer, Heidelberg (2008)"},{"key":"23_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-642-10383-4_9","volume-title":"Service-Oriented Computing","author":"D. Calvanese","year":"2009","unstructured":"Calvanese, D., De Giacomo, G., Hull, R., Su, J.: Artifact-Centric Workflow Dominance. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol.\u00a05900, pp. 130\u2013143. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32885-5_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T08:19:19Z","timestamp":1620116359000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32885-5_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642328848","9783642328855"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32885-5_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}