Multi-Agent Systems

A multi-agent system (MAS) is a system composed of multiple interacting intelligent agents. Multi-agent systems can be used to solve problems which are difficult or impossible for an individual agent or monolithic system to solve. Agent systems are open and extensible systems that allow for the deployment of autonomous and proactive software components. Multi-agent systems have been brought up and used in several application domains

A methodology for workflow modeling : From business process modeling towards sound workflow specification

Der Einsatz von Workflow Management Systemen (WFMS) in Unternehmen oder Verwaltungen mit einfach strukturierten und automatisierbaren Prozessen bietet ein hohes Potenzial für die Optimierung der Geschäftsprozesse. Für die Koordinierung von Geschäftsprozessen zur Laufzeit benötigen WFMS Workflow-Spezifikationen, die den automatisierbaren Anteil der Geschäftsprozesse in einer maschinenlesbaren Form beschreiben. In der Praxis werden Workflow-Spezifikationen bislang oft unabhängig von bereits existierenden Geschäftsprozessmodellen erstellt. Es existiert kein methodisch fundiertes Vorgehensmodell, dass die Modellierung von Gechäftsprozessen und die Weiterverwendung der erstellten Modelle für die Workflow-Spezifikation unterstützt [GHS95,AaHe02]. Diese Arbeit schlägt ein durchgehendes Vorgehensmodell für die Spezifikation von Workflows in Form von Petrinetzen vor. In dem fünfstufigen Vorgehensmodell wird der Schwerpunkt auf die Modellierung der Kontrollflussaspekte gelegt. Im Rahmen der Modellierung werden die folgenden Schritte unterstützt: 1. Modellierung der Geschäftsprozesse 2. Formalisierung durch Petrinetze 3. Korrektheitstest und Fehlerkorrektur 4. Festlegung und Integration einer Ausführungsstrategie 5. Kontrollverfeinerung. Das Ergebnis ist ein Prozessmodell mit formal fundierter und operationaler Semantik, das zudem sound [Aal98] ist. Ein solches Modell entspricht den Anforderungen an eine Workflow-Spezifikation, deren Verwendung für ein WFMS eine zuverlässige Ausführung der Geschäftsprozesse zur Laufzeit garantiert. In dem ersten Schritt "Modellierung der Geschäftsprozesse" wird die Verwendung semiformaler Modellierungstechniken unterstützt. Diese räumen dem Modellierer Spielraum in der Beschreibung der Prozesse ein. Im nächsten Schritt wird das erstellte Modell intern formalisiert. Die Formalisierung basiert auf einer Abbildung in Petrinetze. Dabei werden Mehrdeutigkeiten nicht eliminiert sondern explizit gemacht. Im dritten Schritt wird das Modell auf Korrektheit überprüft. Dafür werden neue, pragmatische Kriterien eingeführt. Es werden präzise Fehlermeldungen zurückgegeben, die ein iteratives Verbessern der Geschäftsprozessmodelle ermöglichen. In Schritt vier und fünf wird das erstellte Modell auf eine Workflow-Spezifikation abgebildet. Dazu wird auf die bereits erstellte Petrinetz-Formalisierung zurückgegriffen. Die Petrinetze werden zunächst so erweitert, dass eine Ausführungsstrategie festgelegt wird. Durch die Integration der Strategie werden alle vorher noch enthaltenen Mehrdeutigkeiten beseitigt. Abschließend werden Aktivitäten verfeinert. Das vorgeschlagene Vorgehensmodell bindet in der Praxis bewährte Techniken ein und stellt angemessene Kriterien für die Fehlerkorrektur zur Verfügung. Das gesamte Vorgehensmodells ist methodisch unterlegt und greift auf Ergebnisse der Petrinetztheorie, der Spieltheorie und der Controller Synthesis zurück.Supporting business processes with the help of workflow management systems is a necessary prerequisite for many companies to stay competitive. An important task is the specification of workflow, i.e. these parts of a business process that can be supported by a computer system. A workflow specification mainly refines a business process description, incorporating details of the implementation. Despite the close relation between the two process descriptions there is still no satisfactory link between their modeling. This fact mainly relies on the assignment to different peolpe (IT- vs. domain experts) having a different modeling culture. The thesis provides a methodically well-founded approach for the specification of functional workflow requirements. It supports domain experts in their modeling of business processes in a semiformal manner and guides them stepwise towards a formal workflow specification, i.e. helping to bridge the gap between business process modeling and workflow specification. The proposed approach acknowledges the need to describe business processes at different levels of abstraction and combines the advantages of different modeling languages that proved to fit the respective requirements. A semiformal modeling language is proposed to be used by the domain expert. As a prominent example, widely accepted in practice, are Event-driven Process Chains (EPCs). For the definition of the workflow specification we use a particular type of Petri nets. The strength of Petri-nets is their formally founded, operational semantics which enables their use as input format for workflow management systems. The key concept for the proposed process model is the use of pragmatic correctness criteria, namely relaxed soundness and robustness. They fit the correctness requirements within this first abstraction level and make it possible to provide a feedback to the modeler. To support the execution of the business process at run time, the resulting process description must be refined to fit the requirements of a workflow specification. The proposed process model supports this refinement step, applying methods from controller synthesis. A sound WF-system is automatically generated on the basis of a relaxed sound and robust process description. Only within this step do performance issues become relevant. Information that is incorporated relates to a certain scheduling strategy. The late determination of performance issues is especially desirable as corresponding information (the occurrence probability of a certain failure, costs of failure compensation, or priorities) will often only become available at run-time. Their incorporation towards the end of the proposed process model extends the possibility to reuse modeling results under changing priorities. The resulting process description is sound. Using it as a basis for the execution support during run-time reliable processing can be guaranteed

Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 24-26, 2005

This booklet contains the proceedings of the Sixth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 24-26, 2005. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark. The papers are also available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop0

Obstructions in Security-Aware Business Processes

This Open Access book explores the dilemma-like stalemate between security and regulatory compliance in business processes on the one hand and business continuity and governance on the other. The growing number of regulations, e.g., on information security, data protection, or privacy, implemented in increasingly digitized businesses can have an obstructive effect on the automated execution of business processes. Such security-related obstructions can particularly occur when an access control-based implementation of regulations blocks the execution of business processes. By handling obstructions, security in business processes is supposed to be improved. For this, the book presents a framework that allows the comprehensive analysis, detection, and handling of obstructions in a security-sensitive way. Thereby, methods based on common organizational security policies, process models, and logs are proposed. The Petri net-based modeling and related semantic and language-based research, as well as the analysis of event data and machine learning methods finally lead to the development of algorithms and experiments that can detect and resolve obstructions and are reproducible with the provided software

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering. Truly complex, engineered systems—known as cyber-physical systems—that integrate physical, software, and network aspects are now on the rise. However, there is no unifying theory nor systematic design methods, techniques or tools for these systems. Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions. A technique known as Multi-Paradigm Modelling has recently emerged suggesting to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s), and then weaving the results together to form a representation of the system. If properly applied, it enables, among other global aspects, performance analysis, exhaustive simulation, and verification. This book is the first systematic attempt to bring together these formalisms for anyone starting in the field of CPS who seeks solid modelling foundations and a comprehensive introduction to the distinct existing techniques that are multi-paradigmatic. Though chiefly intended for master and post-graduate level students in computer science and engineering, it can also be used as a reference text for practitioners

Process Mining Workshops

This open access book constitutes revised selected papers from the International Workshops held at the Third International Conference on Process Mining, ICPM 2021, which took place in Eindhoven, The Netherlands, during October 31–November 4, 2021. The conference focuses on the area of process mining research and practice, including theory, algorithmic challenges, and applications. The co-located workshops provided a forum for novel research ideas. The 28 papers included in this volume were carefully reviewed and selected from 65 submissions. They stem from the following workshops: 2nd International Workshop on Event Data and Behavioral Analytics (EDBA) 2nd International Workshop on Leveraging Machine Learning in Process Mining (ML4PM) 2nd International Workshop on Streaming Analytics for Process Mining (SA4PM) 6th International Workshop on Process Querying, Manipulation, and Intelligence (PQMI) 4th International Workshop on Process-Oriented Data Science for Healthcare (PODS4H) 2nd International Workshop on Trust, Privacy, and Security in Process Analytics (TPSA) One survey paper on the results of the XES 2.0 Workshop is included

Process Mining Workshops

This open access book constitutes revised selected papers from the International Workshops held at the Third International Conference on Process Mining, ICPM 2021, which took place in Eindhoven, The Netherlands, during October 31–November 4, 2021. The conference focuses on the area of process mining research and practice, including theory, algorithmic challenges, and applications. The co-located workshops provided a forum for novel research ideas. The 28 papers included in this volume were carefully reviewed and selected from 65 submissions. They stem from the following workshops: 2nd International Workshop on Event Data and Behavioral Analytics (EDBA) 2nd International Workshop on Leveraging Machine Learning in Process Mining (ML4PM) 2nd International Workshop on Streaming Analytics for Process Mining (SA4PM) 6th International Workshop on Process Querying, Manipulation, and Intelligence (PQMI) 4th International Workshop on Process-Oriented Data Science for Healthcare (PODS4H) 2nd International Workshop on Trust, Privacy, and Security in Process Analytics (TPSA) One survey paper on the results of the XES 2.0 Workshop is included

Safety and Reliability - Safe Societies in a Changing World

The contributions cover a wide range of methodologies and application areas for safety and reliability that contribute to safe societies in a changing world. These methodologies and applications include: - foundations of risk and reliability assessment and management - mathematical methods in reliability and safety - risk assessment - risk management - system reliability - uncertainty analysis - digitalization and big data - prognostics and system health management - occupational safety - accident and incident modeling - maintenance modeling and applications - simulation for safety and reliability analysis - dynamic risk and barrier management - organizational factors and safety culture - human factors and human reliability - resilience engineering - structural reliability - natural hazards - security - economic analysis in risk managemen

Interpretable task planning and learning for autonomous robotic surgery with logic programming

This thesis addresses the long-term goal of full (supervised) autonomy in surgery, characterized by dynamic environmental (anatomical) conditions, unpredictable workflow of execution and workspace constraints. The scope is to reach autonomy at the level of sub-tasks of a surgical procedure, i.e. repetitive, yet tedious operations (e.g., dexterous manipulation of small objects in a constrained environment, as needle and wire for suturing). This will help reducing time of execution, hospital costs and fatigue of surgeons during the whole procedure, while further improving the recovery time for the patients. A novel framework for autonomous surgical task execution is presented in the first part of this thesis, based on answer set programming (ASP), a logic programming paradigm, for task planning (i.e., coordination of elementary actions and motions). Logic programming allows to directly encode surgical task knowledge, representing emph{plan reasoning methodology} rather than a set of pre-defined plans. This solution introduces several key advantages, as reliable human-like interpretable plan generation, real-time monitoring of the environment and the workflow for ready adaptation and failure recovery. Moreover, an extended review of logic programming for robotics is presented, motivating the choice of ASP for surgery and providing an useful guide for robotic designers. In the second part of the thesis, a novel framework based on inductive logic programming (ILP) is presented for surgical task knowledge learning and refinement. ILP guarantees fast learning from very few examples, a common drawback of surgery. Also, a novel action identification algorithm is proposed based on automatic environmental feature extraction from videos, dealing for the first time with small and noisy datasets collecting different workflows of executions under environmental variations. This allows to define a systematic methodology for unsupervised ILP. All the results in this thesis are validated on a non-standard version of the benchmark training ring transfer task for surgeons, which mimics some of the challenges of real surgery, e.g. constrained bimanual motion in small space