Marlon Dumas

Marcello La Rosa

Jan Mendling

Hajo A. Reijers

Fundamentals of Business Process Management

Reiko Heckel

This volume contains the papers presented at WS-FM 2007, the 4th International Workshop on Web Services and Formal Methods, held on September 28 and 29, 2007 in Brisbane, Australia. Web service technology aims at empowering providers of services, in the broad sense, with the ability to package and deliver their services by means of software applications available on the Web. Existing infrastructures for Web services - ready enable providers to describe services in terms of structure, access policy and behaviour, to locate services, to interact with them, and to bundle simpler services into more complex ones. However, innovations are needed to seamlessly extend this technology in order to deal with challenges such as managing int- actions with stateful and long-running Web services, managing large numbers of Web services each with multiple interfaces and versions, managing the quality of Web service delivery, etc. Formal methods have a fundamental role to play in shaping innovations in Web service technology. For instance, formal methods help to de?ne and to understand the semantics of languages and protocols that underpin existing infrastructures for Web services, and to formulate features that are found to be lacking. They also provide a basis for reasoning about Web service behaviour, for example to discover individual services that can ful?l a given goal, or even to compose multiple services that can collectively ful?l a goal. Finally, formal analysis of security properties and performance are relevant in many application areas of Web services such as e-commerce and e-business.

4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings

Web Services and Formal Methods

Ladjel Bellatreche

Mirjana Ivanović

Olaf Hartig

Panagiotis Karras

Raimundas Matulevičius

Matthias Weidlich

Ahmed Awad

This book constitutes thoroughly reviewed and selected short papers presented at the 25th East-European Conference on Advances in Databases and Information Systems, ADBIS 2021, as well as papers presented at doctoral consortium and ADBIS 2021 workshops. Due to the COVID-19 the conference and satellite events were held in hybrid mode. The 11 full papers and 18 short papers were carefully reviewed and selected from 97 total submissions. This volume presents the papers that have been accepted for the following satellite events: Workshop on Intelligent Data - From Data to Knowledge, DOING 2021; International Symposium on Data-Driven Process Discovery and Analysis, SIMPDA 2021; Workshop on Modern Approaches in Data Engineering and Information System Design, MADEISD 2021; Workshop on Advances in Data Systems Management, Engineering, and Analytics, MegaData 2021; Workshop on Computational Aspects of Network Science, CAoNS 2021; Doctoral Consortium.

ADBIS 2021 Short Papers, Doctoral Consortium and Workshops: DOING, SIMPDA, MADEISD, MegaData, CAoNS, Tartu, Estonia, August 24-26, 2021, Proceedings

New Trends in Database and Information Systems

Jörg Becker

Chiara Ghidini

Dirk Fahland

This book constitutes the proceedings of the 18th International Conference on Business Process Management, BPM 2020, held in Seville, Spain, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 27 full papers included in this volume were carefully reviewed and selected from 125 submissions. Two full keynote papers are also included. The papers are organized in topical sections named: foundations; engineering; and management.

18th International Conference, BPM 2020, Seville, Spain, September 13–18, 2020, Proceedings

Business Process Management

This book constitutes the proceedings of the 25th European Conference on Advances in Databases and Information Systems, ADBIS 2021, held in Tartu, Estonia, in August 2021. The 18 full papers presented together with 3 keynotes were carefully reviewed and selected from 70 submissions. The selected papers span a wide spectrum of topics in databases and related technologies, tackling challenging problems and presenting inventive and efficient solutions. They are organized in 5 sessions: patterns and events, social media and text mining, indexes, queries and constraints, high-dimensional data and data streams, and data integration.

25th European Conference, ADBIS 2021, Tartu, Estonia, August 24–26, 2021, Proceedings

Advances in Databases and Information Systems

Manfred Reichert

Ming-Chien Shan

between active BPM researchers, and stimulated d- cussions on new and emerging issues in line with the conference topics. The proceedings with the papers of all workshops will be published in a separate volume of Springer's Lecture Notes in Business Information Processing series.

6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008, Proceedings

This textbook covers the entire Business Process Management (BPM) lifecycle, from process identification to process monitoring, covering along the way process modelling, analysis, redesign and automation. Concepts, methods and tools from business management, computer science and industrial engineering are blended into one comprehensive and inter-disciplinary approach. The presentation is illustrated using the BPMN industry standard defined by the Object Management Group and widely endorsed by practitioners and vendors worldwide. In addition to explaining the relevant conceptual background, the book provides dozens of examples, more than 230 exercises – many with solutions – and numerous suggestions for further reading. This second edition includes extended and completely revised chapters on process identification, process discovery, qualitative process analysis, process redesign, process automation and process monitoring. A new chapter on BPM as an enterprise capability has been added, which expands the scope of the book to encompass topics such as the strategic alignment and governance of BPM initiatives. The textbook is the result of many years of combined teaching experience of the authors, both at the undergraduate and graduate levels as well as in the context of professional training. Students and professionals from both business management and computer science will benefit from the step-by-step style of the textbook and its focus on fundamental concepts and proven methods. Lecturers will appreciate the class-tested format and the additional teaching material available on the accompanying website.

Marcelo Fantinato

This book constitutes the revised papers of the ten international workshops that were held at BPM 2016, the 14th International Conference on Business Process Management, held in Rio de Janeiro, Brazil, in September 2016. The 36 papers included in this volume were carefully reviewed and selected from a total of 64 submissions. They are from the following workshops: BPI 2016 – 12th International Workshop on Business Process Intelligence; BPMO 2016 – 1st Workshop on Workshop on Business Process Management and Ontologies; BPMS2 2016 – 9th Workshop on Social and Human Aspects of Business Process Management; DeMiMoP 2016 – 4th International Workshop on Decision Mining & Modeling for Business Processes; IWPE 2016 – 2nd International Workshop on Process Engineering; PQ 2016 – 1st International Workshop on Process Querying; ReMa 2016 – 1st Workshop on Resource Management in Business Processes; PRAISE 2016 – 1st International Workshop on Runtime Analysis of Process-Aware Information Systems; SABPM 2016 – 1st International Workshop on Sustainability-Aware Business Process Management; TAProViz 2016 – 5th International Workshop on Theory and Application of Visualizations and Human-centric Aspects in Processes.

BPM 2016 International Workshops, Rio de Janeiro, Brazil, September 19, 2016, Revised Papers

Business Process Management Workshops

Arthur H. ter Hofstede

Wil M. van der Aalst

A unifying foundation to design and implement process-awareinformation systems This publication takes on the formidable task of establishing aunifying foundation and set of common underlying principles toeffectively model, design, and implement process-aware informationsystems. Authored by leading authorities and pioneers in the field,Process-Aware Information Systems helps readers gain a thoroughunderstanding of major concepts, languages, and techniques forbuilding process-aware applications, including: * UML and EPCs: two of the most widely used notations for businessprocess modeling * Concrete techniques for process design and analysis * Process execution standards: WfMC and BPEL * Representative commercial tools: ARIS, TIBCO Staffware, andFLOWer Each chapter begins with a description of the problem domain andthen progressively unveils relevant concepts and techniques.Examples and illustrations are used extensively to clarify andsimplify complex material. Each chapter ends with a set ofexercises, ranging from simple questions to thought-provokingassignments. Sample solutions for many of the exercises areavailable on the companion Web site. Armed with a new and deeper understanding, readers are betterpositioned to make their own contributions to the field andevaluate various approaches to a particular task or problem. Thispublication is recommended as a textbook for graduate and advancedundergraduate students in computer science and information systems,as well as for professionals involved in workflow and businessprocess management, groupware and teamwork, enterprise applicationintegration, and business-to-business integration. A Solution's Manual is available online. An Instructor Support FTPsite is also available.

Bridging People and Software Through Process Technology

Process-Aware Information Systems

Marlon Dumas

Books

Your next favorite book is out there