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