Call for Papers

Providing rigorous specification and analytic techniques for process-aware information systems is one of the main tasks to address in Business Process Management. For this purpose, in the last two decades well-established approaches from Formal Methods have been successfully developed and adopted so as to provide solid foundations and concrete tools for the automated analysis and testing of complex processes. 
FM-BPM welcomes submissions that use Formal Methods to specify, model and analyze business processes and process-aware information systems. The aim of this workshop is to bring together researchers and practitioners who are interested in the application of formal methods to improve the quality of information systems, and specifically those that rely on BPM concepts and technologies. FMBPM strives at promoting research and development of formal methods and tools in all areas related to BPM: industrial applications, theoretical frameworks, formal modeling, algorithms and methodologies, tooling, experience reports including teaching and industrial cases. 
In addition, the workshop will provide a platform for discussions and the exchange of innovative ideas, thus we also highly encourage submissions on work in progress.

Submission Details

All papers should be in English and describe original work that has not been published or submitted elsewhere. All submissions will be reviewed by members of the Program Committee. Only papers in English will be considered. Submitted papers must present original research contributions not concurrently submitted elsewhere. Authors are requested to prepare submissions according to the LNBIP format specified by Springer (https://www.springer.com/computer/lncs?SGWID=0-164-6-791344-0). The title page must contain a short abstract and a list of keywords, preferably using the list of topics given above. Papers must be submitted electronically via EasyChair: enter the main conference installation (https://easychair.org/conferences/?conf=bpm2024) and select “Workshop on Formal Methods for BPM” as the submission track.
We are interested in research, work-in-progress, tools and case-study papers, either in a long (not exceeding 12 pages, including references) or a short (from 5 to 6 pages, including references) format. This workshop edition will also feature a series of short, “spotlight” tutorials, providing an in-depth account of the topics of interest mentioned below. Tutorial proposals must include:

Title, name(s) and affiliation(s) of the presenter(s);

1-page description of the tutorial, including envisioned activities and desired learning objectives;

A one paragraph description of why the tutorial is of interest to the FM-BPM audience.

1-page descriptions of accepted tutorials will appear as extended abstracts in the workshop proceedings.

Topics of interests

Topics of interest include (but are not limited to) the following.

Modeling and related aspects. This topic covers techniques and languages supporting modeling of complex, process-aware information systems. We are interested in particular in:

• Formal specification languages for multi-perspective and/or probabilistic process models, where perspectives account for time, resources, data and their combination. 
• Formal representation of ethical, normative and legal aspects in business processes. 
• Compositionality and true concurrency in (multi-perspective) process models. 
• Formal modeling of cyber-physical processes and safety-critical information systems.
•  Theoretical foundations of process modeling frameworks. 
• Connections between foundational models and standard specification languages. 
• Meta-modeling approaches for BPM (e.g., formal languages for specifying meta-constraints between multiple process models). 
• Business process modeling methods and design science. 
• Requirements formalization and formal specification. 
• Procedural, declarative and hybrid modeling paradigms. 
• Formal modeling of service-oriented, cloud-based as well as component-based and multi-agent systems. 
• Design by contract.
  

Verification, validation and other analytic techniques. This topic covers foundational analytic techniques devised for formal models, including those mentioned above. The following themes help in understanding the potential submission topics:

• Automated reasoning and theorem proving techniques (and their advancements), including SAT and SMT, for analyzing (multi-perspective) process models. 
• Static analysis, safety checking, correctness by construction, abstraction, modularization and refinement techniques. 
• Runtime verification and monitoring of business processes. 
• Formal analysis of timed, real-time, hybrid and probabilistic process models. 
• Automata-theoretic approaches for process analysis. 
• Synthesis, planning and scheduling. 
• Game theoretic techniques in BPM. 
• Techniques and algorithms for scaling formal analysis in BPM (e.g., symbolic methods, abstraction, modular and compositional techniques, parallel and/or distributed techniques). 
• Analysis of QoS and other non-functional properties (e.g., trust, compliance, security, privacy). 
• Analytic techniques with formal guarantees such as decidabilities and computational complexity. 
• Process correctness and compliance by design.
• Combination of static and dynamic analytic methods. 
• Formally-grounded performance analysis approaches. 
• Compliance and conformance checking. 
• Process evolution, maintenance, re-engineering and reuse. 
• Statistical and probabilistic analysis. 
• Business process specification synthesis and repair. 
• Techniques focusing on analytic tasks for modern process-aware information systems that are currently addressed ad-hoc.

Tools. We invite those who are currently developing tools or having at hand already running prototypes to reflect on related topics, that may touch upon the following themes:

• Verification and analytic tools for BPM: engineering and implementation, benchmarks and comparative studies. 
• Description and showcasing of publicly available artifacts of formal method applications in BPM. 
• Integration of formal methods tools.
• Design and implementation of integrated modeling and verification environments.
• Experimental validation, studies of scalability issues of formal methods techniques for BPM analytic tasks.

Applications. We highly solicit the scientific community to share their experience and ideas of how formal methods are or should be applied in BPM.

• Model-driven engineering of process-aware information systems. 
• Formal analysis support for modeling languages used in industry. 
• Limitations of formal methods in BPM regarding their usability and scalability. 
• Use of formal methods for automated testing and simulation of business processes. 
• Innovative ways of using formal methods in BPM. 
• Usability of formal methods and guidelines of how to use them in practice. 
• Process debugging. 
• Applications of formal methods for analytic tasks within the BPM spectrum, e.g., in automated generation of event logs via model simulations. 
• Impact of the adoption of formal methods on the process development and associated costs. 
• Application of formal methods in standardization in BPM.

Case studies and experience reports (teaching, industrial use cases, etc).

• Empirical evaluations of formal methods in BPM Design and empirical case studies. 
• Insightful surveys, case studies and experience reports on the adoption and application of formal methods, both from academy and industry.
• Experience reports on teaching formal methods in the BPM context or with references to BPM. 
• Discussions of future/new research directions and open questions related to formal methods in BPM.

Organizers

• Claudio Di Ciccio - Department of Information and Computing Sciences, Utrecht University, Netherlands
• Alessandro Gianola - INESC-ID/Instituto Superior Técnico, Universidade de Lisboa, Portugal
• Andrey Rivkin - Department of Applied Mathematics and Computer Science, Technical University of Denmark, Denmark

Program Committee

• Carl Corea, University of Koblenz-Landau, Germany
• Chiara Di Francescomarino, DISI - University of Trento, Italy
• Dirk Fahland, Eindhoven University of Technology, Netherlands
• Sérgio Guerreiro, INESC-ID / Instituto Superior Técnico, Portugal
• Sylvain Hallé, Université du Québec à Chicoutimi, Canada
• Cosimo Laneve, University of Bologna, Italy
• Pascal Poizat, Université Paris Nanterre and LIP6, France
• Jorge A. Pérez, University of Groningen, Netherlands
• Barbara Re, University of Camerino, Italy
• Gwen Salaün, University of Grenoble Alpes, France
• Sergio Tessaris, Free University of Bozen-Bolzano, Italy
• Andrea Vandin, Sant'Anna School of Advanced Studies, Italy
• Victor Vianu, University of California San Diego, USA
• Maxim Vidgof, WU Wien, Austria
• Matthias Weidlich, Humboldt-Universität zu Berlin, Germany
• Sarah Winkler, Free University of Bozen-Bolzano, Italy
• Matteo Zavatteri, University of Padova, Italy

Program

The workshop will be a fully interactive event, providing a unique opportunity for active participation and discussion among enthusiasts from the BPM community in the use of formal methods for business process modeling and analysis. It will feature two thought-provoking sessions, designed to engage participants in in-depth discussions on current and emerging topics in the field:


• Session 1: Computational Logic in BPM: Automated Reasoning, Planning, and Declarative Frameworks For Process Modeling and Analysis
  This session will explore the application of computational logic to BPM, focusing on automated reasoning, planning, and declarative frameworks. It is an excellent opportunity to delve into the advancements and challenges in process modeling and analysis.


• Session 2: Newly Emerging Formalisms: Rigorous Account for Multi-Perspective, Multi-Instance, and Collaborative Aspects
  In this session, we will discuss the latest formal developments in BPM, with a focus on providing rigorous frameworks that address multi-perspective, multi-instance, and collaborative aspects of processes. This is a long-standing, and still evolving area that promises to shape the future of BPM