English
Related papers

Related papers: Enacting Coordination Processes

200 papers

In this paper, we introduce the problem of denoting and deriving the complexity of workflows (plans, schedules) in collaborative, planner-assisted settings where humans and agents are trying to jointly solve a task. The interactions -- and…

Artificial Intelligence · Computer Science 2017-09-15 Kartik Talamadupula , Biplav Srivastava , Jeffrey O. Kephart

We examine the problem of weaknesses in frameworks of conceptual modeling for handling certain aspects of the system being modeled. We propose the use of a flow-based modeling methodology at the conceptual level. Specifically, and without…

Computers and Society · Computer Science 2017-09-13 Sabah Al-Fedaghi , Abdulaziz AlQallaf

Designers, process planners and manufacturers naturally consider different concepts for a same object. The stiffness of production means and the design specification requirements mark out process planners as responsible of the coherent…

Other Computer Science · Computer Science 2014-02-07 Alexandre Candlot , Nicolas Perry , Alain Bernard , Samar Ammar-Khodja

Process analytics approaches allow organizations to support the practice of Business Process Management and continuous improvement by leveraging all process-related data to extract knowledge, improve process performance and support…

Other Computer Science · Computer Science 2025-02-25 Asjad Khan , Aditya Ghose , Hoa Dam , Arsal Syed

Power grid operations increasingly interact with environmental systems and human systems such as transportation, agriculture, the economy, and financial markets. Our objective is to discuss the modelling gaps and opportunities to advance…

Systems and Control · Electrical Eng. & Systems 2021-10-19 K. Oikonomou , J. Kern , B. Tarroja , N. Voisin

This chapter serves as an introduction to systems engineering focused on the broad issues surrounding realizing complex integrated systems. What is a system? We pose a number of possible definitions and perspectives, but leave open the…

Systems and Control · Electrical Eng. & Systems 2025-08-18 John W. Sheppard

This paper introduces a model of multi-unit organizations with either static structures, i.e., they are designed top-down following classical approaches to organizational design, or dynamic structures, i.e., the structures emerge over time…

General Economics · Economics 2022-09-12 Stephan Leitner

The theory of computational complexity focuses on functions and, hence, studies programs whose interactive behavior is reduced to a simple question/answer pattern. We propose a broader theory whose ultimate goal is expressing and analyzing…

Computational Complexity · Computer Science 2012-09-05 Ugo Dal Lago , Tobias Heindel , Damiano Mazza , Daniele Varacca

Computer-based modelling and simulation have become useful tools to facilitate humans to understand systems in different domains, such as physics, astrophysics, chemistry, biology, economics, engineering and social science. A complex system…

Artificial Intelligence · Computer Science 2021-02-03 Xing Su , Yan Kong , Weihua Li

Complexity is an important characteristic of any business process. The key assumption of much research in Business Process Management is that process complexity has a negative impact on process performance. So far, behavioral studies have…

Other Computer Science · Computer Science 2023-07-13 Maxim Vidgof , Bastian Wurm , Jan Mendling

When multiple self-adaptive systems share the same environment and have common goals, they may coordinate their adaptations at runtime to avoid conflicts and to satisfy their goals. There are two approaches to coordination. (1) Logically…

Software Engineering · Computer Science 2023-10-27 Paul-Andrei Dragan , Andreas Metzger , Klaus Pohl

We envisage future context-aware applications will dynamically adapt their behaviors to various context data from sources in wide-area networks, such as the Internet. Facing the changing context and the sheer number of context sources, a…

Databases · Computer Science 2020-03-10 Wenwei Xue , Hungkeng Pung , Wenlong Ng , Tao Gu

Constraint programming can definitely be seen as a model-driven paradigm. The users write programs for modeling problems. These programs are mapped to executable models to calculate the solutions. This paper focuses on efficient model…

Artificial Intelligence · Computer Science 2010-02-16 Raphael Chenouard , Laurent Granvilliers , Ricardo Soto

Process algebra CSP only permits a process to engage in one event on a moment and records this single event into the traces of the process. CSP cannot process events simultaneously, it treat the events occurred simultaneously as one single…

Logic in Computer Science · Computer Science 2018-03-08 Yong Wang

Safety constraints are crucial to the development of mission-critical systems. The practice of developing software for systems of this type requires reliable methods for identifying and analysing project artefacts. This paper proposes a…

Logic in Computer Science · Computer Science 2020-05-15 Grygoriy Zholtkevych , Maksym Labzhaniia

Grid computing (GC) systems are large-scale virtual machines, built upon a massive pool of resources (processing time, storage, software) that often span multiple distributed domains. Concurrent users interact with the grid by adding new…

Programming Languages · Computer Science 2014-04-02 Carlos Alberto Ramírez Restrepo , Jorge A. Pérez , Jesús Aranda , Juan Francisco Díaz-Frias

A set of economic entities embedded in a network graph collaborate by opportunistically exchanging their resources to satisfy their dynamically generated needs. Under what conditions their collaboration leads to a sustainable economy? Which…

Computer Science and Game Theory · Computer Science 2017-07-26 George Iosifidis , Leandros Tassiulas

Event logs, as viewed in process mining, contain event data describing the execution of operational processes. Most process mining techniques take an event log as input and generate insights about the underlying process by analyzing the…

Databases · Computer Science 2023-01-05 Daniel Schuster , Michael Martini , Sebastiaan J. van Zelst , Wil M. P. van der Aalst

Complex systems' modeling and simulation are powerful ways to investigate a multitude of natural phenomena providing extended knowledge on their structure and behavior. However, enhanced modeling and simulation require integration of…

Traces and their extension called combined traces (comtraces) are two formal models used in the analysis and verification of concurrent systems. Both models are based on concepts originating in the theory of formal languages, and they are…

Logic in Computer Science · Computer Science 2015-07-01 Lukasz Mikulski