Paper Info
Title
A refinement-based approach for verifying dynamic changes on time-aware processes.
Abstract
Time is one of the main issues when dealing with process management. In fact, proper time handling can reduce cost and thus maximize profit for organizations. Then, modeling and verifying temporal constraints in business processes have become an area of intensive research. As a particular issue, the execution of these processes needs to be flexible by applying dynamic change operations to satisfy the variable organization requirements and to cope with unforeseen situations. Thus, it is crucial to re-ensure the temporal consistency of the changed processes. To do so, we propose a formal model which guarantees the correctness of timeaware processes while considering change operations. We used the Event-B method which supports an incremental development based on the refinement technique. (C) 2019 The Authors. Published by Elsevier B.V. This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/) Peer-review under responsibility of KES International.
Year
DOI
Venue
2019
10.1016/j.procs.2019.09.319
Procedia Computer Science
Keywords
Field
DocType
Time-aware processes,dynamic change,correctness,refinement
Industrial engineering,Business process,Iterative and incremental development,Computer science,Correctness,Proper time,Artificial intelligence,Machine learning,Temporal consistency
Conference
Volume
ISSN
Citations 
159
1877-0509
0
PageRank 
References 
Authors
0.34
0
1
Name
Order
Citations
PageRank
Fairouz Fakhfakh101.35