English
Related papers

Related papers: Collaboration vs. choreography conformance in BPMN

200 papers

This paper presents a method to detect and recognize symmetries in Boolean functions. The idea is to use information theoretic measures of Boolean functions to detect sub-space of possible symmetric variables. Coupled with the new…

Other Computer Science · Computer Science 2007-10-15 Denis V. Popel

Development of blockchain smart contracts is more difficult than mainstream software development because the underlying blockchain infrastructure poses additional complexity. To ease the developer's task of writing smart contract, as other…

Software Engineering · Computer Science 2025-06-04 Christian Gang Liu , Peter Bodorik , Dawn Jutla

We introduce contextual behavioural metrics (CBMs) as a novel way of measuring the discrepancy in behaviour between processes, taking into account both quantitative aspects and contextual information. This way, process distances by…

Formal Languages and Automata Theory · Computer Science 2023-09-06 Ugo Dal Lago , Maurizio Murgia

Integration Adapters are a fundamental part of an integration system, since they provide (business) applications access to its messaging channel. However, their modeling and configuration remain under-represented. In previous work, the…

Software Engineering · Computer Science 2015-03-09 Daniel Ritter , Manuel Holzleitner

One of the key challenges in the collaboration within heterogeneous multi-robot systems is the optimization of the amount and type of data to be shared between robots with different sensing capabilities and computational resources. In this…

Cryptography and Security · Computer Science 2020-07-07 Jorge Peña Queralta , Tomi Westerlund

Collaboration models and tools aim at improving the efficiency and effectiveness of human interactions. Although social relations among collaborators have been identified as having a strong influence on collaboration, they are still…

Social and Information Networks · Computer Science 2013-03-08 Willy Picard

In system development life cycle (SDLC), a system model can be developed using Data Flow Diagram (DFD). DFD is graphical diagrams for specifying, constructing and visualizing the model of a system. DFD is used in defining the requirements…

Software Engineering · Computer Science 2010-11-02 Rosziati Ibrahim , Siow Yen yen

Collective improvisation in dance provides a rich natural laboratory for studying emergent coordination in coupled neuro-motor systems. Here, we investigate how training shapes spontaneous synchronization patterns in both movement and brain…

Process digitization and integration is an increasing need for enterprises, while cyber-attacks denote a growing threat. Using the Business Process Management Notation (BPMN) is common to handle the digital and integration focus within and…

Cryptography and Security · Computer Science 2022-01-11 Simon Hacks , Robert Lagerström , Daniel Ritter

Identifying a coupled dynamical system out of many plausible candidates, each of which could serve as the underlying generator of some observed measurements, is a profoundly ill posed problem that commonly arises when modelling real world…

Neurons and Cognition · Quantitative Biology 2019-09-17 Amirhossein Jafarian , Peter Zeidman , Vladimir Litvak , Karl Friston

We introduce HCLM, a hierarchical framework for general-purpose cooperative loco-manipulation with dual quadrupedal systems. Coordinating multi-robot collaborative manipulation across floating bases is highly challenging due to the…

Robotics · Computer Science 2026-05-19 Qixuan Li , Chen Le , Jincheng Yu , Xinlei Chen

Blockchains and distributed ledger technology offer promising capabilities for supporting collaborative business processes across organizations. Typically, approaches in this field fall into two categories: either executing the entire…

Software Engineering · Computer Science 2023-12-13 Julius Köpke , Sebastian Trattnig

Interacting systems are increasingly common. Many examples pervade our everyday lives: automobiles, aircraft, defense systems, telephone switching systems, financial systems, national governments, and so on. Closer to computer science,…

Software Engineering · Computer Science 2015-04-10 Paul C. Jorgensen

For business process modeling, we can choose between graph-oriented and block-oriented languages. Block-oriented languages are more structured and therefore better understandable for domain experts, while graph-oriented languages allow more…

Software Engineering · Computer Science 2026-05-27 Kathrin Kirchner , Siniša Nešković , Dejan Stojimirović

Multi-unit organizations are a form of organizations where the geographically dispersed units provide similar products or services in different markets. Deciding on an appropriate level of centralization in such organizations presents a…

General Economics · Economics 2025-08-19 Ravshanbek Khodzhimatov , Stephan Leitner , Friederike Wall

Dancers often prototype movements themselves or with each other during improvisation and choreography. How are these interactions altered when physically manipulable technologies are introduced into the creative process? To understand how…

Robotics · Computer Science 2025-05-30 Xiaoyu Chang , Fan Zhang , Kexue Fu , Carla Diana , Wendy Ju , Ray LC

This paper addresses the limitations of multi-node perception and delayed scheduling response in distributed systems by proposing a GNN-based multi-node collaborative perception mechanism. The system is modeled as a graph structure.…

Machine Learning · Computer Science 2025-05-23 Wenxuan Zhu , Qiyuan Wu , Tengda Tang , Renzi Meng , Sheng Chai , Xuehui Quan

Machine learning (ML) continues to permeate all layers of academia, industry and society. Despite its successes, mental frameworks to capture and represent machine learning workflows in a consistent and coherent manner are lacking. For…

Software Engineering · Computer Science 2022-08-04 Laurens Martin Tetzlaff

Dance generation is crucial and challenging, particularly in domains like dance performance and virtual gaming. In the current body of literature, most methodologies focus on Solo Music2Dance. While there are efforts directed towards Group…

Sound · Computer Science 2024-12-30 Kaixing Yang , Xulong Tang , Haoyu Wu , Qinliang Xue , Biao Qin , Hongyan Liu , Zhaoxin Fan

We propose TRAC, a tool for the specification and verification of coordinated multiparty distributed systems. Relying on finite-state machines (FSMs) where transition labels look like Hoare triples, \thetool can specify the coordination of…

Logic in Computer Science · Computer Science 2024-05-01 Joao Afonso , Elvis Konjoh Selabi , Maurizio Murgia , Antonio Ravara , Emilio Tuosto