An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models

Meghzili, Said; Chaoui, Allaoua; Strecker, Martin; Kerkouche, Elhillali

doi:10.4018/ijsi.2020010102

Cited by 12 publications

(7 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Meghzili et al. (2020) present a BPMN-to-CPN transformation technique which makes use of the GRaphs for Object-Oriented VErification (GROOVE) graph transformation tool.…”

Section: Discussionmentioning

confidence: 99%

“…Despite the drawback previously mentioned associated with BPEL usage, the use of intermediate models in different formats proves to be advantageous in this case, given the potential for this method to be combined with other BPMN-to-CPN mappings (cf. Dechsupa et al, 2018;Meghzili et al, 2020). Having said that, the solution, as presented, is not suitable for situations where full path coverage is desired, which would require modifications to the test path generation algorithm.…”

Section: Bpmn Testing Approachmentioning

confidence: 99%

“…A case study is included. Meghzili et al (2020) present a BPMN-to-CPN transformation technique which makes use of the GRaphs for Object-Oriented VErification (GROOVE) graph transformation tool. A graph grammar allows this transformation to be executed automatically, covering complex BPMN mechanisms such as OR-gateways, multi-instance activities, sub-processes and message flows.…”

Section: Bpmn Testing Approachmentioning

confidence: 99%

See 2 more Smart Citations

Assessing business process models: a literature review on techniques for BPMN testing and formal verification

Lopes

Guerreiro

2023

BPMJ

View full text Add to dashboard Cite

PurposeTesting business processes is crucial to assess the compliance of business process models with requirements. Automating this task optimizes testing efforts and reduces human error while also providing improvement insights for the business process modeling activity. The primary purposes of this paper are to conduct a literature review of Business Process Model and Notation (BPMN) testing and formal verification and to propose the Business Process Evaluation and Research Framework for Enhancement and Continuous Testing (bPERFECT) framework, which aims to guide business process testing (BPT) research and implementation. Secondary objectives include (1) eliciting the existing types of testing, (2) evaluating their impact on efficiency and (3) assessing the formal verification techniques that complement testing.Design/methodology/approachThe methodology used is based on Kitchenham's (2004) original procedures for conducting systematic literature reviews.FindingsResults of this study indicate that three distinct business process model testing types can be found in the literature: black/gray-box, regression and integration. Testing and verification approaches differ in aspects such as awareness of test data, coverage criteria and auxiliary representations used. However, most solutions pose notable hindrances, such as BPMN element limitations, that lead to limited practicality.Research limitations/implicationsThe databases selected in the review protocol may have excluded relevant studies on this topic. More databases and gray literature could also be considered for inclusion in this review.Originality/valueThree main originality aspects are identified in this study as follows: (1) the classification of process model testing types, (2) the future trends foreseen for BPMN model testing and verification and (3) the bPERFECT framework for testing business processes.

show abstract

“…Meghzili et al. (2020) present a BPMN-to-CPN transformation technique which makes use of the GRaphs for Object-Oriented VErification (GROOVE) graph transformation tool.…”

Section: Discussionmentioning

confidence: 99%

Section: Bpmn Testing Approachmentioning

confidence: 99%

Section: Bpmn Testing Approachmentioning

confidence: 99%

See 1 more Smart Citation

Assessing business process models: a literature review on techniques for BPMN testing and formal verification

Lopes

Guerreiro

2023

BPMJ

View full text Add to dashboard Cite

show abstract

“…Petri Nets, like SDL does not need the addition of any extension, hence a model defined in a Petri Net is complete and can be fully codified. Petri Nets become an excellent alternative to represent simulation models and to analyze the correctness of executing a task or representing its behavior, in multiple areas, like in robotics and microcontrollers [20,21], to study biological and social systems [22][23][24] or infrastructures and logistics analysis [25][26][27] among other multiple scopes, hence several works exist to transform to Petri Nets models represented in other languages, like BPMN or Flowcharts, see [28][29][30] as an example.…”

Section: Literature Reviewmentioning

confidence: 99%

Simplifying the Verification of Simulation Models through Petri Net to FlexSim Mapping

Casas

Petit

et al. 2020

Applied Sciences

View full text Add to dashboard Cite

Simplifying the encoding of a simulation conceptual model representation reduces the number of errors that will be detected in the verification phase. In this paper, we present a mapping between Petri nets, a well-known formalism, and FlexSim, a well-known simulation tool. The proposal is illustrated through an example of how a model specified in a Petri net can be encoded easily, reducing the time needed to understand and verify the model. In the proposed methodology, the mapping must be defined at the initial stage of the encoding, starting from (in this case) a Petri net conceptual model, and ending at the encoding tool (FlexSim in this case). The main advantages of the proposed methodology are discussed.

show abstract

“…This verification provides feedback on the properties of the source model (BPM modeled in the input). It is noteworthy that we use the techniques of MDE for model transformation as well as their verifications by different specifications such as those that were presented in [15,16,24,26,33]. Furthermore, we can use generation test cases like those that were presented in [22].…”

Section: Introductionmentioning

confidence: 99%

Automatic Bridge between BPMN Models and UML Activity Diagrams based on Graph Transformation

Rahmoune

Chaoui

2022

csci

Self Cite

View full text Add to dashboard Cite

Model Driven Engineering (MDE) provides available tools, concepts and languages to create and transform models. One of the most important successes of MDE is model transformation; it permits transforming models used by one community to equivalent models used by another one. Moreover, each community of developers has its own tools for verification, testing and test case generation. Hence, a developer of one community who moves to work with another community needs a transformation process from the second community to (his/her) own community and vice versa. Therefore, the target community can benefit from the expertise of the source one and the developers do not begin from zero.In this context, we propose in this paper an automatic transformation to create a bridge between the BPMN and UML communities. We propose an approach and a visual tool for the automatic transformation of BPMN models to UML Activity Diagrams (UML-AD). The proposed approach is based on Meta-Modeling and Graph Transformation, and uses the AToM3 tool. Indeed, we were inspired by the OMG meta-models of BPMN and UML-AD and implemented versions of both meta-models using AToM3. This last allows generating automatically a visual modeling tool for each proposed meta-model. Based on these two meta-models, we propose a graph grammar composed of sixty rules that perform the transformation process. The proposed approach is illustrated through three case studies.

show abstract

An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models

Cited by 12 publications

References 23 publications

Assessing business process models: a literature review on techniques for BPMN testing and formal verification

Assessing business process models: a literature review on techniques for BPMN testing and formal verification

Simplifying the Verification of Simulation Models through Petri Net to FlexSim Mapping

Automatic Bridge between BPMN Models and UML Activity Diagrams based on Graph Transformation

Contact Info

Product

Resources

About