Assessing business process models: a literature review on techniques for BPMN testing and formal verification
T Lopes, S Guerreiro - Business Process Management Journal, 2023 - emerald.com
Purpose Testing business processes is crucial to assess the compliance of business
process models with requirements. Automating this task optimizes testing efforts and …
process models with requirements. Automating this task optimizes testing efforts and …
[HTML][HTML] Using business process models for the specification of manufacturing operations
Business process management (BPM) is often employed as a driver of integration, by
articulating business processes that cross the boundaries of individual business functions …
articulating business processes that cross the boundaries of individual business functions …
[LIVRE][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 …
Transformation of Business Process Model and Notation models onto Petri nets and their analysis
Business Process Model and Notation is known as a widely used standard for business
processes modeling. However, its main drawback is that it lacks formal semantics, leading to …
processes modeling. However, its main drawback is that it lacks formal semantics, leading to …
[PDF][PDF] Towards model-driven smart contract systems-code generation and improving expressivity of smart contract modeling
Public blockchains are increasingly important in industries such as finance, supply-chain
management, and governance. In the last two years, there has been increased usage of …
management, and governance. In the last two years, there has been increased usage of …
A visual token-based formalization of BPMN 2.0 based on in-place transformations
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 …
[LIVRE][B] Agile model-based development using UML-RSDS
K Lano - 2017 - taylorfrancis.com
This book describes the concepts and application of model-based development (MBD),
model transformations, and Agile MBD to a wide range of software systems. It covers …
model transformations, and Agile MBD to a wide range of software systems. It covers …
[PDF][PDF] BPMN formalisation using coloured petri nets
M Ramadan, HG Elmongui… - Proceedings of the 2nd …, 2011 - researchgate.net
Business process modeling is an increasingly popular method for improving organizational
efficiency and quality. The ability to automatically validate the process model became a …
efficiency and quality. The ability to automatically validate the process model became a …
BPMN formalization and verification using Maude
OMG's Business Process Model and Notation (BPMN) standard provides an informal
specification of a technology independent modelling language for designing business …
specification of a technology independent modelling language for designing business …
A first-order logic verification framework for communication-parametric and time-aware BPMN collaborations
The BPMN standard notation allows business process designers to model both intra-
organizational processes and inter-organizational collaborations. A great effort has been …
organizational processes and inter-organizational collaborations. A great effort has been …