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
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
Bloom B (1995) Fundamental study structural operational semantics for weak bisimulations. Theor Comput Sci 146:25–68
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
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
Chiao CM, Künzle 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–26
Cohn D, Hull R (2009) Business artifacts: a data-centric approach to modeling business operations and processes. IEEE Data Eng Bull 32(3):3–9
Curran T, Keller G (1997) SAP R/3 business blueprint: understanding the business process reference model. Prentice Hall, Upper Saddle River
Decker G, Overdick H, Weske M (2008) Oryx—sharing conceptual models on the web. In: Proceedings of ER 2008, LNCS 5231, pp 536–537
Dijkman R, Dumasm M, van Dongen B, Kaarik R, Mendling J (2011) Similarity of business process models: metrics and evaluation. Inf Syst 36:498–516
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
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
Gottschalk F, van der Aalst WMP, Jansen-Vullers M, Rosa ML (2008) Configurable workflow models. Int J Cooperative Inf Syst 17(2):177–221
Harel D, Kupferman O (2002) On object systems and behavioral inheritance. IEEE Trans Softw Eng 28(9):889–903
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
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
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
Künzle V, Reichert M (2011) PHILharmonicFlows: towards a framework for object aware process management. J Softw Maint Evolut Res Pract 13(4):205–244
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
Lee J, Wyner GM (2003) Defining specialization for dataflow diagram. Inf Syst 28:651–671
Lohmann N (2011) Compliance by design for artifact-centric business processes. In: Proceedings of BPM 2011, LNCS 696, pp 99–115
Lohmann N (2013) Compliance by design for artifact-centric business processes. Inf Syst 38:606–618
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
Lohmann N, Massuthe P, Wolf K (2007) Operating guidelines for finite-state services. In: Proceedings of ICATPN 2007, LNCS 4546, pp 321–341
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
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
Nigam A, Caswell NS (2003) Business artifacts: an approach to operational specification. IBM Syst J 42(3):428–445
Object Management Group (OMG) (2003) UML 2.0 OCL final adopted specification. Technical report ptc/03-10-14,
Object Management Group (OMG) (2004) UML 2.0 superstructure final adopted specification. Technical report ptc/04-10-02
Process Mining Group (2012) ProM Framework, http://www.processmining.org/prom/start
Reisig W (1985) Petri Nets, EATCS monographs on theoretical computer science. Springer, Berlin
Rosa ML, Reijers HA, Van Der Aalst WMP, Dijkman RM, Mendling J (2011) APROMORE: an advanced process model repository. Expert Syst Appl 38:7029–7040
Rosemann M, van der Aalst WMP (2007) A configurable reference modelling language. Inf Syst 32(1):1–23
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
Sakr S, Awad A (2010) A framework for querying graph-based business process models. In: Proceedings of WWW 2010, ACM, pp 26–30
Salton G, Wong A, Yang CS (1975) A vector space model for automatic indexing. Commun ACM 18(11):613–620
Schrefl M, Stumptner M (2002) Behavior-consistent specialization of object life cycles. ACM TOSEM 11(1):92–148
Stephens S (2001) The supply chain council and the SCOR reference model. Supply Chain Manag Int J 1(1):9–13
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
Uchitel S, Kramer J, Magee J (2003) Synthesis of behavioral models from scenarios. IEEE Trans Softw Eng 29(2):99–115
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
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
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
van der Aalst WMP, Basten T (2002) Inheritance of workflows: an approach to tackling problems related to change. Theoret Comput Sci 270:125–203
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
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–482
van der Aalst WMP, Lohmann N, La Rosa M (2012) Ensuring correctness during process configuration via partner synthesis. Inf Syst 37:574–592
van Dongen B, Dijkman R, Mendling J (2008) Measuring similarity between business process models. In: Proceedings of CAiSE 2008, LNCS 5074, pp 450–464
van Glabbeek RJ, Weijland WP (1996) Branching time and abstraction in bisimulation semantics. J ACM 43(3):555–600
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
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
Weidlich M, Mendling J, Weske M (2011) Efficient consistency measurement based on behavioral profiles of process models. IEEE Trans Softw Eng 37(3):410–429
Wyner GM, Lee J (2002) Process specialization: defining specialization for state diagrams. Comput Math Organ Theory 8:133–155
YAWL Foundation (2012) http://ww.yawlfoundation.org/
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
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–81
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