Assured automatic dynamic reconfiguration of business processes

作者:

Highlights:

• Fully automated technique that produces correct-by-construction reconfiguration strategies.

• Increase the usability of an existing technique by providing a business process notation instead of a transition system.

• Formalisation of previous work to increase understandability and to provide more guarantees about proposed solution.

摘要

•Fully automated technique that produces correct-by-construction reconfiguration strategies.•Increase the usability of an existing technique by providing a business process notation instead of a transition system.•Formalisation of previous work to increase understandability and to provide more guarantees about proposed solution.

论文关键词:Dynamic reconfiguration,Controller synthesis,DCR graph

论文评审过程:Received 15 February 2020, Revised 9 April 2021, Accepted 13 June 2021, Available online 7 July 2021, Version of Record 23 November 2021.

论文官网地址:https://doi.org/10.1016/j.is.2021.101850