×

zbMATH — the first resource for mathematics

Reusing artifact-centric business process models: a behavioral consistent specialization approach. (English) Zbl 1442.68256
Summary: Process reuse is one of the important research areas that address efficiency issues in business process modeling. Similar to software reuse, business processes should be able to be componentized and specialized in order to enable flexible process expansion and customization. Current activity/control-flow centric workflow modeling approaches face difficulty in supporting highly flexible process reuse, limited by their procedural nature. In comparison, the emerging artifact-centric workflow modeling approach well fits into these reuse requirements. Beyond the classic class level reuse in existing object-oriented approaches, process reuse faces the challenge of handling synchronization dependencies among artifact lifecycles as parts of a business process. In this article, we propose a theoretical framework for business process specialization that comprises an artifact-centric business process model, a set of methods to design and construct a specialized business process model from a base model, and a set of behavioral consistency criteria to help check the consistency between the two process models.
Reviewer: Reviewer (Berlin)
MSC:
68U35 Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)
90B70 Theory of organizations, manpower planning in operations research
Software:
BPEL2oWFN; Wendy
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] 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ür Informatik, Bonn, pp 115-128
[2] 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 (ER) 2011, LNCS 6998, pp 332-345
[3] Bloom, B., Fundamental study structural operational semantics for weak bisimulations, Theor Comput Sci, 146, 25-68 (1995) · Zbl 0873.68130
[4] Calvanese D, De Giacomo G, Hull R, Su J (2009) Artifact-centric workflow dominance. In: Proceedings of ICSOC-ServiceWave 2009. LNCS 5900, pp 130-143
[5] 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-277
[6] Chiao, CM; Künzle, V.; Reichert, M., Object-aware process support in healthcare information systems: requirements, conceptual framework and examples, Int J Adv Life Sci, 5, 1-2, 11-26 (2013)
[7] Cohn, D.; Hull, R., Business artifacts: a data-centric approach to modeling business operations and processes, IEEE Data Eng Bull, 32, 3, 3-9 (2009)
[8] Curran, T.; Keller, G., SAP R/3 business blueprint: understanding the business process reference model (1997), Upper Saddle River: Prentice Hall, Upper Saddle River
[9] Decker G, Overdick H, Weske M (2008) Oryx—sharing conceptual models on the web. In: Proceedings of ER 2008, LNCS 5231, pp 536-537
[10] Dijkman, R.; Dumasm, M.; van Dongen, B.; Kaarik, R.; Mendling, J., Similarity of business process models: metrics and evaluation, Inf Syst, 36, 498-516 (2011)
[11] 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-361
[12] 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-49
[13] Gottschalk, F.; van der Aalst, WMP; Jansen-Vullers, M.; Rosa, ML, Configurable workflow models, Int J Cooperative Inf Syst, 17, 2, 177-221 (2008)
[14] Harel, D.; Kupferman, O., On object systems and behavioral inheritance, IEEE Trans Softw Eng, 28, 9, 889-903 (2002)
[15] 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-1163
[16] Johnson R, Pearson D, Pingali K (1994) The program structure tree: computing control regions in linear time. In: PLDI, Proceedings of the ACM SIGPLAN’94 conference on programming language design and implementation, 1994, ACM Press, New York, pp 171-185
[17] 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-47
[18] Künzle, V.; Reichert, M., PHILharmonicFlows: towards a framework for object aware process management, J Softw Maint Evolut Res Pract, 13, 4, 205-244 (2011)
[19] Küster 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-181
[20] Lee, J.; Wyner, GM, Defining specialization for dataflow diagram, Inf Syst, 28, 651-671 (2003) · Zbl 1045.68145
[21] Lohmann N (2011) Compliance by design for artifact-centric business processes. In: Proceedings of BPM 2011, LNCS 696, pp 99-115
[22] Lohmann, N., Compliance by design for artifact-centric business processes, Inf Syst, 38, 606-618 (2013)
[23] 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-307
[24] Lohmann N, Massuthe P, Wolf K (2007) Operating guidelines for finite-state services. In: Proceedings of ICATPN 2007, LNCS 4546, pp 321-341 · Zbl 1226.68063
[25] Massuthe P, Schmidt K (2005) Operating guidelines—an automata-theoretic foundation for the service-oriented architecture. In: Proceedings of the fifth international conference on quality software (QSIC’05), pp 452-457
[26] 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-63
[27] Nigam, A.; Caswell, NS, Business artifacts: an approach to operational specification, IBM Syst J, 42, 3, 428-445 (2003)
[28] Object Management Group (OMG) (2003) UML 2.0 OCL final adopted specification. Technical report ptc/03-10-14,
[29] Object Management Group (OMG) (2004) UML 2.0 superstructure final adopted specification. Technical report ptc/04-10-02
[30] Process Mining Group (2012) ProM Framework, http://www.processmining.org/prom/start
[31] Reisig, W., Petri Nets, EATCS monographs on theoretical computer science (1985), Berlin: Springer, Berlin
[32] Rosa, ML; Reijers, HA; Van Der Aalst, WMP; Dijkman, RM; Mendling, J., APROMORE: an advanced process model repository, Expert Syst Appl, 38, 7029-7040 (2011)
[33] Rosemann, M.; van der Aalst, WMP, A configurable reference modelling language, Inf Syst, 32, 1, 1-23 (2007)
[34] Ryndina K, Küster JM, Gall H (2007) Consistency of business process models and object life cycles. In: Proceedings of MoDELS 2006 workshops, 2007, LNCS 4364, pp 80-90
[35] Sakr S, Awad A (2010) A framework for querying graph-based business process models. In: Proceedings of WWW 2010, ACM, pp 26-30
[36] Salton, G.; Wong, A.; Yang, CS, A vector space model for automatic indexing, Commun ACM, 18, 11, 613-620 (1975) · Zbl 0313.68082
[37] Schrefl, M.; Stumptner, M., Behavior-consistent specialization of object life cycles, ACM TOSEM, 11, 1, 92-148 (2002)
[38] Stephens, S., The supply chain council and the SCOR reference model, Supply Chain Manag Int J, 1, 1, 9-13 (2001)
[39] Taylor C, Probst C (2003) Business process reference model languages: experiences from BPI projects. In: Proceedings of INFORMATIK 2003, Jahrestagung der Gesellschaft f¨ur Informatik e. V (GI), pp 259-263
[40] Uchitel, S.; Kramer, J.; Magee, J., Synthesis of behavioral models from scenarios, IEEE Trans Softw Eng, 29, 2, 99-115 (2003)
[41] van der Aalst WMP (2003) Inheritance of business processes: a journey visiting four notorious problems. Petri Net technology for communication-based systems, pp 383-408 · Zbl 1283.90025
[42] 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-81
[43] 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-52 · Zbl 0986.68094
[44] van der Aalst, WMP; Basten, T., Inheritance of workflows: an approach to tackling problems related to change, Theoret Comput Sci, 270, 125-203 (2002) · Zbl 0984.68113
[45] 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-61 · Zbl 1213.68413
[46] van der Aalst, WMP; Dumas, M.; Gottschalk, F.; ter Hofstede, AHM; Rosa, ML; Mendling, J., Preserving correctness during business process model configuration, Formal Aspects Comput, 22, 3, 459-482 (2010) · Zbl 1213.68413
[47] van der Aalst, WMP; Lohmann, N.; La Rosa, M., Ensuring correctness during process configuration via partner synthesis, Inf Syst, 37, 574-592 (2012)
[48] van Dongen B, Dijkman R, Mendling J (2008) Measuring similarity between business process models. In: Proceedings of CAiSE 2008, LNCS 5074, pp 450-464
[49] van Glabbeek, RJ; Weijland, WP, Branching time and abstraction in bisimulation semantics, J ACM, 43, 3, 555-600 (1996) · Zbl 0882.68085
[50] 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-55
[51] 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-94
[52] Weidlich, M.; Mendling, J.; Weske, M., Efficient consistency measurement based on behavioral profiles of process models, IEEE Trans Softw Eng, 37, 3, 410-429 (2011)
[53] Wyner, GM; Lee, J., Process specialization: defining specialization for state diagrams, Comput Math Organ Theory, 8, 133-155 (2002)
[54] YAWL Foundation (2012) http://ww.yawlfoundation.org/
[55] 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-301
[56] Yongchareon, S.; Liu, C.; Yu, J.; Zhao, X., A view framework for modeling and change validation of artifact-centric inter-organizational business processes, Inf Syst, 47, 51-81 (2015)
[57] Zdun, U.; Hentrich, C.; Dustdar, S., Modeling process-driven and service-oriented architectures using patterns and pattern primitives, ACM Trans Web, 1, 3, 14 (2007)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.