Optimal model transformation of BPMN to DEVS

Boukelkoul, Sofiane; Maamri, Ramdane

doi:10.1109/aiccsa.2015.7507115

Cited by 6 publications

(13 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The latter will be set with accordance to the modeled time constraints specification. During the execution, the business process or the activity, as model‐based DEVS 3 will not start up or finish when it wants, but it will ask the control model for authorization to do that. Therefore, the control model will respond, only if the time, yet the time constraints are well respected.…”

Section: Discussionmentioning

confidence: 99%

“…Figure 2 illustrates the architecture of the overall model as a system, where the inputs are the business process in BPMN and a set of temporal constraints. Then the BP goes through the transformation to the DEVS formalism by applying the rules presented in Reference 3. Thus, by means of simulation, the modeler will analyze the resulted outputs.…”

Section: The Proposed Modelmentioning

confidence: 99%

“…In Reference 3, where the transformation of BPMN to DEVS model was presented, the activity model was formally presented equivalently to Equation as follows:

\begin{align} S i m p l e A c t i v i t y = false(X, Y, S, δ_{i n t}, δ_{e x t}, λ, t a false) \end{align}

Where: X ={ In i / i ∈[0, n ]} , Y ={ Out }…”

Section: The Proposed Modelmentioning

confidence: 99%

“…In order to handle time constraints, we need to specify the model with more details. In fact, by applying the transformation rules cited in Reference 3, we result a DEVS model corresponding to the initial BP but without formal specification of temporal constraint. The reader can refer to Appendix at the end of the article to get a summarized detail about the transformation rules of the BP described in BPMN to the DEVS formalism.…”

Section: The Proposed Modelmentioning

confidence: 99%

See 3 more Smart Citations

A discrete event model for analysis and verification of time‐constrained business processes

Boukelkoul

Maamri

Chihoub

2020

Concurrency and Computation

Self Cite

View full text Add to dashboard Cite

Summary In the purpose of analyzing and checking time constraints in business processes, we propose to model and simulate them in the “discrete event system specification” (DEVS) formalism. The proposed model will contain atomic DEVS models representing the activities, supervised by, other DEVS control models, and based on one to one mapping. Hence, guaranteeing a close concordance with the temporal requirements. Thus, the simulation of the model results in outputs about the successful execution regarding to the temporal constraints soundness. Therefore, the modeler will be able to predict unsuitable temporal behavior. Thus, the model responds to the lack of modeling tools that do not offer enough formal specification of time constraints at the earlier phases of design as in, the standard “business process management notation.” The proposed model handles different type of time constraints in business process such as intra‐activities, inter‐activities, and inter‐process time constraints. The proposed model is implemented into JAVADEVS using DEVS‐Suite platform.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: The Proposed Modelmentioning

confidence: 99%

“…In Reference 3, where the transformation of BPMN to DEVS model was presented, the activity model was formally presented equivalently to Equation as follows:

\begin{align} S i m p l e A c t i v i t y = false(X, Y, S, δ_{i n t}, δ_{e x t}, λ, t a false) \end{align}

Where: X ={ In i / i ∈[0, n ]} , Y ={ Out }…”

Section: The Proposed Modelmentioning

confidence: 99%

Section: The Proposed Modelmentioning

confidence: 99%

See 2 more Smart Citations

A discrete event model for analysis and verification of time‐constrained business processes

Boukelkoul

Maamri

Chihoub

2020

Concurrency and Computation

Self Cite

View full text Add to dashboard Cite

show abstract

“…Figure 1 illustrates the architecture of the overall model as a system, where the inputs are the business process in BPMN and a set of structural configuration. Then the BP goes through the transformation to the DSDEVS formalism by applying the rules presented in [25] and extended in this paper. The resulted model consists of a variant of the initial configurable business process implemented in DEVSJAVA.…”

Section: Network Modelsmentioning

confidence: 99%

A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business Processes

Boukelkoul

Maamri

2020

J. inf. organ. sci. (Online)

Self Cite

View full text Add to dashboard Cite

This paper presents a DSDEVS-based model “Dynamic Structure Discrete Event System specification” for modeling and simulating business processes with dynamic structure regarding to different contexts. Consequently, this model, formally, improves the reuse of configurable business processes. Thus, the proposed model allows the analysts to personalize their configurable business processes in a sound manner by verifying a set of structure properties, such as, the lack of synchronization and the deadlock by means of simulation. The implementation was done in DEVS-Suite simulator, which is based on DEVSJAVA models.

show abstract

A Model-Based Approach for the Transformation and Verification of an IoRT-Aware Business Process

Fattouch,

Lahmar,

Boukadi

2024

Lecture Notes in Networks and Systems

View full text Add to dashboard Cite

Optimal model transformation of BPMN to DEVS

Cited by 6 publications

References 15 publications

A discrete event model for analysis and verification of time‐constrained business processes

A discrete event model for analysis and verification of time‐constrained business processes

A DSDEVS-Based Model for Verifying Structural Constraints in Dynamic Business Processes

A Model-Based Approach for the Transformation and Verification of an IoRT-Aware Business Process

Contact Info

Product

Resources

About