Authors:
Flávio Félix Medeiros
1
and
Stéphane Julia
2
Affiliations:
1
Federal Institute of Mato Grosso do Sul - IFMS, Brazil
;
2
Federal University of Uberlandia - UFU, Brazil
Keyword(s):
Workflow Management System, Petri Nets, Constraint Programming, Energetic Reasoning.
Related
Ontology
Subjects/Areas/Topics:
Agents
;
Artificial Intelligence
;
Bioinformatics
;
Biomedical Engineering
;
Data Engineering
;
e-Business
;
Enterprise Engineering
;
Enterprise Information Systems
;
Health Information Systems
;
Information Systems Analysis and Specification
;
Knowledge Management
;
Methodologies and Technologies
;
Ontologies and the Semantic Web
;
Operational Research
;
Simulation
;
Society, e-Business and e-Government
;
Software Engineering
;
Tools, Techniques and Methodologies for System Development
;
Web Information Systems and Technologies
Abstract:
The objective of this paper is to propose a constraint analysis applied to the problem of real time scheduling in workflow management systems. The adopted model is a p-time Workflow net with a hybrid resource allocation mechanism. The approach considers time constraint propagation techniques for the different types of routings that exist in workflow processes. Different types of resources, discrete and continuous, are then incorporated into the model and an approach based on energetic reasoning is applied. Energetic reasoning can identify unacceptable schedulings due to the energetic inability of the involved resources in the implementation of the related activities. An update of the temporal constraints is then produced in order to eliminate the dates inconsistent with the set of scheduling solutions. Considering the set of modified constraints, a specialized inference mechanism called token player is then applied, which has the purpose of obtain in real time an admissible scenario
corresponding to a specific sequence of activities that respects the time constraints.
(More)