[HTML][HTML] A formal approach to modeling and verification of business process collaborations
In the last years we are observing a growing interest in verification of business process
models that, despite their lack of formal characterization, are widely adopted in industry and …
models that, despite their lack of formal characterization, are widely adopted in industry and …
[图书][B] A rigorous semantics for BPMN 2.0 process diagrams
In this chapter we present an Abstract State Machine (ASM) ground model designed to
rigorously specify the semantics of Business Process Model and Notation (BPMN) Process …
rigorously specify the semantics of Business Process Model and Notation (BPMN) Process …
A visual token-based formalization of BPMN 2.0 based on in-place transformations
P Van Gorp, R Dijkman - Information and Software Technology, 2013 - Elsevier
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 …
precise execution semantics. It defines how process instances should be updated in a …
BProVe: a formal verification framework for business process models
Business Process Modelling has acquired increasing relevance in software development.
Available notations, such as BPMN, permit to describe activities of complex organisations …
Available notations, such as BPMN, permit to describe activities of complex organisations …
Purpose control: Did you process the data for the intended purpose?
Data protection legislation requires personal data to be collected and processed only for
lawful and legitimate purposes. Unfortunately, existing protection mechanisms are not …
lawful and legitimate purposes. Unfortunately, existing protection mechanisms are not …
Obstruction-free authorization enforcement: Aligning security and business objectives
Access control is fundamental in protecting information systems but it can also pose an
obstacle to achieving business objectives. We analyze this tradeoff and its avoidance in the …
obstacle to achieving business objectives. We analyze this tradeoff and its avoidance in the …
Formal analysis of BPMN models using Event-B
JW Bryans, W Wei - Formal Methods for Industrial Critical Systems: 15th …, 2010 - Springer
The use of business process models has gone far beyond documentation purposes. In the
development of business applications, they can play the role of an artifact on which high …
development of business applications, they can play the role of an artifact on which high …
Formal semantics and implementation of BPMN 2.0 inclusive gateways
We present the first direct formalization of the semantics of inclusive gateways as described
in the Business Process Modeling Notation (BPMN) 2.0 Beta 1 specification. The formal …
in the Business Process Modeling Notation (BPMN) 2.0 Beta 1 specification. The formal …
BPMN 2.0 execution semantics formalized as graph rewrite rules
R Dijkman, P Van Gorp - … , BPMN 2010, Potsdam, Germany, October 13-14 …, 2010 - Springer
This paper presents a formalization of a subset of the BPMN 2.0 execution semantics in
terms of graph rewrite rules. The formalization is supported by graph rewrite tools and …
terms of graph rewrite rules. The formalization is supported by graph rewrite tools and …
Correctness checking for BPMN collaborations with sub-processes
BPMN collaboration models are commonly used to describe the behaviour and interactions
of processes in an inter-organisational context. An important role in this kind of models is …
of processes in an inter-organisational context. An important role in this kind of models is …