Home // ADAPTIVE 2017, The Ninth International Conference on Adaptive and Self-Adaptive Systems and Applications // View article
Goal-Compliance Framework for Self-Adaptive Workflows
Authors:
Budoor Allehyani
Stephan Reiff-Marganiec
Keywords: BPMN; Reconfiguration; Goal-Compliance; Model Checking; Ontology; Runtime Verification.
Abstract:
Workflow adaptation involves two major research top- ics: flexibility and correctness. The former is related to the ability to react to change and adapt workflow structure, while the latter is related to managing this flexibility and ensuring syn- tactical, semantical as well as behavioural consistencies. Current approaches range from providing flexible workflows to flexible and consistent workflows. They mostly focus on syntactical consistency and generic properties (such as deadlock-freedom), but rarely consider semantic aspects. However, not providing semantic guarantees neglects the importance of preserving the original goal. The primary focus of this research is to ensure goal compliance during workflow reconfiguration. Thus, we analyse the impact of workflow automatic adaptation on the goal in question. As a result, we define goal-compliance constraints and develop a goal-compliance framework, which automatically and dynamically adapts workflow instances through Event-Condition- Action policies. Furthermore, it validates the adaptation against the goal-compliance rules and constraints through model check- ing and ontology-based approach.
Pages: 16 to 21
Copyright: Copyright (c) IARIA, 2017
Publication date: February 19, 2017
Published in: conference
ISSN: 2308-4146
ISBN: 978-1-61208-532-6
Location: Athens, Greece
Dates: from February 19, 2017 to February 23, 2017