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

2020 ◽  
Vol 44 (2) ◽  
pp. 257-273
Author(s):  
Sofiane Boukelkoul ◽  
Ramdane Maamri
Keyword(s):  
Business Processes ◽  
Discrete Event ◽  
Dynamic Structure ◽  
Discrete Event System ◽  
Structural Constraints ◽  
System Specification ◽  
Discrete Event System Specification ◽  
Event System ◽  
Proposed Model ◽  
Structure Properties

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.

scholarly journals Specification of dynamic structure discrete event systems using single point encapsulated control functions

2014 ◽  
Vol 05 (03) ◽  
pp. 1450012 ◽  
Author(s):  
Alexandre Muzy ◽  
Bernard P. Zeigler
Keyword(s):  
Discrete Event Systems ◽  
Single Point ◽  
Discrete Event ◽  
Dynamic Structure ◽  
System Specification ◽  
Discrete Event System Specification ◽  
Usual Definition ◽  
Control Functions ◽  
Event System ◽  
Structure Changes

In Discrete Event System Specification (DEVS), the dynamics of a network is constituted only by the dynamics of its basic components. The state of each component is fully encapsulated. Control in the network is fully decentralized to each component. At dynamic structure level, DEVS should permit the same level of decentralization. However, it is hard to ensure structure consistency while letting all components achieve structure changes. Besides, this solution can be complex to implement. To avoid these difficulties, usual dynamic structure approaches ensure structure consistency allowing structure changes to be done only by the network having newly added dynamics change capabilities. This is a safe and simple way to achieve dynamic structure. However, it should be possible to simply allow components of a network to modify the structure of their network, other components and/or their own structure — without having to modify the usual definition a DEVS network. In this manuscript, it is shown that a simple fully decentralized approach is possible while ensuring full modularity and structure consistency.

Sign in / Sign up

Export Citation Format

Share Document