Modeling Constraint-based Processes: a Supervisory Control Theory Application.
Saved in:
| Title: | Modeling Constraint-based Processes: a Supervisory Control Theory Application. |
|---|---|
| Authors: | Portela Santos, Eduardo Alves1 eduardo.portela@pucpr.br, Vieira, Agnelo Denis1 agnelo.vieira@pucpr.br, Schaidt, Sauro1 sauro.schaidt@pucpr.br, de Freitas Rocha Loures, Eduardo1 eduardo.loures@pucpr.br |
| Source: | Computer Science & Information Systems. Oct2014, Vol. 11 Issue 4, p1229-1247. 19p. |
| Subjects: | Control theory (Engineering), Declarative programming languages, Constraint programming, Supervisory control systems, Robots |
| Abstract: | 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. [ABSTRACT FROM AUTHOR] |
| Copyright of Computer Science & Information Systems is the property of ComSIS Consortium and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 99577352 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Modeling Constraint-based Processes: a Supervisory Control Theory Application. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Portela+Santos%2C+Eduardo+Alves%22">Portela Santos, Eduardo Alves</searchLink><relatesTo>1</relatesTo><i> eduardo.portela@pucpr.br</i><br /><searchLink fieldCode="AR" term="%22Vieira%2C+Agnelo+Denis%22">Vieira, Agnelo Denis</searchLink><relatesTo>1</relatesTo><i> agnelo.vieira@pucpr.br</i><br /><searchLink fieldCode="AR" term="%22Schaidt%2C+Sauro%22">Schaidt, Sauro</searchLink><relatesTo>1</relatesTo><i> sauro.schaidt@pucpr.br</i><br /><searchLink fieldCode="AR" term="%22de+Freitas+Rocha+Loures%2C+Eduardo%22">de Freitas Rocha Loures, Eduardo</searchLink><relatesTo>1</relatesTo><i> eduardo.loures@pucpr.br</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Computer+Science+%26+Information+Systems%22">Computer Science & Information Systems</searchLink>. Oct2014, Vol. 11 Issue 4, p1229-1247. 19p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Control+theory+%28Engineering%29%22">Control theory (Engineering)</searchLink><br /><searchLink fieldCode="DE" term="%22Declarative+programming+languages%22">Declarative programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Constraint+programming%22">Constraint programming</searchLink><br /><searchLink fieldCode="DE" term="%22Supervisory+control+systems%22">Supervisory control systems</searchLink><br /><searchLink fieldCode="DE" term="%22Robots%22">Robots</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: 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. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of Computer Science & Information Systems is the property of ComSIS Consortium and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=99577352 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.2298/CSIS131029026S Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 19 StartPage: 1229 Subjects: – SubjectFull: Control theory (Engineering) Type: general – SubjectFull: Declarative programming languages Type: general – SubjectFull: Constraint programming Type: general – SubjectFull: Supervisory control systems Type: general – SubjectFull: Robots Type: general Titles: – TitleFull: Modeling Constraint-based Processes: a Supervisory Control Theory Application. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Portela Santos, Eduardo Alves – PersonEntity: Name: NameFull: Vieira, Agnelo Denis – PersonEntity: Name: NameFull: Schaidt, Sauro – PersonEntity: Name: NameFull: de Freitas Rocha Loures, Eduardo IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 10 Text: Oct2014 Type: published Y: 2014 Identifiers: – Type: issn-print Value: 18200214 Numbering: – Type: volume Value: 11 – Type: issue Value: 4 Titles: – TitleFull: Computer Science & Information Systems Type: main |
| ResultId | 1 |
