Designing railway infrastructure is a knowledge-intensive task. Although there are number of mature design authoring systems available, their support for dynamically incorporating domain-specific engineering knowledge very limited. At the same time, standardized digital representation (such as building codes and best practice) does not exists. To overcome this deficiency, paper proposes use Kno...

In this report we propose some extensions of the business process modeling notation (BPMN) to be able to evaluate the overall cost of business process diagrams. The BPMN is very expressive, and a general treatment of this problem is very complex. Therefore, it seems reasonable to define classes of business process diagrams capturing real processes and to develop efficient analysis methods for t...

The premise behind ‘third wave’ Business Process Management (BPM1) is effective support for change at levels. Business Process Modeling (BPM2) notations such as BPMN are used to effectively conceptualize and communicate process configurations to relevant stakeholders. In this paper we argue that the management of change throughout the business process model lifecycle requires greater conceptual...

Business process simulation is an important means for quantitative analysis of a business process. With the Business Process Model and Notation (BPMN) being the state-of-the-art language for the graphical representation of business processes, a variety of process simulators exist which already support the simulation of BPMN process diagrams. However, they do not provide well-defined interfaces ...

The Business Process Model and Notation (BPMN), formerly known as Business Process Modeling Notation, is the de-facto standard for representing in a very expressive graphical way the processes occurring in virtually every kind of organization one can think of, from cuisine recipes to the Nobel Prize assignment process, severe incident management, e-mail voting systems, travel booking procedures...

Function-as-a-Service (FaaS) is a cloud service model enabling to implement serverless applications for variety of use cases. These range from scheduled calls single functions complex function orchestrations executed using orchestration services such as AWS step functions. However, since the available technologies vary in functionalities, supported modeling languages, and APIs, their deployment...

For the modelling of business processes it is necessary to integrate models for control flow, messaging, event handling, interaction, data management, and exception handling. In principle, all common business process models such as BPMN [14], YAWL [13], ARIS [11] or S-BPM [6] follow such an approach. Though it is claimed that the models have already reached a high level of maturity, they still ...

Context The Business Process Model and Notation (BPMN) standard informally defines a precise execution semantics. It defines how process instances should be updated in a model during execution. Existing formalizations of the standard are incomplete and rely on mappings to other languages. Objective This paper provides a BPMN 2.0 semantics formalization that is more complete and intuitive than e...