Testing process-based information systems is cost intensive and challenging due to rapid technological advancement and increasing complexity of processes. A number of existing process-based test generation approaches use process code for test generation. They operate on lower levels of abstraction and start the test activity later in the development cycle, which is not feasible. Other model-bas...

In this article we show how functional logic programming techniques can be used to construct a bidirectional transformation between structured process models of the business process modeling notation (BPMN) and executable models of the business process execution language (BPEL). We specify the abstract syntax of structured process models by a context-free hypergraph grammar. This grammar can be...

BACKGROUND Process orientation is one of the essential elements of quality management systems, including those in use in healthcare. Business processes in hospitals are very complex and variable. BPMN (Business Process Modelling Notation) is a user-oriented language specifically designed for the modelling of business (organizational) processes. Previous experiences of the use of this notation i...

Business processes evolve throughout their lifecycle of change. Business Process Modeling (BPM) notations such as BPMN are used to effectively conceptualize and communicate important process characteristics to relevant stakeholders. Agent-oriented conceptual modeling notations, such as i*, effectively capture and communicate organizational context. In this paper we argue that the management of ...

Business Processes (BPs) are the key instrument to understand how companies operate at an organizational level, taking an as-is view of the workflow, and how to address their issues by identifying a to-be model. In last year’s, the BP Model and Notation (BPMN) has be come a de-facto standard for m odeling processes. However, this standard does not incorporate explicitly the ProblemSolving (PS) ...

Business Process Modeling Notation (BPMN) is an emerging standard for modeling business processes. In its 2.0 version it defined formal semantics to its elements which allows a process execution engine to understand how processes should be integrated and executed. However, BPMN2.0 elements use shallow String datatypes for their identification (e.g., process participants, process resources) whic...

This paper proposes an extension for the Business Process Model and Notation (BPMN), named BPMN*, that based on the elements of the feature model (FM), commonly used to represent variability, intends to represent variability in Business Processes Line (BPL). This notation is evaluated by means of an empirical study whose main objective is to compare it with other notation named variant-rich BPM...

Modern business process modeling languages such as BPMN or EPC provide users with more constructs to represent real world situations than their predecessors such as IDEF or Petri Nets. But this apparent increase in expressiveness is accompanied by an increase in language complexity. In practice many organizations choose to only use a subset of the available modeling constructs. Using a wellesta...

The Event-Driven Process Chain (EPC) and the Business Process Modeling Notation (BPMN) are designed for modelling business processes, but do not yet include any means for modelling process goals and their measures, and they do not have a published metamodel. We derive a metamodel for both languages, and extend the EPC and the BPMN with process goals and performance measures to make them concept...

In this paper we present a modeling methodology for BPMN, the standard notation for the representation of business processes. Our methodology simplifies the development of collaborative BPMN diagrams, enabling the automated creation of skeleton process diagrams representing complex choreographies. To evaluate and tune the methodology, we have developed a tool supporting it, that we apply to the...