Abstract
In dynamic environments, it becomes necessary to quickly implement new business processes, to allow for ad hoc deviations from prespecified processes, and to enable controlled process evolution over time. These fundamental features should be provided by any PAISs without affecting the correctness and soundness of the processes it implements. This chapter presents the AristaFlow BPM Suiteāan adaptive PAIS that addresses these challenges. It has originated from the ADEPT research projects. Its overall vision is to provide next generation process management technology for the flexible support of dynamic processes along the process lifecycle. Due to its generic services and application programming interfaces, the AristaFlow BPM Suite can be applied to a variety of applications from different domains.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
vanĀ der Aalst, W.M.P.: Verification of workflow nets. In: Application and Theory of Petri Nets 1997. Lecture Notes in Computer Science, vol.Ā 1248, pp. 407ā426. Springer, Berlin (1997)
vanĀ der Aalst, W.M.P.: The application of Petri nets to workflow management. J. Circuit. Syst. Comp. 8(1), 21ā66 (1998)
vanĀ der Aalst, W.M.P.: Formalization and verification of event-driven process chains. Inform. Software Tech. 41(10), 639ā650 (1999)
vanĀ der Aalst, W.M.P.: Workflow verification: Finding control-flow errors using Petri-net-based techniques. In: van der Aalst, W., Desel, J., Oberweis, A. (eds.) Business Process Management. Lecture Notes in Computer Science, vol. 1806, pp. 161ā183. Springer, Berlin (2000)
vanĀ der Aalst, W.M.P.: Exterminating the dynamic change bug: A concrete approach to support worfklow change. Inform. Syst. Front. 3(3), 297ā317 (2001)
vanĀ der Aalst, W.M.P.: Process Mining ā Discovery, Conformance and Enhancement of Business Processes. Springer, Berlin (2011)
vanĀ der Aalst, W.M.P., Barthelmess, P., Ellis, C.A., Wainer, J.: Workflow modeling using proclets. In: Scheuermann, P., Etzion, O. (eds.) Proceedings of the 7th International Conference on Cooperative Information Systems (CoopISā00). Lecture Notes in Computer Science, vol. 1901, pp. 198ā209. Springer, Berlin (2000)
vanĀ der Aalst, W.M.P., Basten, T.: Identifying commonalities and differences in object life cycles using behavorial inheritance. In: Colom, J.M., Koutny, M. (eds.) Proceedings of the International Conference on Application and Theory of Petri Nets (ICATPNā01). Lecture Notes in Computer Science, vol. 2075, pp. 32ā52. Springer, Berlin (2001)
vanĀ der Aalst, W.M.P., Basten, T.: Inheritance of workflows: An approach to tackling problems related to change. Theor. Comput. Sci. 270(1ā2), 125ā203 (2002)
vanĀ der Aalst, W.M.P., deĀ Beer, H.T., van Dongen, B.F.: Process mining and verification of properties: An approach based on temporal logic. In: Proceedings of the 13th International Conference on Cooperative Information (CoopISā05). Lecture Notes in Computer Science, vol. 3760, pp. 130ā147. Springer, Berlin (2005)
vanĀ der Aalst, W.M.P., van Dongen, B.F., Herbst, J., Maruster, L., Schimm, G., Weijters, A.J.M.M.: Workflow mining: A survey of issues and approaches. Data Knowl. Eng. 27(2), 237ā267 (2003)
vanĀ der Aalst, W.M.P., Dumas, M., Gottschalk, F., ter Hofstede, A.H.M., La Rosa, M.,Ā Mendling, J.: Preserving correctness during business process model configuration. Formal Asp. Comput. 22(3ā4), 459ā482 (2010)
vanĀ der Aalst, W.M.P., van Hee, K.: Workflow Management. MIT, Cambridge (2002)
vanĀ der Aalst, W.M.P., Jablonski, S.: Dealing with workflow change: Identification of issues an solutions. Int. J. Comput. Syst. Sci. Eng. 15(5), 267ā276 (2000)
vanĀ der Aalst, W.M.P., Lassen, K.B.: Translating unstructured workflow processes to readable BPEL: Theory and implementation. Inform. Software Tech. 50, 131ā159 (2008)
vanĀ der Aalst, W.M.P., Lohmann, N., La Rosa, M., Xu, J.: Correctness ensuring process configuration: An approach based on partner synthesis. In: BPM. Lecture Notes in Computer Science, vol. 6336, pp. 95ā111. Springer, New York (2010)
vanĀ der Aalst, W.M.P., Mans, R.S., Russell, N.C.: Workflow support using proclets: Divide, interact and conquer. Bull. IEEE Comput. Soc. Tech. Committ. Data Eng. 32(3), 16ā22 (2009)
vanĀ der Aalst, W.M.P., Pesic, M.: Decserflow: Towards a truly declarative service flow language. Technical report, BPMcenter.org (2006)
vanĀ der Aalst, W.M.P., Pesic, M., Schonenberg, H.: Declarative workflows: Balancing between flexibility and support. Comput. Sci. Res. Dev. 23(2), 99ā113 (2009)
vanĀ der Aalst, W.M.P., Reijers, H.A., Song, M.K.: Discovering social networks from event logs. Comput. Support Cooper. Work 14(6), 549ā593 (2005)
vanĀ der Aalst, W.M.P., Rosemann, M., Dumas, M.: Deadline-based escalation in process-aware information systems. Decis. Support Syst. 43, 492ā511 (2007)
vanĀ der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet another workflow language. Inform. Syst. 30(4), 245ā275 (2005)
vanĀ der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distr. Parallel Database 14(1), 5ā51 (2003)
vanĀ der Aalst, W.M.P., Weske, M., GrĆ¼nbauer, D.: Case handling: A new paradigm for business process support. Data Knowl. Eng. 53(2), 129ā162 (2005)
vanĀ der Aalst, W.M.P., etĀ al.: Process mining manifesto. In: Business Process Management Workshops (1), pp. 169ā194 (2011)
Aamodt, A., Plaza, E.: Case-based reasoning: Foundational issues, methodological variations and system approaches. AI Comm. 7(2), 39ā59 (1994)
Abecker, A., Bernardi, A., van Elst, L., Lauer, A., Maus, H., Schwarz, S., Sintek, M.: Frodo: A framework for distributed organizational memories. Milestone 1: Requirements analysis and system architecture. DFKI document, DFKI (2001)
Adams, M., ter Hofstede, A.H.M., vanĀ der Aalst, W.M.P., Edmond, D.: Dynamic, extensible and context-aware exception handling for workflows. In: Proceedings of the CoopISā07. Lecture Notes in Computer Science, vol. 4803, pp. 95ā112. Springer, New York (2007)
Adams, M., ter Hofstede, A.H.M., Edmond, D., vanĀ der Aalst, W.M.P.: A service-oriented implementation of dynamic flexibility in workflows. In: Proceedings of the Coopisā06. Lecture Notes in Computer Science, vol. 4275, pp. 291ā308. Springer, New York (2006)
Adams, M., ter Hofstede, A.H.M., Edmond, D., vanĀ der Aalst, W.M.P.: Dynamic and extensible exception handling for workflows: A service-oriented implementation. Technical Report. BPM Center Report BPM-07-03, BPMcenter.org (2007)
Aggarwal, R., Verma, K., Miller, J., Milnor, W.: Constraint driven web service composition in METEOR-S. In: Proceedings of the International Conference on Services Computing (SCC 2004). 2004 IEEE International Conference on Services Computing (SCC 2004), 15ā18 September 2004, Shanghai, China. IEEE SCC. IEEE Computer Society, pp.Ā 23ā30 (2004)
Aha, D.W., MuƱoz-Avila, H.: Introduction: Interactive case-based reasoning. Appl. Intell. 14(1), 7ā8 (2001)
Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M., Torroni, P.: Expressing and verifying business contracts with abductive logic programming. In: Boella, G., van der Torre, L.W.N., Verhagen, H. (eds.) Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, vol. 07122. Internationales Begegnungs- und Forschungszentrum fĆ¼r Informatik (IBFI), Schloss Dagstuhl, Germany (2007)
Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services ā Concepts, Architectures and Applications. Springer, Berlin (2004)
Andany, J., Leonard, M., Palisser, C.: Management of schema evolution in databases. In: Proceedings of the International Conference on Very Large Databases (VLDBā91), Barcelona, pp. 161ā170 (1991)
Awad, A., Decker, G., Weske, M.: Efficient compliance checking using BPMN-Q and temporal logic. In: Proceedings of the 6th International Conference on Business Process Management (BPMā08), pp. 326ā341. Springer, New York (2008)
Awad, A., Weidlich, M., Weske, M.: Specification, verification and explanation of violation for data-aware compliance rules. In: Proceedings of the 7th International Conference on Service Oriented Computing (ICSOCā09), pp. 500ā515. Springer, New York (2009)
Ayora, C., Torres, V., Pelechano, V.: Variability management in business process models. Technical ReportĀ 17, PROS - UPV (2012)
Bandinelli, S., Fugetta, A., Ghezzi, C.: Software process model evolution in the SPADE environment. IEEE Trans. Software Eng. 19(12), 1128ā1144 (1993)
Barba, I., Del Valle, C.: A constraint-based approach for planning and scheduling repeated activities. In: Proceedings of the COPLAS, pp. 55ā62 (2011)
Barba, I., Weber, B., Del Valle, C.: Supporting the optimized execution of business processes through recommendations. In: Business Process Management Workshops (1), pp. 135ā140 (2011)
Basel Committee on Banking Supervision: Intāl convergence of capital measurement and capital standards: A revised framework ā comprehensive version. Technical Report, Bank for Intāl Settlements (2006)
Bassil, S., Benyoucef, M., Keller, R., Kropf, P.: Addressing dynamism in e-negotiations by workflow management systems. In: 13th International Workshop on Database and Expert Systems Applications (DEXA 2002). Proceedings of the Workshop on Negotiations in e-Markets ā Beyond Price Discovery (DEXAā02). IEEE Computer Society, Aix-en-Provence, France (2002)
Bassil, S., Keller, R., Kropf, P.: A workflowāoriented system architecture for the management of container transportation. In: Desel, J., Pernici, B., Weske, M. (eds.) Proceedings of the BPMā04. Lecture Notes in Computer Science, vol. 3080, pp. 116ā131. Potsdam, Germany (2004)
Batory, D.S.: Feature models, grammars, and propositional formulas. In: 9th International Conference on Software Product Lines. Lecture Notes in Computer Science, pp. 7ā20. Springer, Berlin (2005)
Bauer, T., Reichert, M., Dadam, P.: Intra-subnet load balancing in distributed workflow management systems. Int. J. Cooper. Inform. Syst. 12(3), 295ā324 (2003)
Beck, K.: Extreme Programming Explained. Addison Wesley, Reading (2000)
Becker, J., Delfmann, P., Knackstedt, R.: Adaptive reference modeling: Integrating configurative and generic adaptation techniques for information models. In: Becker, J., Delfmann,Ā P. (eds.) Reference Modeling. Efficient Information Systems Design Through Reuse of Information Models, pp. 23ā49. Physica, Heidelberg (2007)
Becker, J., Kugeler, M., Rosemann, M.: Process management: A guide for the design of business processes. Springer, Berlin (2003)
Beckstein, C., Klausner, J.: A planning framework for workflow management. In: Proceedings of the Workshop Intelligent Workflow and Process Management, Stockholm (1999)
Bensalem, S., etĀ al.: An overview of SAL. In: Proceedings of the of the 5th NASA Langley Formal Methods Workshop, pp. 187ā196. NASA Langley Research Center (2000)
Bhattacharya, K., Hull, R., Su, J.: A Data-Centric Design Methodology for Business Processes, pp. 503ā531. IGI Global, Hershey (2009)
Bobrik, R., Bauer, T., Reichert, M.: Proviado ā personalized and configurable visualizations of business processes. In: Proceedings of the of the 7th International Conference on Electronic Commerce and Web Technologies (EC-WEBā06). Lecture Notes in Computer Science, vol. 4082, pp. 61ā71. Springer, Berlin (2006)
Bobrik, R., Reichert, M., Bauer, T.: View-based process visualization. In: Proceedings of the BPMā07. Lecture Notes in Computer Science, vol. 4714, pp. 88ā95. Springer, Berlin (2007)
Boehm, B.W.: Software Engineering Economics. Prentice Hall, Englewood Cliffs (1981)
Bose, R.P.J.C., vanĀ der Aalst, W.M.P., Zliobaite, I., Pechenizkiy, M.: Handling concept drift in process mining. In: Mouratidis, H., Rolland, C. (eds.) Advanced Information Systems Engineering - 23rd International Conference, CAiSE 2011, London, UK, June 20-24, 2011. Proceedings. Lecture Notes in Computer Science, vol. 6741, pp. 391405. Springer, New York (2011)
Roberts, D., Brant, J., Johnson, R.: A Refactoring tool for Smalltalk. Theor. Pract. Object Syst. 3, 253ā263 (1997)
Canfora, G., DiĀ Penta, M., Esposito, R., Villani, M.L.: A framework for QoS-aware binding and re-binding of composite web services. J. Syst. Software 81(10), 1754ā1769 (2008)
Casati, F.: Models, semantics, and formal methods for the design of workflows and their exceptions. Ph.D. thesis, Milano (1998)
Casati, F., Ceri, S., Paraboschi, S., Pozzi, G.: Specification and implementation of exceptions in workflow management systems. ACM TODS 24(3), 405ā451 (1999)
Casati, F., Ceri, S., Pernici, B., Pozzi, G.: Workflow evolution. Data Knowl. Eng. 24(3), 211ā238 (1998)
Casati, F., Shan, M.C.: Dynamic and adaptive composition of e-services. Inform. Syst. 26(3), 143ā163 (2001)
Castellanos, M., Alves de Medeiros, K., Mendling, J., Weber, B., Weitjers, A.J.M.M.: Business process intelligence. In: Handbook of Research on Business Process Modeling, pp.Ā 456ā480. Idea Group Inc (2009)
Chiao, C.M., KĆ¼nzle, V., Reichert, M.: Towards object-aware process support in healthcare information systems. In: Proceedings of the 4th International Conference on eHealth, Telemedicine, and Social Medicine (eTELEMED 2012), IARIA (2012)
Chiu, D., Li, Q., Karlapalem, K.: Web interface-driven cooperative exception handling in ADOME. Inform. Syst. 26(2), 93ā120 (2001)
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)
Cohn, M.: Agile Estimating and Planning. Prentice Hall PTR, Upper Saddle River (2006)
Combi, C., Gambini, M.: Flaws in the flow: The weakness of unstructured business process modeling languages dealing with data. In: OTM Conferences (1). Lecture Notes in Computer Science, vol. 5870, pp. 42ā59. Springer, New York (2009)
Cortadella, J., Kishinevsky, M., Lavagno, L., Yakovlev, A.: Deriving petri nets from finite transition systems. IEEE Trans. Comput. 47(8), 859ā882 (1998)
Dadam, P., Reichert, M.: The ADEPT project: A decade of research and development for robust and flexible process support. Comput. Sci. Res. Dev. 23(2), 81ā97 (2009)
Dadam, P., Reichert, M., Kuhn, K.: Clinical workflows ā the killer application for process-oriented information systems? In: Proceedings of the International Conference on Business Information Systems (BISā00), pp. 36ā59. Poznan, Poland (2000)
Davies, C.T., Jr.: Data processing spheres of control. IBM Syst. J. 17(2), 179ā198 (1978)
Deiters, W., Gruhn, V.: The FUNSOFT net appoach to software process management. Int. J.Ā Software Eng. Knowl. Eng. 4(2), 229ā256 (1994)
Dijkman, R., Dumas, M., van Dongen, B., Kaarik, R., Mendling, J.: Similarity of business process models: Metrics and evaluation. Inform. Syst. 36(2), 498ā516 (2011)
Dijkman, R., Gfeller, B., KĆ¼ster, J., Vƶlzer, H.: Identifying refactoring opportunities in process model repositories. Inform. Software Tech. 53(9), 937ā948 (2011). Studying work practices in Global Software Engineering
Dijkstra, E.W.: Chapter I: Notes on structured programming. In: Dahl, O.J., Dijkstra, E.W., Hoare, C.A.R. (eds.) Structured programming, pp. 1ā82. Academic, San Diego (1972)
Domingos, D., Rito-Silva, A., Veiga, P.: Authorization and access control in adaptive workflows. In: ESORICS 2003. Lecture Notes in Computer Science, pp. 23ā38. Springer, New York (2003)
van Dongen, B.F., vanĀ der Aalst, W.M.P.: Multi-phase process mining: Building instance graphs. In: ERā04. Lecture Notes in Computer Science 3288, pp. 362ā376. Springer, Berlin (2004)
van Dongen, B.F., vanĀ der Aalst, W.M.P., Verbeek, H.M.W.: Verification of EPCs: Using reduction rules and Petri nets. In: CAiSE. Lecture Notes in Computer Science, vol. 3520, pp.Ā 372ā386. Springer, New York (2005)
Dourish, P., Holmes, J., MacLean, A., Marqvardsen, P., Zbyslaw, A.: Freeflow: Mediating between representation and action in workflow systems. In: Proceedings of the ACM Conference on Computer Supported Cooperative Work, CSCW ā96, pp. 190ā198 (1996)
Dumas, M., GarcĆa-BaƱuelos, L., Dijkman, R.M.: Similarity search of business process models. IEEE Data Eng. Bull. 32(3), 23ā28 (2009)
Dumas, M., ter Hofstede, A.H.M., vanĀ der Aalst, W.M.P. (eds.): Process-Aware Information Systems. Wiley, New York (2005)
Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property specification patterns for finite-state verification. In: Proceedings of the 2nd Workshop Formal Methods in Software Practice (FMSPā98). ACM, New York (1998)
Eder, J., Liebhart, W.: Workflow transactions. In: Lawrence, P. (ed.) Workflow Handbook 1997, pp. 195ā202. Wiley, New York (1997)
Eder, J., Tahamtan, A.: Temporal conformance of federated choreographies. In: Proceedings of the 19th International Conference Database and Expert Systems Applications (DEXAā08), pp. 668ā675. Springer, New York (2008)
Ellis, C.A., Keddara, K., Rozenberg, G.: Dynamic change within workflow systems. In: Proceedings of the ACM Conference on Organizational Computing Systems (COOCSā95), Milpitas, pp. 10ā21 (1995)
Ellis, C.A., Maltzahn, C.: The Chautauqua workflow system. In: Proceedings of the International Conference on System Science. Maui, Hawaii (1997)
Elmagarmid, A.K. (ed.): Database Transaction Models for Advanced Applications. Morgan Kaufmann, San Mateo (1992)
Fahland, D., Woith, H.: Towards process models for disaster response. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.), Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 2ā4, 2008. Proceedings. Lecture Notes in Computer Science, vol. 5240, pp. 254ā265. Springer, New York (2008)
Fent, A., Reiter, H., Freitag, B.: Design for change: Evolving workflow specifications in ULTRAflow. In: Proceedings of the International Conference on Advanced Information Systems Engineering (CAISEā02). Lecture Notes in Computer Science, vol. 2348, pp. 516ā534. Springer, New York (2002)
Fowler, M., Beck, K., Brant, J., Opdyke, W., Roberts, D.: Refactoring: Improving the design of existing code. Addison-Wesley, Reading (1999)
Frauenhofer ISST: SPOT Project. http://www.spot.fraunhofer.de/ (2010). Accessed 13 July 2010
Gabbay, D., Pnueli, A., Shelah, S., Stavi, J.: On the temporal analysis of fairness. In: Proceedings of the 7th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 163ā173 (1980)
Garcia-Molina, H., Gawlick, D., Klein, J., Kleissner, K., Salem, K.: Modeling long-running activities as nested Sagas. Data Eng. 14, 14ā18 (1991)
Garcia-Molina, H., Salem, K.: Sagas. In: Dayal, U., Traiger, I.L. (eds.) Proceedings of the Association for Computing Machinery Special Interest Group on Management of Data 1987 Annual Conference, San Francisco, California, May 27ā29, 1987, pp. 249ā259. ACM Press (1987)
Gebauer, J., Schober, F.: Information system flexibility and the cost efficiency of business processes. J. Assoc. Inform. Syst. 7(3), 122ā147 (2006)
Ghattas, J., Peleg, M., Soffer, P., Denekamp, Y.: Learning the context of a clinical process. In: Business Process Management Workshops. Lecture Notes in Business Information Processing, vol.Ā 43, pp. 545ā556. Springer, New York (2009)
Ghattas, J., Soffer, P., Peleg, M.: A formal model for process context learning. In: Business Process Management Workshops. Lecture Notes in Business Information Processing, vol.Ā 43, pp. 140ā157. Springer, New York (2009)
Ghose, A., Koliadis, G.: Auditing business process compliance. In: Proceedings of the 5th International Conference on Service-Oriented Computing (ICSOCā07), pp. 169ā180. Springer, New York (2007)
Giblin, C., MĆ¼ller, S., Pfitzmann, B.: From regulatory policies to event monitoring rules: Towards model-driven compliance automation. Technical Report, RZ-3662, IBM Research GmbH (2006)
van Glabbeek, R., Weijland, W.P.: Branching time and abstraction in bisimulation semantics. J. ACM 43(3), 555ā600 (1996)
Goedertier, S., Vanthienen, J.: Designing compliant business processes with obligations and permissions. In: Proceedings of the BPMā06 Workshops, pp. 5ā14. Springer, New York (2006)
Gottschalk, F.: Configurable process models. Ph.D. thesis, Eindhoven University of Technology, The Netherlands (2009)
Gottschalk, F., vanĀ der Aalst, W.M.P., Jansen-Vullers, M.H.: Merging event-driven process chains. In: OTM Conferences (1). Lecture Notes in Computer Science, vol. 5331, pp. 418ā426. Springer, Berlin (2008)
Gottschalk, F., vanĀ der Aalst, W.M.P., Jansen-Vullers, M.H., La Rosa, M.: Configurable workflow models. Int. J. Cooper. Inf. Syst. 17(2), 177ā221 (2008)
Gottschalk, F., Wagemakers, T.A.C., Jansen-Vullers, M.H., vanĀ der Aalst, W.M.P., LaĀ Rosa,Ā M.: Configurable process models: Experiences from a municipality case study. In: CAiSEā09. Lecture Notes in Computer Science, vol. 5565, pp. 486ā500. Springer, New York (2009)
Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: Proceedings of the 10th International Enterprise Distributed Object Computing Conference (EDOCā06), pp. 221ā232. IEEE Computer Society, New York (2006)
Grambow, G., Oberhauser, R., Reichert, M.: Employing semantically driven adaptation for amalgamating software quality assurance with process management. In: Second International Conference on Adaptive and Self-adaptive Systems and Applications (ADAPTIVEā10), pp.Ā 58ā67. Xpert Publ Services, Wilmington (2010)
Grambow, G., Oberhauser, R., Reichert, M.: Semantic workflow adaption in support of workflow diversity. In: 4th International Conference on Advances in Semantic Processing (SEMAPROā10), pp. 158ā165. Xpert Publ Services, Wilmington (2010)
Grambow, G., Oberhauser, R., Reichert, M.: Contextual injection of quality measures into software engineering processes. Int. J. Adv. Software 4(1ā2), 76ā99 (2011)
Grambow, G., Oberhauser, R., Reichert, M.: Semantically-driven workflow generation using declarative modeling for processes in software engineering. In: Workshops Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, EDOCW 2011, Helsinki, Finland, pp.Ā 164ā173. IEEE Computer Society (2011)
Grambow, G., Oberhauser, R., Reichert, M.: Towards a workflow language for software engineering. In: Proceedings of the 10th IASTED International Confernece on Software Engineering (SEā11), Innsbruck, Austria. IASTED (2011)
Grambow, G., Oberhauser, R., Reichert, M.: Towards automatic process-aware coordination in collaborative software engineering. In: ICSOFTā11 (1), Seville, Spain, pp. 5ā14. SciTePress (2011)
Gray, J., Reuter, A.: Transaction Processing: Concepts and Techniques. Morgan Kaufmann, San Mateo (1993)
Green, T.R.: Cognitive dimensions of notations. In: Proceedings of the BCSHCI ā89, pp.Ā 443ā460. Cambridge University Press, Cambridge (1989)
Green, T.R., Petre, M.: Usability analysis of visual programming environments: A ācognitive dimensionsā framework. J. Vis. Lang. Comput. 7(2), 131ā174 (1996)
Grosskopf, A., Decker, G., Weske, M.: The Process: Business Process Modeling Using BPMN. Meghan Kiffer Pr, Tampa (2009)
Gruhn, V., Laue, R.: Complexity metrics for business process models. In: Proceedings of the 9th International Conference on Business Information Systems (BISā06), Klagenfurt, Austria. Lecture Notes in Informatics, vol. 85, pp. 1ā12. GI (2006)
GĆ¼nther, C.W., Reichert, M., vanĀ der Aalst, W.M.P.: Supporting flexible processes with adaptive workflow and case handling. In: Proceedings of the WETICEā08, 3rd IEEE Workshop on Agile Cooperative Process-aware Information Systems (ProGilityā08), pp. 229ā234. IEEE Computer Society, New York (2008)
GĆ¼nther, C.W., Rinderle, S., Reichert, M., vanĀ der Aalst, W.M.P.: Change mining in adaptive process management systems. In: Proceedings of the CoopISā06. Lecture Notes in Computer Science, vol. 4275, pp. 309ā326. Springer, Berlin (2006)
GĆ¼nther, C.W., Rinderle-Ma, S., Reichert, M., vanĀ der Aalst, W.M., Recker, J.: Using process mining to learn from process changes in evolutionary systems. Int. J. Bus. Process. Integrat. Manag. 3(1), 61ā78 (2008) (Special Issue on Business Process Flexibility)
Hagen, C., Alonso, G.: Exception handling in workflow management systems. IEEE Trans. Software Eng. 26(10), 943ā958 (2000)
Haisjackl, C., Weber, B.: User assistance during process execution ā an experimental evaluation of recommendation strategies. In: Business Process Management Workshops. Lecture Notes in Business Information Processing, vol. 66, pp.Ā 134ā145. Springer, New York (2010)
Hallerbach, A.: Management von Prozessvarianten. Ph.D. thesis, University of Ulm (2010)
Hallerbach, A., Bauer, T., Reichert, M.: Context-based configuration of process variants. In: Proceedings of the TCoB ā08, pp. 31ā40. Barcelona (2008)
Hallerbach, A., Bauer, T., Reichert, M.: Managing process variants in the process life cycle. In: ICEIS 2008 - Proceedings of the Tenth International Conference on Enterprise Information Systems, Barcelona, Spain, June 12ā16, 2008, vol. ISAS-2, (3ā2), pp. 154ā161 (2008)
Hallerbach, A., Bauer, T., Reichert, M.: Guaranteeing soundness of configurable process variants in Provop. In: Proceedings of the 11th IEEE Conference on Commerce and Enterprise Computing (CECā09), pp. 98ā105. IEEE Computer Society, New York (2009)
Hallerbach, A., Bauer, T., Reichert, M.: Capturing variability in business process models: The Provop approach. J. Software Mainten. Evol. Res. Pract. 22(6/7), 519ā546 (2010)
Hallerbach, A., Bauer, T., Reichert, M.: Configuration and Management of Process Variants, pp. 237ā255. Springer, New York (2010)
Hammer, M., Champy, J.: Reengineering the Corporation. Harper Collins, London (1993)
Hammer, M., Stanton, S.: The Reengineering Revolution ā The Handbook. Harper Collins, London (1995)
Hensinger, C., Reichert, M., Bauer, T., Strzeletz, T., Dadam, P.: ADEPT workflow ā advanced workflow technology for the efficient support of adaptive, enterprise-wide processes. In: Proceedings of the Software Demonstration Track (EDBTā00), Konstanz (2000)
Herbst, J., Karagiannis, D.: Intergrating machine learning and workflow management to support acquisition and adaption of workflow models. In: Proceedings of the Workshop on Database and Expert Systems Applications (DEXAā98), Vienna, pp. 745ā752 (1998)
Hochstein, A., Zarnekow, R., Brenner, W.: ITIL as common practice reference model for it service management: Formal assessment and implications for practice. In: IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEEā05), pp. 704ā710 (2005)
ter Hofstede, A.H.M., vanĀ der Aalst, W.M.P., Adams, M., Russell, N.: Modern Business Process Automation: YAWL and Its Support Environment. Springer, Berlin (2009)
Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning About Systems. Cambridge University Press, Cambridge (2004)
Imai, M.: Kaizen: The Key to Japanās Competitive Success. McGraw-Hill/Irwin, New York (1986)
Jablonski, S., Bussler, C.: Workflow Management: Concepts, Architecture and Implementation. Thompson Publishers, London (1996)
Joeris, G., Herzog, O.: Managing evolving workflow specifications. In: Proceedings of the International Conference on Cooperative Information Systems (CoopISā98), New York, pp.Ā 310ā321. IEEE Computer Society (1998)
JĆørgensen, H.D.: Interactive process models. Ph.D. thesis, Trondheim (2004)
Karbe, B., Ramsperger, N., Weiss, P.: Support of cooperative work by electronic circulation folders. SIGOIS Bull. 11, 109ā117 (1990)
Kiepuszewski, B.: Expressiveness and suitability of languages for control flow modelling in workflows. Ph.D. thesis, Queensland University of Technology, Brisbane (2002) (Available via http://www.tm.tue.nl/it/research/patterns)
Kiepuszewski, B., ter Hofstede, A., Bussler, C.: On structured workflow modelling. In: Proceedings of the International Conference on Advanced Information Systems Engineering (CAiSEā00). Lecture Notes in Computer Science, vol. 1789, pp. 431ā445. Springer, New York (2000)
Klingemann, J.: Controlled flexibility in workflow management. In: Proceedings of the CAiSEā00. Lecture Notes in Computer Science, vol. 1789, pp. 126ā141. Springer, New York (2000)
Knuplesch, D., Ly, L.T., Rinderle-Ma, S., Pfeifer, H., Dadam, P.: On enabling data-aware compliance checking of business process models. In: Proceedings of the 29th International Conference on Conceptual Modeling (ERā2010). Lecture Notes in Computer Science, vol.Ā 6412, Springer, Berlin (2010)
Kochut, K., Arnold, J., Sheth, A., Miller, J., Kraemer, E., Arpinar, B., Cardoso, J.: IntelliGEN: A distributed workflow system for discovering protein-protein interactions. Distr. Parallel Databases 13(1), 43ā72 (2003)
Kock, N.F.: Product flow, breadth and complexity of business processes: An empirical study of 15 business processes in three organizations. Bus. Process Re-eng. Manag. J. 2(2), 8ā22 (1996)
Koehler, J., Vanhatalo, J.: Process anti-patterns: How to avoid the common traps of business process modeling. Technical Report RZ-3678, IBM Zurich Research Lab (2007)
Kokash, N., Krause, C., deĀ Vink, E.: Time and data aware analysis of graphical service models. In: Proceedings of the 8th International Conference on Software Engineering and Formal Methods (SEFMā10). IEEE Computer Society, New York (2010)
Kolodner, J.L.: Case-Based Reasoning. Morgan Kaufmann, San Mateo (1993)
Koschmider, A., Song, M., Reijers, H.A.: Advanced social features in a recommendation system for process modeling. In: Proceedings of the Business Information Systems (BISā09). Lecture Notes in Business Information Processing, vol.Ā 21, pp. 109ā120. Springer, New York (2009)
Kowalkiewicz, M., Lu, R., Baeuerle, S., Kruempelmann, M., Lippe, S.: Weak dependencies in business process models. In: Proceedings of the 11th International Conference on Business Information Systems (BISā08). Lecture Notes in Business Information Processing, vol. 7, pp. 177ā188, Springer, New York (2008)
Kradolfer, M., Geppert, A.: Dynamic workflow schema evolution based on workflow type versioning and workflow migration. Technical Report 98.02, University of Zurich, Department of Computer Science (1998)
Kradolfer, M., Geppert, A.: Dynamic workflow schema evolution based on workflow type versioning and workflow migration. In: Proceedings of the International Conference in Cooperative Information Systems (CoopISā99), Edinburgh, pp. 104ā114 (1999)
KĆ¼nzle, V., Reichert, M.: Integrating users in object-aware process management systems: Issues and challenges. In: BPMā09 Workshops. Lecture Notes in Business Information Processing, vol.Ā 43, pp. 29ā41. Springer, Berlin (2009)
KĆ¼nzle, V., Reichert, M.: Towards object-aware process management systems: Issues, challenges, benefits. In: BPMDS/EMMSADā09. Lecture Notes in Business Information Processing, vol.Ā 29, pp. 197ā210. Springer, Berlin (2009)
KĆ¼nzle, V., Reichert, M.: A Modeling Paradigm for Integrating Processes and Data at the Micro Level. In: Proceedings of the BPMDSā11. Lecture Notes in Business Information Processing, pp. 201ā215. Springer, New York (2011)
KĆ¼nzle, V., Reichert, M.: PHILharmonicFlows: Towards a framework for object-aware process management. J. Software Mainten. Evol. Res. Pract. 23(4), 205ā244 (2011)
KĆ¼nzle, V., Reichert, M.: Striving for object-aware process support: How existing approaches fit together. In: Aberer, K., Damiani, E., Dillon, T. (eds.) 1st International Symposium on Data-driven Process Discovery and Analysis (SIMPDAā11), Campione dāItalia, Italy (2011)
KĆ¼nzle, V., Weber, B., Reichert, M.: Object-aware business processes: Fundamental requirements and their support in existing approaches. Int. J. Inform. Syst. Model. Des. 2, 19ā46 (2010)
KĆ¼ster, J.M., Gerth, C., Fƶrster, A., Engels, G.: Detecting and resolving process model differences in the absence of a change log. In: BPMā08. Lecture Notes in Computer Science, vol. 5240, pp. 244ā260. Springer, New York (2008)
La Rosa, M.: Managing variability in process-aware information systems. Ph.D. thesis, Queensland University of Technology, Brisbane, Australia (2009)
La Rosa, M., vanĀ der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Questionnaire-based variability modeling for system configuration. Software Syst. Model. 8(2), 251ā274 (2009)
La Rosa, M., Dumas, M., ter Hofstede, A.H.M.: Modelling business process variability for design-time configuration. In: Cardoso, J., van der Aalst, W.M.P. (eds.) Handbook of Research on Business Process Modeling, pp.Ā 204ā228. Idea Group Inc (2009)
La Rosa, M., Dumas, M., ter Hofstede, A.H.M., Mendling, J.: Configurable multi-perspective business process models. Inf. Syst. 36(2), 313ā340 (2011)
La Rosa, M., Dumas, M., ter Hofstede, A.H.M., Mendling, J., Gottschalk, F.: Beyond control-flow: Extending business process configuration to roles and objects. In: Proceedings of the 27th International Conference on Conceptual Modeling (ERā08). Lecture Notes in Computer Science, vol. 5231, pp. 199ā215. Springer, New York (2008)
La Rosa, M., Dumas, M., Uba, R., Dijkman, R.M.: Merging business process models. In: OTM Conferences (1). Lecture Notes in Computer Science, vol. 6426, pp. 96ā113. Springer, New York (2010)
Lanz, A., Kreher, U., Reichert, M., Dadam, P.: Enabling process support for advanced applications with the AristaFlow BPM Suite. In: Proceedings of the Business Process Management 2010 Demonstration Track, no. 615 in CEUR Workshop Proceedings (2010)
Lanz, A., Reichert, M., Dadam, P.: Robust and flexible error handling in the AristaFlow BPM Suite. In: Proceedings of the CAiSEā10 Forum, Information Systems Evolution. Lecture Notes in Business Information Processing, vol.Ā 72, pp. 174ā189. Springer, New York (2010)
Lanz, A., Weber, B., Reichert, M.: Workflow time patterns for process-aware information systems. In: Proceedings of the BPMDS and EMMSAD 2010. Lecture Notes in Business Information Processing 50, pp. 94ā107. Springer, New York (2010)
Laue, R., Mendling, J.: Structuredness and its significance for correctness of process models. Inform. Syst. E-Business Manag. 8, 287ā307 (2010)
Lenz, R., Reichert, M.: IT support for healthcare processes ā premises, challenges, perspectives. Data Knowl. Eng. 61(1), 39ā58 (2007)
deĀ Leoni, M.: Adaptive process management in highly dynamic and pervasive scenarios. In: Proceedings of the Fourth European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2009). Electronic Proceedings in Theoretical Computer Science, vol.Ā 2, pp. 83ā97. Open, Publ. Assoc., Australia (2009)
Leopold, H., Smirnov, S., Mendling, J.: Refactoring of activity labels in business process models. In: 15th International Conference on Applications of Natural Language to Information Systems (NLDB 2010). Lecture Notes in Computer Science, vol. 6177, pp. 268ā276. Springer, New York (2010)
Leopold, H., Smirnov, S., Mendling, J.: Recognizing activity labeling styles in business process models. Enterpr. Mod. Inf. Sys. Architect. 6(1), 16ā29 [Intāl Journal (EMISA Journal)] (2011)
Lerner, B.S., Christov, S., Osterweil, L.J., Bendraou, R., Kannengiesser, U., Wise, A.E.: Exception handling patterns for process modeling. IEEE Trans. Software Eng. 36(2), 162ā183 (2010)
Leymann, F.: Supporting business transactions via partial recovery in workflow management systems. In: Proceedings of the Datenbanksysteme in BĆ¼ro, Technik und Wissenschaft (BTWā95), Dresden, pp. 51ā70 (1995)
Leymann, F., Roller, D.: Production Workflow. Prentice Hall, New Jersey (2000)
Li, C.: Mining process model variants: Challenges, techniques, examples. Ph.D. thesis, University of Twente, The Netherlands (2009)
Li, C., Reichert, M., Wombacher, A.: Discovering reference process models by mining process variants. In: Proceedings of the 6th International Conference on Web Services (ICWSā08), pp. 45ā53. IEEE Computer Society, New York (2008)
Li, C., Reichert, M., Wombacher, A.: On measuring process model similarity based on high-level change operations. In: Proceedings of the ERā08. Lecture Notes in Computer Science, vol. 5231, pp. 248ā264. Springer, Berlin (2008)
Li, C., Reichert, M., Wombacher, A.: Discovering reference models by mining process variants using a heuristic approach. In: Proceedings of the 7th International Conference on Business Process Management (BPMā09). Lecture Notes in Computer Science, vol. 5701, pp.Ā 344ā362. Springer, New York (2009)
Li, C., Reichert, M., Wombacher, A.: Mining based on learning from process change logs. In: Proceedings of the BPMā08 Workshops. Lecture Notes in Business Information Processing, vol.Ā 17, pp. 121ā133. Springer, New York (2009)
Li, C., Reichert, M., Wombacher, A.: What are the problem makers: Ranking activities according to their relevance for process changes. In: IEEE 7th International Conference on Web Services (ICWSā09), pp. 51ā58. IEEE Computer Society, New York (2009)
Li, C., Reichert, M., Wombacher, A.: The MinAdept clustering approach for discovering reference process models out of process variants. Int. J. Cooper. Inform. Syst. 19(3ā4), 159ā203 (2010)
Li, C., Reichert, M., Wombacher, A.: Mining business process variants: Challenges, scenarios, algorithms. Data Knowl. Eng. 70(5), 409ā434 (2011)
Liu, C., Conradi, R.: Automatic replanning of task networks for process model evolution. In: Proceedings of the European Software Engineering Conference, pp. 434ā450. Garmisch-Partenkirchen, Germany (1993)
Liu, R., Bhattacharya, K., Wu, F.Y.: Modeling business contexture and behavior using business artifacts. Adv. Inform. Syst. Eng. 4495, 324ā339 (2007)
Liu, Y., MĆ¼ller, S., Xu, K.: A static compliance-checking framework for business process models. IBM Syst. J. 46(2), 335ā261 (2007)
Lohmann, N., Wolf, K.: Compact representations and efficient algorithms for operating guidelines. Fundam. Inform. 108(1ā2), 43ā62 (2011)
Lu, R., Sadiq, S.W.: Managing process variants as an information resource. In: Proceedings of the BPMā06. Lecture Notes in Computer Science, vol. 4102, pp. 426ā431. Springer, New York (2006)
Luengo, D., Seplveda, M.: Applying clustering in process mining to find different versions of a business process that changes over time. In: Business Process Management Workshops. Lecture Notes in Business Information Processing, vol. 99. Springer, New York (2011)
Luger, G.F.: Artificial Intelligence: Structures and Strategies for Complex Problem Solving. Pearson/Addison Wesley, Boston (2005)
Luo, Z., Sheth, A., Kochut, K., Miller, J.: Exception handling in workflow systems. Appl. Intell. 13(2), 125ā147 (2000)
Ly, L.T., Knuplesch, D., Rinderle-Ma, S., Gƶser, K., Pfeifer, H., Reichert, M., Dadam,Ā P.: SeaFlows Toolset ā compliance verification made easy for process-aware information systems. In: Proceedings of the CAiSEā10 Forum. Lecture Notes in Business Information Processing, vol.Ā 72, pp. 76ā91. Springer, Berlin (2010)
Ly, L.T., Rinderle, S., Dadam, P.: Integration and verification of semantic constraints in adaptive process management systems. Data Knowl. Eng. 64(1), 3ā23 (2008)
Ly, L.T., Rinderle, S., Dadam, P., Reichert, M.: Mining staff assignment rules from event-based data. In: Proceedings of the BPMā05 Workshops, Lecture Notes in Computer Science, vol. 3812, pp. 177ā190. Springer, New York (2005)
Ly, L.T., Rinderle-Ma, S., Dadam, P.: Design and verification of instantiable compliance rule graphs in process-aware information systems. In: Proceedings of the 22nd International Conference on Advanced Systems Engineering (CAiSEā10), pp. 9ā23. Springer, New York (2010)
Ly, L.T., Rinderle-Ma, S., Gƶser, K., Dadam, P.: On enabling integrated process compliance with semantic constraints in process management systems ā requirements, challenges, solutions. Inf. Sys. Front. 14(2), 195ā219 (2012) (Special Issue Governance, Risk and Compliance)
Ly, L.T., Rinderle-Ma, S., Knuplesch, D., Dadam, P.: Monitoring business process compliance using compliance rule graphs. In: Proceedings of the 19th International Conference on Cooperative Information Systems (CoopISā11). Lecture Notes in Computer Science, vol. 7044, pp. 82ā99. Springer, New York (2011)
Maggi, F., Montali, M., Westergaard, M., vanĀ der Aalst, W.M.P.: Monitoring business constraints with linear temporal logic: An approach based on colored automata. In: Proceedings of the BPM 2011. Springer, New York (2011)
Malone, T., Crowston, K., Herman, G.: Organizing Business Knowledge: The MIT Process Handbook. MIT, Cambridge (2003)
Mann, J.E.: Workflow and EAI. EAI J. 1(3), 49ā53 (1999)
Mans, R.S., Russell, N.C., vanĀ der Aalst, W.M.P., Moleman, A.J., Bakker., P.J.M.: Schedule-aware workflow management systems. In: T. Petri Nets and Other Models of Concurrency, vol. 4. Lecture Notes in Computer Science, vol. 6550, pp. 121ā143. Springer, New York (2010)
McCarthy, D., Sarin, S.: Workflow and transactions in inconcert. IEEE Bull. Data Eng. 16(2), 53ā56 (1993)
Mendling, J., Reijers, H.A.: How to define activity labels for business process models? In: Proceedings of the AIS SIGSANDā08, pp. 117ā127 (2008)
Mendling, J., Reijers, H.A., vanĀ der Aalst, W.M.P.: Seven process modeling guidelines (7PMG). Inform. Software Tech. 52(2), 127ā136 (2010)
Mendling, J., Reijers, H.A., Recker, J.: Activity labeling in process modeling: Empirical insights and recommendations. Inform. Syst. 35(4), 467ā482 (2010)
Mendling, J., Verbeek, H.M.W., van Dongen, B.F., vanĀ der Aalst, W.M.P., Neumann, G.: Detection and prediction of errors in EPCs of the SAP reference model. Data Know. Eng. 64(1), 312ā329 (2008)
Mens, T., Gorp, P.V.: A taxonomy of model transformation. Electr. Notes Theor. Comput. Sci. 152, 125ā142 (2006)
Mens, T., Tourwe, T.: A survey of software refactoring. IEEE Trans. Software Eng. 30(2), 126ā139 (2004).
Meyer, H., Weske, M.: Automated service composition using heuristic search. In: Proceedings of the 4th International Conference Business Process Management (BPMā06), Vienna, Austria. Lecture Notes in Computer Science, vol. 4102, pp. 81ā96. Springer, New York (2006)
Miller, G.: The magical number seven, plus or minus two: Some limits on our capacity for processing information. Psychol. Rev. 63, 81ā97 (1956)
Minor, M., Bergmann, R., Gƶrg, S., Walter, K.: Towards case-based adaptation of workflows. In: ICCBRā11. Lecture Notes in Computer Science, vol. 6880, pp. 421ā435. Springer, New York (2010)
Minor, M., Bergmann, R., Gƶrg, S., Walter, K.: Reasoning on business processes to support change reuse. In: CECā11, pp. 18ā25. IEE Computer Press (2011)
Minor, M., Schmalen, D., Koldehoff, A., Bergmann, R.: Structural adaptation of workflows supported by a suspension mechanism and by case-based reasoning. In: Proceedings of the WETICEā07, pp. 370ā375. IEE Computer Society (2007)
Minor, M., Tartakovski, A., Bergmann, R.: Representation and structure-based similarity assessment for agile workflows. In: Proceedings of the ICCBRā07. Lecture Notes in Computer Science, vol. 4626, pp. 224ā238. Springer, New York (2007)
Minor, M., Tartakovski, A., Schmalen, D., Bergmann, R.: Agile workflow technology and case-based change reuse for long-term processes. Int. J. Intell. Inform. Tech. 4(1), 80ā98 (2008)
Montali, M.: Specification and Verification of Declarative Open Interaction Models. Springer, Berlin (2010)
Montali, M., Pesic, M., vanĀ der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographiess. TWEB 4(1) (2010)
Moss, E.: Nested Transactions. MIT, Cambridge (1985)
Mourao, H., Antunes, P.: Supporting effective unexpected exceptions handling in workflow management systems. In: Proceedings of the ACM symposium on Applied computing (SACā07), pp. 1242ā1249. ACM, New York (2007)
MĆ¼ller, D., Herbst, J., Hammori, M., Reichert, M.: IT support for release management processes in the automotive industry. In: Proceedings of the BPMā06. Lecture Notes in Computer Science, vol. 4102, pp. 368ā377. Springer, Vienna (2006)
MĆ¼ller, D., Reichert, M., Herbst, J.: Flexibility of data-driven process structures. In: BPMā06 International Workshops, Workshop on Dynamic Process Management (DPMā06), Lecture Notes in Computer Science, vol. 4103, pp. 181ā192. Springer, New York (2006)
MĆ¼ller, D., Reichert, M., Herbst, J.: Data-driven modeling and coordination of large process structures. In: OTM Conferences (1). Lecture Notes in Computer Science, vol. 4803, pp.Ā 131ā149. Springer, Berlin (2007)
MĆ¼ller, D., Reichert, M., Herbst, J.: A new paradigm for the enactment and dynamic adaptation of data-driven process structures. In: CAiSEā08. Lecture Notes in Computer Science, vol. 5074, pp. 48ā63. Springer, Berlin (2008)
MĆ¼ller, D., Reichert, M., Herbst, J., Kƶntges, D., Neubert, A.: COREPRO-Sim: A tool for modeling, simulating and adapting data-driven process structures. In: 6th International Conference on Business Process Management (BPMā08 Demonstrations). Lecture Notes in Computer Science, vol. 5240, pp. 394ā397. Springer, Berlin (2008)
MĆ¼ller, D., Reichert, M., Herbst, J., Poppa, F.: Data-driven design of engineering processes with COREPRO-modeler. In: 16th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2007), pp. 376ā378. IEEE Computer Society, New York (2007)
MĆ¼ller, R.: Event-oriented dynamic adaptation of workflows. Ph.D. thesis, University of Leipzig, Germany (2002)
MĆ¼ller, R., Greiner, U., Rahm, E.: AgentWork: A workflow system supporting ruleābased workflow adaptation. Data Knowl. Eng. 51(2), 223ā256 (2004)
MĆ¼ller, R., Rahm, E.: Dealing with logical failures for collaborating workflows. In: Proceedings of the International Conference in Cooperative Information Systems (CoopISā00), Eilat, pp. 210ā223 (2000)
Mutschler, B., Reichert, M., Bumiller, J.: Unleashing the effectiveness of process-oriented information systems: Problem analysis, critical success factors and implications. IEEE Trans. Syst. Man Cybern. 38(3), 280ā291 (2008)
Mutschler, B., Weber, B., Reichert, M.: Workflow management versus case handling - results from a controlled software experiment. In: Proceedings of the SACā08, pp. 82ā89. ACM Press (2008)
Nagl, C., Rosenberg, F., Dustdar, S.: Vidre ā a distributed service-oriented business rule engine based on ruleml. In: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), pp. 35ā44. IEEE Computer Society, New York (2006)
Namiri, K., Stojanovic, N.: Pattern-based design and validation of business process compliance. In: Proceedings of the 15th International Conference on Cooperative Information Systems (CoopISā07), pp. 59ā76. Springer, Berlin (2007)
OASIS: Web Services Business Process Execution Language Version 2.0 (2007)
Oberleitner, J., Rosenberg, F., Dustdar, S.: A lightweight model-driven orchestration engine for e-services. In: TES. Lecture Notes in Computer Science, vol. 3811, pp. 48ā57. Springer, New York (2005)
Ohno, T.: Toyota Production System. Productivity Press, Cambridge (1988)
Opdyke, W.F.: Refactoring: A program restrucuring aid in designing object-oriented application frameworks. Ph.D. thesis, University of Illinois (1992)
Ouyang, C., Dumas, M., vanĀ der Aalst, W.M.P., ter Hofstede, A.H.M., Mendling, J.: From business process models to process-oriented software systems. ACM Trans. Software Eng. Methodol. 19(1), 1ā37 (2009)
Pande, P., Neuman, R., Cavanagh, R.: The Six Sigma Way: How GE, Motorola, and Other Top Companies Are Honing Their Performance. Mc-Graw Hill, New York (2000)
Peleg, M., Somekh, J., Dori, D.: A methodology for eliciting and modeling exceptions. J.Ā Biomed. Informat. 42, 736ā747 (2009)
Pesic, M.: Constraint-based workflow management systems: Shifting control to users. Ph.D. thesis, Eindhoven University of Technology (2008)
Pesic, M., Schonenberg, M.H., Sidorova, N., vanĀ der Aalst, W.M.P.: Constraint-based workflow models: Change made easy. In: Proceedings of the CoopISā07. Lecture Notes in Computer Science, vol. 4803, pp. 77ā94. Springer, New York (2007)
Pichler, P., Weber, B., Zugal, S., Pinggera, J., Mendling, J., Reijers, H.A.: Imperative versus declarative process modeling languages: An empirical investigation. In: Proceedings of the ER-BPM ā11. Business Process Management Workshops (1). Lecture Notes in Business Information Processing, vol. 99, pp. 383ā394. Springer, New York (2012)
Polyvyanyy, A., GarcĆa-BaƱuelos, L., Dumas, M.: Structuring acyclic process models. In: Proceedings of the 8th International Conference on Business Process Management (BPMā10), Hoboken, NJ, USA.. Lecture Notes in Computer Science, vol. 6336, pp. 276ā293. Springer, New York (2010)
Poppendieck, M., Poppendieck, T.: Implementing Lean Software Development: From Concept to Cash. Addison-Wesley, Boston (2006)
Pryss, R., Tiedeken, J., Kreher, U., Reichert, M.: Towards flexible process support on mobile devices. In: CAiSE Forum. Lecture Notes in Business Information Processing, vol.Ā 72, pp.Ā 150ā165. Springer, Berlin (2010)
Puhlmann, F.: Soundness verification of business processes specified in the pi-calculus. In: OTM Conferences (1). Lecture Notes in Computer Science, vol. 4803, pp. 6ā23. Springer, New York (2007)
van Dongen, B.F., Dijkman, R.M., Mendling, J.: Measuring similarity between business process models. In: Proceedings of the CAISEā08 conference. Lecture Notes in Computer Science, vol. 5074, pp. 450ā464. Springer, New York (2008)
Rao, J., Su, X.: A survey of automated web service composition methods. In: SWSWPC. Lecture Notes in Computer Science, vol. 3387, pp.Ā 43ā54. Springer, New York (2004)
Redding, G.M., Dumas, M., ter Hofstede, A.H.M., Iordachescu, A.: A flexible, object-centric approach for business process modelling. Service Oriented Comput. Appl. 4(3), 191ā201 (2009)
Redding, G.M., Dumas, M., ter Hofstede, A.H.M., Iordachescu, A.: Transforming object-oriented models to process-oriented models. In: Proceedings of the BPMā07 Workshops. Lecture Notes in Computer Science, vol. 4928, pp. 132ā143. Springer, New York (2007)
Regev, G., Soffer, P., Schmidt, R.: Taxonomy of flexibility in business processes. In: BPMDS. CEUR Workshop Proceedings, vol. 236. CEUR-WS.org (2006)
Reichert, M.: Dynamische AblaufƤnderungen in Workflow-Management-Systemen. Ph.D. thesis, University of Ulm (2000) (in German)
Reichert, M.: What BPM technology can do for healthcare process support. In: 13th Conference on Artificial Intelligence in Medicine (AIMEā11). Lecture Notes in Artificial Intelligence, vol. 6747, pp. 2ā13. Springer, Belin (2011)
Reichert, M., Bassil, S., Bobrik, R., Bauer, T.: The Proviado access control model for business process monitoring components. Enterprise Model. Inform. Syst. Architect. 5(3), 64ā88 (2010)
Reichert, M., Bauer, T., Dadam, P.: Enterprise-wide and cross-enterprise workflow-management: Challenges and research issues for adaptive workflows. In: Enterprise-wide and Cross-enterprise Workflow Management. CEUR Workshop Proceedings, vol.Ā 24, pp. 56ā64. CEUR-WS.org (1999)
Reichert, M., Dadam, P.: A framework for dynamic changes in workflow management systems. In: Proceedings of the 8th International Workshop on Database and Expert Systems Applications, pp. 42ā48. IEEE Computer Society Press (1997)
Reichert, M., Dadam, P.: ADEPT flex ā supporting dynamic changes of workflows without losing control. J. Intell. Inform. Syst. 10(2), 93ā129 (1998)
Reichert, M., Dadam, P.: Enabling adaptive process-aware information systems with ADEPT2. In: Cardoso, J., vanĀ der Aalst, W.M.P. (eds.) Handbook of Research on Business Process Modeling, pp. 173ā203. Information Science Reference, Hershey (2009)
Reichert, M., Dadam, P., Bauer, T.: Dealing with forward and backward jumps in workflow management systems. Software Syst. Model. 1(2), 37ā58 (2003)
Reichert, M., Dadam, P., Rinderle-Ma, S., Jurisch, M., Kreher, U., Goeser, K.: Architectural principles and components of adaptive process management technology. In: Process Innovation for Enterprise Software. LNI, vol. 151, pp. 81ā97. GI, Koellen-Verlag. IEEE Computer Society Press (2009)
Reichert, M., Dadam, P., Rinderle-Ma, S., Lanz, A., Pryss, R., Predeschly, M., Kolb, J., Ly, L.T., Jurisch, M., Kreher, U., Gƶser, K.: Enabling Poka-Yoke workflows with the AristaFlow BPM Suite. In: CEUR Proceedings of the BPMā09 Demonstration Track, Business Process Management Conference 2009 (BPMā09). CEUR Workshop Proceedings, vol. 489. CEUR-WS.org (2009)
Reichert, M., Hensinger, C., Dadam, P.: Supporting adaptive workflows in advanced application environments. In: Proceedings of the Workshop on Workflow Management Systems (EDBTā98), Valencia, Spain, pp. 100ā109 (1998)
Reichert, M., Kolb, J., Bobrik, R., Bauer, T.: Enabling personalized visualization of large business processes through parameterizable views. In: 9th Enterprise Engineering Track at 27th ACM Symposium On Applied Computing (SACā12), pp. 1653ā1660. ACM, New York (2012)
Reichert, M., Kuhn, K., Dadam, P.: Prozessreengineering und -automatisierung in klinischen Anwendungsumgebungen. In: Proc. 41. Jahrestagung (GMDS ā96), Bonn, pp. 219ā223 (1996)
Reichert, M., Rechtenbach, S., Hallerbach, A., Bauer, T.: Extending a business process modeling tool with process configuration facilities: The Provop demonstrator. In: BPM Demos. CEUR Workshop Proceedings, vol. 489. CEUR-WS.org (2009)
Reichert, M., Rinderle, S., Dadam, P.: ADEPT workflow management system: Flexible support for enterprise-wide business processes. In: Proceedings of the International Conference on Business Process Management (BPMā03). Lecture Notes in Computer Science, vol. 2678, pp. 370ā379. Springer, Berlin (2003)
Reichert, M., Rinderle, S., Dadam, P.: On the common support of workflow type and instance changes under correctness constraints. In: Proceedings of the International Conference on Cooperative Information Systems (CoopISā03). Lecture Notes in Computer Science, Catania, Italy, vol. 2888, pp. 407ā425 (2003)
Reichert, M., Rinderle, S., Kreher, U., Dadam, P.: Adaptive process management with ADEPT2. In: Proceedings of the ICDEā05, pp. 1113ā1114. IEEE Computer Society (2005)
Reichert, M., Rinderle-Ma, S., Dadam, P.: Flexibility in process-aware information systems. In: Jensen, K., vanĀ der Aalst, W.M.P. (eds.) Transactions on Petri Nets and Other Models of Concurrency II. Lecture Notes in Computer Science, vol. 5460, pp. 115ā135. Springer, Heidelberg (2009)
Reijers, H.A.: Design and Control of Workflow Processes: Business Process Management for the Service Industry. Springer, Heidelberg (2003)
Reijers, H.A., vanĀ der Aalst, W.M.P.: The effectiveness of workflow management systems: Predictions and lessons learned. Int. J. Inform. Manag. 25(5), 458ā472 (2005)
Reijers., H.A., Liman, S., vanĀ der Aalst, W.M.P.: Product-based workflow design. Manag. Inform. Syst. 20(1), 229ā262 (2003)
Reijers, H.A., Mendling, J., Dijkman, R.M.: Human and automatic modularizations of process models to enhance their comprehension. Inform. Syst. 36(5), 881ā897 (2011)
Reijers, H.A., Rigter, J.H.M., vanĀ der Aalst, W.M.P.: The case handling case. Int. J. Cooper. Inform. Syst. 12(3), 365ā392 (2003)
Reinhartz-Berger, I., Soffer, P., Sturm, A.: Organisational reference models: Supporting an adequate design of local business processes. Int. J. Bus. Process Integrat. Manag. 4(2), 134ā149 (2009)
Reinhartz-Berger, I., Soffer, P., Sturm, A.: Extending the adaptability of reference models. IEEE Trans. Syst. Man Cybern. A 40(5), 1045ā1056 (2010)
Reuter, A., Schwenkreis, F.: ConTracts ā a low-level mechanism for building general-purpose workflow management-systems. IEEE Data Eng. Bull. 18(1), 4ā10 (1995)
Reuter, C., Dadam, P., Rudolph, S., Deiters, W., Trillsch, S.: Guarded process spaces (GPS): A navigation system towards creation and dynamic change of healthcare processes from the end-userās perspective. In: Proceedings of the BPMā11 Workshops, 4th International Workshop on Process-oriented Information Systems in Healthcare (ProHealthā11). Lecture Notes in Business Information Processing. Springer, Heidelberg (2011)
Rinderle, S.: Schema evolution in process management systems. Ph.D. thesis, University of Ulm (2004)
Rinderle, S., Jurisch, M., Reichert, M.: On deriving net change information from change logsĀ ā the deltalayer-algorithm. In: Proceedings of the 12th Conference Datenbanksysteme in Business, Technologie und Web (BTWā07). Lecture Notes in Informatics (LNI), vol. P-103, pp. 364ā381. GI, Bonn (2007)
Rinderle, S., Kreher, U., Lauer, M., Dadam, P., Reichert, M.: On representing instance changes in adaptive process management systems. In: Proceedings of the WETICEā06 Workshops, pp. 297ā304. IEEE Computer Society (2006)
Rinderle, S., Reichert, M.: On the controlled evolution of access rules in cooperative information systems. In: Proceedings of the 13th International Conference on Cooperative Information Systems (CoopISā05). Lecture Notes in Computer Science, vol. 3760, pp. 238ā255. Springer, Heidelberg (2005)
Rinderle, S., Reichert, M.: Data-driven process control and exception handling in process management systems. In: Proceedings of the 18th International Conference on Advanced Information Systems Engineering (CAiSEā06). Lecture Notes in Computer Science, vol. 4001, pp. 273ā287. Springer, Heidelberg (2006)
Rinderle, S., Reichert, M., Dadam, P.: Evaluation of correctness criteria for dynamic workflow changes. In: Proceedings of the International Conference on Business Process Management (BPMā03). Lecture Notes in Computer Science, vol. 2678, pp. 41ā57. Springer, Heidelberg (2003)
Rinderle, S., Reichert, M., Dadam, P.: Correctness criteria for dynamic changes in workflow systems ā a survey. Data Knowl. Eng. 50(1), 9ā34 (2004)
Rinderle, S., Reichert, M., Dadam, P.: Disjoint and overlapping process changes: Challenges, solutions, applications. In: Proceedings of the International Conference on Cooperative Information Systems (CoopISā04). Lecture Notes in Computer Science, Agia Napa, vol. 3290, pp. 101ā120 (2004)
Rinderle, S., Reichert, M., Dadam, P.: Flexible support of team processes by adaptive workflow systems. Distr. Parallel Databases 16(1), 91ā116 (2004)
Rinderle, S., Reichert, M., Dadam, P.: On dealing with structural conflicts between process type and instance changes. In: Proceedings of the BPMā04. Lecture Notes in Computer Science, vol. 3080, pp. 274ā289. Springer, Potsdam (2004)
Rinderle, S., Reichert, M., Jurisch, M., Kreher, U.: On representing, purging, and utilizing change logs in process management systems. In: Proceedings of the BPMā06. Lecture Notes in Computer Science, vol. 4102, pp. 241ā256. Springer, Heidelberg (2006)
Rinderle, S., Weber, B., Reichert, M., Wild, W.: Integrating process learning and process evolution ā a semantics based approach. In: Proceedings of the BPMā05. Lecture Notes in Computer Science, vol. 4102, pp. 252ā267. Springer, Heidelberg (2005)
Rinderle, S., Wombacher, A., Reichert, M.: Evolution of process choreographies in dychor. In: Proceedings of the 14th International Conference on Cooperative Information Systems (CooplSā06). Lecture Notes in Computer Science, vol. 4275, pp. 273ā290. Springer, Heidelberg (2006)
Rinderle, S., Wombacher, A., Reichert, M.: On the controlled evolution of process choreographies. In: Proceedings of the 22nd International Conference on Data Engineering (ICDEā06), p. #124. IEEE Computer Society, New York (2006)
Rinderle-Ma, S.: Data flow correctness in adaptive workflow systems. EMISA Forum 29(2), 25ā35 (2009)
Rinderle-Ma, S., Reichert, M.: A formal framework for adaptive access control models. J.Ā Data Semant. IX. 4601, 82ā112 (2007)
Rinderle-Ma, S., Reichert, M.: Comprehensive life cycle support for access rules in information systems: The CEOSIS project. Enterprise Inform. Syst. 3(3), 219ā251 (2009)
Rinderle-Ma, S., Reichert, M.: Advanced migration strategies for adaptive process management systems. In: Proceedings of the 12th IEEE Conference on Commerce and Enterprise Computing (CECā 10), pp. 56ā63. IEEE, New York (2010)
Rinderle-Ma, S., Reichert, M., Weber, B.: On the formal semantics of change patterns in process-aware information systems. In: Proceedings of the ERā08. Lecture Notes in Computer Science, vol. 5231, pp. 279ā293. Springer, Heidelberg (2008)
Rinderle-Ma, S., Reichert, M., Weber, B.: Relaxed compliance notions in adaptive process management systems. In: Proceedings of the ERā08. Lecture Notes in Computer Science, vol. 5231, pp. 232ā247. Springer, Berlin (2008)
Rolland, C.: A comprehensive view of process engineering. In: Proceedings of the CAiSEā98. Lecture Notes in Computer Science, vol. 1413, pp. 1ā24. Springer, New York (1998)
Rosemann, M., vanĀ der Aalst, W.M.P.: A configurable reference modelling language. Inform. Syst. 32(1), 1ā23 (2005)
Rozinat, A., vanĀ der Aalst, W.M.P.: Decision mining in ProM. In: Business Process Management. Lecture Notes in Computer Science, vol. 4102, pp. 420ā425. Springer, New York (2006)
Rozinat, A., vanĀ der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inform. Syst. 33(1), 64ā95 (2008)
Rupietta, W.: Workparty ā business processes and workflow management. In: Bernus, P., Mertins, K., Schmidt, G. (eds.) Handbook on Architectures of Information Systems, Intāl Handbooks Information System, pp. 569ā589. Springer, Heidelberg (2006)
Russell, N., vanĀ der Aalst, W.M.P., ter Hofstede, A.H.M.: Workflow exception patterns. In: Proceedings of the CAiSEā06. Lecture Notes in Computer Science, vol. 4001, pp. 288ā302. Springer, New York (2006)
Russell, N., vanĀ der Aalst, W.M.P., ter Hofstede, A.H.M.: Exception handling patterns in process-aware information systems. Technical Report BPM Center Report BPM-06-04, BPMcenter.org (2006)
Russell, N., ter Hofstede, A.H.M., vanĀ der Aalst, W.M.P., Mulyar, N.: Workflow control-flow patterns: A revised view. Technical Report BPM-06-22, BPMcenter.org (2006)
Russell, N., ter Hofstede, A.H.M., Edmond, D., vanĀ der Aalst, W.M.P.: Workflow data patterns. Technical Report FIT-TR-2004-01, Queensland University of Technology (2004)
Russell, N., ter Hofstede, A.H.M., Edmond, D., vanĀ der Aalst, W.M.P.: Workflow resource patterns. Technical Report WP 127, Eindhoven University of Technology (2004)
Sadiq, S., Governatori, G., Naimiri, K.: Modeling control objectives for business process compliance. In: Proceedings of the 5th International Conference on Business Process Management. Lecture Notes in Computer Science, vol. 4714, pp. 149ā164. Springer, Heidelberg (2007)
Sadiq, S., Marjanovic, O., Orlowska, M.: Managing change and time in dynamic workflow processes. Int. J Cooper. Inform. Syst. 9(1ā2), 93ā116 (2000)
Sadiq, S., Orlowska, M.: On capturing exceptions on workflow process models. In: Proceedings of the BISā2000, pp. 3ā19. Springer, New York (2000)
Sadiq, S., Orlowska, M., Sadiq, W., Schulz, K.: When workflows will not deliver: The case of contradicting work practice. In: BIS (2005)
Sadiq, S., Sadiq, W., Orlowska, M.: Pockets of flexibility in workflow specifications. In: Proceedings of the ERā01. Lecture Notes in Computer Science, vol. 2224, pp. 513ā526. Springer, New York (2001)
Sadiq, S., Sadiq, W., Orlowska, M.: A framework for constraint specification and validation in flexible workflows. Inform. Syst. 30(5), 349ā378 (2005)
Sadiq, S.W., Orlowska, M.E., Sadiq, W., Foulger, C.: Data flow and validation in workflow modelling. In: Proceedings of the ADCā04. CRPIT, vol. 27, pp. 207ā214. Australian Computer Society (2004)
Scheer, A.W.: ARIS. Vom Geschftsprozess zum Anwendungssystem. Springer, Heidelberg (2002)
Schobbens, P.Y., Heymans, P., Trigaux, J.C.: Feature diagrams: A survey and a formal semantics. In: Requirements Engineering, pp. 136ā145. IEEE Computer Society (2006)
Schonenberg, H., Mans, R., Russell, N., Mulyar, N., vanĀ der Aalst, W.M.P.: Process flexibility: A survey of contemporary approaches. In: CIAO!/EOMAS, Lecture Notes in Business Information Processing, vol. 10, pp. 16ā30. Springer, New York (2008)
Schonenberg, H., Weber, B., van Dongen, B.F., vanĀ der Aalst, W.M.P.: Supporting flexible processes through recommendations based on history. In: Proceedings of the BPMā08. Lecture Notes in Computer Science, vol. 5240, pp.Ā 51ā66. Springer, New York (2008)
Schultheiss, B., Meyer, J., Mangold, R., Zemmler, T., Reichert, M.: Designing the processes for chemotherapy treatment in a womenās hospital (in german). Technical report, University of Ulm (1996)
Schuschel, H., Weske, M.: Integrated workflow planning and coordination. In: Database and Expert Systems Applications. Lecture Notes in Computer Science, vol. 2736, pp. 771ā781. Springer, Berlin (2003)
Schuschel, H., Weske, M.: Triggering replanning in an integrated workflow planning and enactment system. In: ADBIS. Lecture Notes in Computer Science, vol. 3255, pp. 322ā335. Springer, New York (2004)
Sharp, A., McDermott, P.: Workflow modeling: tools for process improvement and application development. Artech House, Norwood (2001)
Sidorova, N., Stahl, C., Trcka, N.: Workflow soundness revisited: Checking correctness in the presence of data while staying conceptual. In: Proceedings of the CAiSEā10. Lecture Notes in Computer Science, vol. 6051, pp. 530ā544. Springer, New York (2010)
Silver, B.: BPMS watch: Ten tips for effective process modeling. Http://www.bpminstitute.org/articles/article/article/bpms-watch-ten-tips-for-effective-process-modeling.html (2009). Accessed 23 July 2012
Silver, B.: Case management: Addressing unique BPM requirements. In: Fischer,Ā L.Ā (ed.) Taming the Unpredictable: Real-World Adaptive Case Management, pp.Ā 1ā12. Future Strategies, Inc., Lighthouse Point (2011)
Sirin, E., Parsia, B., Wu, D., Hendler, J., Nau, D.: Htn planning for web service composition using shop2. Web Semantics: Science, Services and Agents on the World Wide Web 1(4), 377ā396 (2004) (Intāl Semantic Web Conf 2003)
Smirnov, S., Reijers, H.A., Weske, M., Nugteren, T.: Business process model abstraction: AĀ definition, catalog, and survey. Distr. Parallel Databases 30(1), 63ā99 (2012)
Soffer, P.: Mirror, mirror on the wall, can i count on you at all? Exploring data inaccuracy in business processes. In: BMMDS/EMMSAD, Lecture Notes in Business Information Processing, vol. 50, pp. 14ā25. Springer, New York (2010)
Song, M., vanĀ der Aalst, W.M.P.: Towards comprehensive support for organizational mining. Decis. Support Syst. 46(1), 300ā317 (2008)
Strong, D.M., Miller, S.M.: Exceptions and exception handling in computerized information processes. ACMāTOIS 13(2), 206ā233 (1995)
Sun, S.X., Zhao, J.L., Nunamaker, J.F., Sheng, O.R.L.: Formulating the data-flow perspective for business process management. Inform. Syst. Res. 17(4), 374ā391 (2006)
Swenson, K.D.: Mastering the Unpredictable: How Adaptive Case Management Will Revolutionize the Way That Knowledge Workers Get Things Done. Meghan-Kiffer Press, Tampa, FL (2010)
Trcka, N., vanĀ der Aalst, W.M.P., Sidorova, N.: Data-flow anti-patterns: Discovering data-flow errors in workflows. In: CAiSE. Lecture Notes in Computer Science, vol. 5565, pp. 425ā439. Springer, New York (2009)
United States Code: Sarbanes-oxley act of 2002, pl 107ā204, 116 stat 745. Codified in Sections 11, 15, 18, 28, and 29 USC (2002)
V. Glabbeek, R., Goltz, U.: Refinement of actions and equivalence notions for concurrent systems. Acta Inform 37(4ā5), 229ā327 (2001)
Vanderfeesten, I.: Product-based design and support of workflow processes. Ph.D. thesis, Eindhoven University of Technology (2009)
Vanderfeesten, I., Reijers, H.A., vanĀ der Aalst, W.M.P.: Product-based workflow support. Inform. Syst. 36(2), 517ā535 (2011)
Vanhatalo, J., Voelzer, H., Koehler, J.: The refined process structure tree. Data Knowl. Eng. 69(8), 793ā818 (2009)
Verbeek, E.: Verification of WFāNets. Ph.D. thesis, Technical University of Eindhoven (2004)
Verbeek, H.M.W., Basten, T., vanĀ der Aalst, W.M.P.: Diagnosing workflow processes using Woflan. Comput. J. 44(4), 246ā279 (2001)
Wagenknecht, A., RĆ¼ppel, U.: Improving resource management in flood response with process models and web GIS. In: 16th TIEMS 2009, pp. 141ā151 (2009). ISBN 987-7-302-18670-0
Waimer, M.: Integration of adaptive process management technology and process mining (in german). Ph.D. thesis, Diploma Thesis, University of Ulm (2006)
Wainer, J., Bezerra, F., Barthelmess, P.: Tucupi: A flexible workflow system based on overridable constraints. In: Proceedings of the SAC ā04, pp. 498ā502. ACM, New York (2004)
Wainer, J., deĀ LimaĀ Bezerra, F.: Constraint-based flexible workflows. In: CRIWG. Lecture Notes in Computer Science, vol. 2806, pp. 151ā158. Springer, New York (2003)
Weber, B., Mutschler, B., Reichert, M.: Investigating the effort of using business process management technology: Results from a controlled experiment. Sci. Comput. Program. 75(5), 292ā310 (2010)
Weber, B., Pinggera, J., Zugal, S., Wild, W.: Alaska simulator toolset for conducting controlled experiments on process flexibility. In: Information Systems Evolution. Lecture Notes in Business Information Processing, vol.Ā 72, pp. 205ā221. Springer, Heidelberg (2011)
Weber, B., Reichert, M., Reijers, H.A., Mendling, J.: Refactoring large process model repositories computers and industry. Comput. Ind. 62, 467ā486 (2011)
Weber, B., Reichert, M., Rinderle-Ma, S.: Change patterns and change support features -enhancing flexibility in process-aware information systems. Data Know. Eng. 66(3), 438ā466 (2008)
Weber, B., Reichert, M., Wild, W.: Case-base maintenance for CCBR-based process evolution. In: Proceedings of the ECCBRā06. Lecture Notes in Computer Science, vol. 4106, pp.Ā 106ā120. Springer, Heidelberg (2006)
Weber, B., Reichert, M., Wild, W., Rinderle, S.: Balancing flexibility and security in adaptive process management systems. In: Proceedings of the CoopISā05. Lecture Notes in Computer Science, vol. 3760, pp. 59ā76. Springer, Heidelberg (2005)
Weber, B., Reichert, M., Wild, W., Rinderle-Ma, S.: Providing integrated life cycle support in process-aware information systems. Int. J. Cooper. Inform. Syst. 18(1), 115ā165 (2009)
Weber, B., Reijers, H.A., Zugal, S., Wild, W.: The declarative approach to business process execution: An empirical test. In: Proceedings of the CAiSEā09. Lecture Notes in Computer Science, vol. 5565, pp. 470ā485. Springer, New York (2009)
Weber, B., Rinderle, S., Reichert, M.: Change patterns and change support features in process-aware information systems. In: Proceedings of the CAiSEā07. Lecture Notes in Computer Science, vol. 4495, pp. 574ā588. Springer, Berlin (2007)
Weber, B., Rinderle, S., Wild, W., Reichert, M.: CCBRādriven business process evolution. In: Proceedings of the ICCBRā05. Lecture Notes in Computer Science, vol. 3620, pp. 610ā624. Springer, Heidelberg (2005)
Weber, B., Wild, W., Breu, R.: CBRFlow: Enabling adaptive workflow management through conversational cbr. In: Proceedings of the ECCBRā04. Lecture Notes in Computer Science, vol. 3155, pp. 434ā448. Springer, New York (2004)
Weber, I., Hoffmann, J., Mendling, J.: Semantic business process validation. In: Proceedings of the 3rd International Workshop on Semantic Business Process Management (SBPMā08), CEUR-WS Proceedings, vol. 472, RWTH, Aachen, Germany (2008)
Weijters, A.J.M.M., vanĀ der Aalst, W.M.P.: Rediscovering workflow models from event-based data using little thumb. Integr. Comput. Aided Eng. 10, 151ā162 (2003)
Weikum, G., Schek, H.J.: Concepts and applications of multilevel transactions and open nested transactions. In: Database Transaction Models for Advanced Applications. Morgan Kaufmann, San Mateo (1992)
Weske, M.: Flexible modeling and execution of workflow activities. In: Proceedings of the 31st Hawaii International Conference on System Sciences (HICSS ā98), Hawaii, pp. 713ā722. IEEE Computer Society Press, Los Alamitos (1998)
Weske, M.: Workflow management systems: Formal foundation, conceptual design, implementation aspects. University of MĆ¼nster, Germany (2000). Habil Thesis
Weske, M.: Formal foundation and conceptual design of dynamic adaptations in a workflow management system. In: Proceedings of the Hawaii International Conference on System Sciences (HICSS-34). IEEE Computer Society Press, Los Alamitos (2001)
Weske, M.: Business Process Management: Concepts, Methods, Technology. Springer, Berlin (2007)
Workflow Management Coalition: Terminology & glossary. Technical Report WFMC-TC-1011, WfMC (1999)
Wynn, M.T., Verbeek, H.M.W., vanĀ der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Business process verification finally a reality. Bus. Process Manag. J. 15(1), 74ā92 (2009)
Zeng, L., Ngu, A., Benatallah, B., Podorozhny, R., Lei, H.: Dynamic composition and optimization of web services. Distr. Parallel Databases 24, 45ā72 (2008)
Zhao, W., Hauser, R., Bhattacharya, K., Bryant, B.R., Cao, F.: Compiling business processes: untangling unstructured loops in irreducible flow graphs. Int. J. Web Grid Serv. 2, 68ā91 (2006)
Zugal, S., Pinggera, J., Weber, B.: Creating declarative process models using test driven modeling suite. In: CAiSE Forum. Lecture Notes in Business Information Processing, vol. 107, pp. 16ā32, pp. 1ā8. Springer, Berlin (2011)
Zugal, S., Pinggera, J., Weber, B.: The impact of testcases on the maintainability of declarative process models. In: Proceedings of the BPMDS/EMMSAD ā11. Lecture Notes in Business Information Processing, vol. 81, pp. 163ā177. Springer, Berlin (2011)
Zugal, S., Pinggera, J., Weber, B.: Toward enhanced life-cycle support for declarative processes. J. Software Evol. Process 24(3), 285ā302 (2012)
zur Muehlen, M., Recker, J.: How much language is enough? Theoretical and practical use of the business process modeling notation. In: CAiSE. Lecture Notes in Computer Science, vol. 5074, pp. 465ā479. Springer, Berlin (2008)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
Ā© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Reichert, M., Weber, B. (2012). AristaFlow BPM Suite. In: Enabling Flexibility in Process-Aware Information Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30409-5_15
Download citation
DOI: https://doi.org/10.1007/978-3-642-30409-5_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30408-8
Online ISBN: 978-3-642-30409-5
eBook Packages: Computer ScienceComputer Science (R0)