Workflow nets, a particular class of Petri nets, have become one of the standard ways to
model and analyze workflows. Typically, they are used as an abstraction of the workflow that …

We present two formalisations of the Business Process Modelling Notation (BPMN). In
particular, we introduce a semantic model for BPMN in the process algebra CSP; we then …

This paper presents event-driven temporal logic (EDTL), a specification formalism that
allows the users to describe the behavior of control software in terms of events (including …

Specification patterns have proven to help developers to state precise system requirements,
as well as formalize them by means of dedicated specification languages. Most of the past …

Verifying the reliability of software systems formally is difficult due to the complexity of system
correctness requirements. Specification patterns allow us to describe typical requirements in …

This article reports a controlled experiment with 116 participants on the understandability of
representative graphical and textual pattern-based behavioral constraint representations …

Formal verification ensures the absence of design errors in a system with respect to system's
requirements. This is especially important for the control software of critical systems, ranging …

CONTEXT: Empirical studies indicate that companies mostly adopt business process
management to support organizational concerns. Consequently, descriptions of business …

This paper presents the ontology of the concurrent processes close to Hoare communicating
sequential processes. It is a part of an intellectual system for supporting verification of …

In industrial model-based development (MBD) frameworks, requirements are typically
specified informally using textual descriptions. To enable the application of formal methods …