Geodesic
Modeling Constraint-based Processes: a Supervisory Control Theory Application
Computer Science and Information Systems, Tome 11 (2014) no. 4.

Voir la notice de l'article provenant de la source Computer Science and Information Systems website

Constraint-based processes require a set of rules that limit their behavior to certain boundaries. In these processes, the control flow is defined implicitly as a set of constraints or rules, and all possibilities that do not violate any of the given constraints are allowed to be executed. The present paper proposes a new approach to deal with constraint-based processes. The proposed approach is based on Supervisory Control Theory, a formal foundation for building controllers for discrete-event systems. The controller proposed in this paper monitors and restricts execution sequences of activities such that constraints are always obeyed. We demonstrate that our approach may be used as a declarative language for constraint-based processes. In order to provide support for users of such processes and to facilitate the using of our control approach, we offer a set of constraints modeled by automata. This set encompasses the constraints frequently needed in workflow system.
Keywords: constraint-based processes, Supervisory Control Theory, declarative languages, flexible processes 
@article{CSIS_2014_11_4_a3,
     author = {Eduardo Alves Portela Santos and Agnelo Denis Vieira and Sauro Schaidt and Eduardo de Freitas Rocha Loures},
     title = {Modeling {Constraint-based} {Processes:} a {Supervisory} {Control} {Theory} {Application}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {11},
     number = {4},
     year = {2014},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2014_11_4_a3/}
}
TY  - JOUR
AU  - Eduardo Alves Portela Santos
AU  - Agnelo Denis Vieira
AU  - Sauro Schaidt
AU  - Eduardo de Freitas Rocha Loures
TI  - Modeling Constraint-based Processes: a Supervisory Control Theory Application
JO  - Computer Science and Information Systems
PY  - 2014
VL  - 11
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2014_11_4_a3/
ID  - CSIS_2014_11_4_a3
ER  - 
%0 Journal Article
%A Eduardo Alves Portela Santos
%A Agnelo Denis Vieira
%A Sauro Schaidt
%A Eduardo de Freitas Rocha Loures
%T Modeling Constraint-based Processes: a Supervisory Control Theory Application
%J Computer Science and Information Systems
%D 2014
%V 11
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2014_11_4_a3/
%F CSIS_2014_11_4_a3
Eduardo Alves Portela Santos; Agnelo Denis Vieira; Sauro Schaidt; Eduardo de Freitas Rocha Loures. Modeling Constraint-based Processes: a Supervisory Control Theory Application. Computer Science and Information Systems, Tome 11 (2014) no. 4. http://geodesic.mathdoc.fr/item/CSIS_2014_11_4_a3/