A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations

Houhou, Sara; Baarir, Souheib; Poizat, Pascal; Quéinnec, Philippe; Kahloul, Laïd

doi:10.1016/j.is.2021.101765

Cited by 5 publications

(13 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The leading standard for process modeling is BPMN, featuring a graphical notation aimed to be easily understandable by all users (Sott et al, 2021). BPMN allows defining process diagrams at different levels of abstraction, which can be used to organize sequential relations between activities/stages, for documentation purposes and to support implementation efforts (Avila et al, 2021;Houhou et al, 2022). Moreover, BPMN is supported by a wide range of modeling tools and benefits from the availability of professional and academic training opportunities (Sott et al, 2021).…”

Section: Discussionmentioning

confidence: 99%

See 1 more Smart Citation

One step further: application of metabolomics techniques on the geographical indication (GI) registration process

Artêncio

Cassago

Giraldi

et al. 2022

BPMJ

View full text Add to dashboard Cite

PurposeA region can be registered as a geographical indication (GI) when its human or natural characteristics influence product attributes. However, GI registration is a complex process that can lead applicants to conflicts and resource waste. Since metabolomics can support product typicality, it can be an effective tool to evidence the place-product link, essential for GI registration. With the aim of increasing GI registration efficiency, this research aimed to map the Brazilian GI registration process from end to end, using business process model and notation (BPMN), and evaluate the application of metabolomics techniques as facilitator.Design/methodology/approachA qualitative exploratory study was proposed, with the Brazilian GI registration process as unit of analysis. Primary data was obtained through twelve in-depth interviews with GI producers, members of supporting institutions and metabolomics experts. Based on the collected data, the complete GI registration map was designed with bpmn.io software.FindingsResults provided a clear view of the GI registration process. Interviewees considered the selection of the appropriate GI category, the establishment of GI common rules, product specification and the confirmation of the place-product link as the most demanding requirements. Since the last two involve specifying the influence of the origin on products, the use of metabolomics was suggested as a powerful tool to complete these stages.Research limitations/implicationsThe theoretical contribution is provided by the interweave of the three scientific fields mentioned (GI, business process management (BPM) and metabolomics) to contribute to the still small body of literature on GI-related processes. Additionally, other theoretical contributions are the presentation of a GI registration map associated to the use of “omics” techniques as process facilitator.Practical implicationsThe practical contribution of this work is the establishment of an end-to-end view of the entire GI registration process, which makes easier for applicants to engage, plan resources and achieve the GI label. Furthermore, metabolomics acts as a facilitator since its data can be used for different purposes on the way to GI registration.Social implicationsResults can be used to facilitate GI registration, reducing resources demanded from applicants. GI labels provide product protection, better selling prices and competitive advantages for producers, which are positive outcomes in countries with a commodity-based economy like Brazil.Originality/valueThe originality of the study lies in the approach used to map the GI registration process, as well as the suggestion of metabolomics as facilitator in some of its stages.

show abstract

Section: Discussionmentioning

confidence: 99%

“…BPMN allows defining process diagrams at different levels of abstraction, which can be used to organize sequential relations between activities/stages, for documentation purposes and to support implementation efforts (Avila et al. , 2021; Houhou et al. , 2022).…”

Section: Methodsmentioning

confidence: 99%

One step further: application of metabolomics techniques on the geographical indication (GI) registration process

Artêncio

Cassago

Giraldi

et al. 2022

BPMJ

View full text Add to dashboard Cite

show abstract

“…Then, we present their formal semantics. It follows the "token game" given (in natural language) in chapter 13 of the standard [11] and builds on the semantics for basic BPMN given in [8]. Hence, we will focus on points of extensions only.…”

Section: Formal Semanticsmentioning

confidence: 99%

“…With respect to (2. ), we follow the approach in [8] and extend its first-order logic execution semantics for BPMN 6 towards taking into account our extensions. This is achieved structurally on the different extension constructs (space structure initial configuration, processes initial locations, extended inclusive and exclusive gateways, tasks for process mobility or for acting on the context).…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Business Processes Meet Spatial Concerns: The sBPMN Verification Framework

Saddem-yagoubi¹,

Poizat

Houhou

2021

Formal Methods

Self Cite

View full text Add to dashboard Cite

BPMN is the standard for business process modeling. It includes a rich set of constructs for control-flow, inter-process communication, and time-related concerns. However, spatial concerns are left apart while being essential to several application domains. We propose a comprehensive extension of BPMN to deal with this. Our proposal includes an integrated notation, a first-order logic semantics of the extension, and tool-supported verification means through the implementation of the semantics in TLA + . Our tool support and our model database are open source and freely available online.

show abstract