Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems

Graja, Imen; Mechim, Aicha; Kallel, Slim; Guermouche, Nawal; Kacem, Ahmed Hadj

doi:10.1109/ccnc.2017.7983181

Cited by 3 publications

(4 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We have also noted that several authors mention at the end of the paper that they plan to implement their extension in the future. Therefore, we can expect publications implementing the extensions already proposed as the authors did in (Graja et al, 2016) and (Graja et al, 2017). In addition, we have noticed that all authors explain the need to extend the BPMN language in their context and justify each of the new added elements.…”

Section: Results Of the Reviewmentioning

confidence: 94%

“…For the conformity criterion, we specify between brackets whether one of the two methodologies of (Stroppi et al, 2011) or (Braun & Schlieter, 2014) has been followed. (Anseeuw & al., 2015 Graja et al, 2016) implemented in (Graja et al, 2017) Yes X X X X X X…”

Section: Results Of the Reviewmentioning

confidence: 99%

Section: 6mentioning

confidence: 99%

See 2 more Smart Citations

A systematic literature review on BPMN extensions

Zarour

Benmerzoug

Guermouche

et al. 2019

BPMJ

Self Cite

View full text Add to dashboard Cite

Purpose Business Process Model and Notation (BPMN) is a generic language that is often extended by researchers, either for dealing with processes of specific domains or for improving the language itself. The purpose of this paper is to present a literature review that aims to determine the current state of the art of BPMN extensions and identify the gaps that should be filled in this research area. Design/methodology/approach For a comprehensive and effective analysis, a systematic literature review was conducted. After the collection and filtering of papers, 52 extensions were retained to be thoroughly examined and compared according to a set of criteria including objective, targeted domain, conformity to the extension mechanism, demonstration, implementation, etc. Findings The representation of the results in the form of tables and graphs allowed the authors to deduce several positive points on the extensions as their demonstration through concrete examples. On the other hand, the authors have observed several shortcomings and suggested recommendations for addressing them. Originality/value To the best of the authors’ knowledge, the literature review is the only one that evaluates and compares all BPMN extensions over the last four years, based on several criteria covering different aspects. Furthermore, the authors were able to verify the conformity of extensions as they were published after the introduction of the BPMN extension mechanism by the Object Management Group.

show abstract

Section: Results Of the Reviewmentioning

confidence: 94%

Section: Results Of the Reviewmentioning

confidence: 99%

See 1 more Smart Citation

A systematic literature review on BPMN extensions

Zarour

Benmerzoug

Guermouche

et al. 2019

BPMJ

Self Cite

View full text Add to dashboard Cite

show abstract

“…In this section, we present a prototype that we have implemented to demonstrate the effectiveness of our proposed solution: BPMN4CPS modelling and verification approach [52]. First, we implement BPMN4CPS as a plug-in for Eclipse, which is an extension of the BPMN2 Modeller.…”

Section: Modelling Environments and The Verification Toolmentioning

confidence: 99%

Modelling and verifying time‐aware processes for cyber‐physical environments

et al. 2019

Self Cite

View full text Add to dashboard Cite

Cyber-physical systems (CPSs) are characterized by a multitude of physical and software. Particularly time-related properties are of paramount importance and they can impact the behaviour of these systems. Designing and verifying CPS while tackling time-related and physical properties are very important steps in the CPS life cycle development. Indeed, it is necessary to capture and characterize the different features and their dependencies with time through expressive models. Then, these models must be verified to prove their correctness. Existing process modelling languages such as business process modelling notation (BPMN) has been widely used to model business processes. However, BPMN lacks several features for modelling rich CPS processes such as those related to time and physical properties. In this study, the authors propose a verification framework for collaborative time-aware CPS processes. In this context, they propose to extend BPMN to support the various CPS concepts and properties. Based on this extension, they propose a consistency verification approach, which aims to verify that the time-related and physical properties associated with each process do not give rise to conflicts. Finally, they propose a compatibility verification approach, which aims to verify that the set of involved CPS processes form consistent inter-CPS processes.

show abstract