首页    期刊浏览 2024年11月29日 星期五
登录注册

文章基本信息

  • 标题:Modeling constraint-based processes: A supervisory control theory application
  • 本地全文:下载
  • 作者:Santos Eduardo Alves Portela ; Vieira Agnelo Denis ; Schaidt Sauro
  • 期刊名称:Computer Science and Information Systems
  • 印刷版ISSN:1820-0214
  • 电子版ISSN:2406-1018
  • 出版年度:2014
  • 页码:26-26
  • DOI:10.2298/CSIS131029026S
  • 出版社:ComSIS Consortium
  • 摘要:

    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.

  • 关键词:constraint-based processes; Supervisory Control Theory; declarative languages; flexible processes
国家哲学社会科学文献中心版权所有