Constraint Analysis based on Energetic Reasoning Applied to the Problem of Real Time Scheduling of Workflow Management Systems

Flávio Félix Medeiros, Stéphane Julia

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.

References

  1. Aalst, W. V. D. and Hee, K. V. (2004). Workflow Management: Models, Methods and Systems. MIT Press.
  2. Artigues, C. and Lopez, P. (2015). Energetic reasoning for energy-constrained scheduling with a continuous resource. Journal of scheduling, 18(3):225 - 241.
  3. David, R., A. H. (2010). Discrete, Continuous, and Hybrid Petri Nets. 2nd edn. Springer Publishing Company, Incoporated.
  4. de Oliveira, F. F., Julia, S., and Valette, R. (2008). Real time scheduling of workflow management systems based on a p-time petri net model with hybrid resources. Simulation Modelling Practice and Theory 16, pages 462-482.
  5. Freitas, J. C. J., Julia, S., and Rezende, L. P. (2016). Modeling a fuzzy resource allocation mechanism based on workflow nets. 18th International Conference on Enterprise Information Systems, pages 559 - 566.
  6. Hofstede, A., Aalst, W., Adams, M., and Russell, N. (2010). Modern Business Process Automation: YAWL and its Support Environment. Springer-Verlag, Berlin.
  7. Jensen, K., Kristensen, M., and Wells, L. (2007). Coloured petri nets and cpn tools for modelling and validation of concurrent modeliling. International Journal on Software Tools for Technology Transfer, pages 213 - 254.
  8. Lee, D. and DiCesare, F. (1994). Scheduling flexible manufacturing systems using petri nets and heuristic search. In IEEE transactions on Robotics and Automation, pages 123-132.
  9. Leiliane, P. R., Julia, S., and Cardoso, J. (2016). Uncertain marking for dealing with partial parallelization in business processes. In Proceedings of the 18th International Conference on Enterprise Information Systems, pages 118-125.
  10. Soares Passos, L. M. and Julia, S. (2013). Qualitative analysis of interorganizational workfflow nets using linear logic: Soundness verification. Procedings of the 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, pages 667-673.
  11. Wang, J., T. W. and Rosca, D. (2009). Emergency response workflow resource requirements modeling and analysis. IEEE Transactions on SMC, Part C, 39:270-283.
Download


Paper Citation


in Harvard Style

Medeiros F. and Julia S. (2017). Constraint Analysis based on Energetic Reasoning Applied to the Problem of Real Time Scheduling of Workflow Management Systems . In Proceedings of the 19th International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-989-758-249-3, pages 373-380. DOI: 10.5220/0006275903730380


in Bibtex Style

@conference{iceis17,
author={Flávio Félix Medeiros and Stéphane Julia},
title={Constraint Analysis based on Energetic Reasoning Applied to the Problem of Real Time Scheduling of Workflow Management Systems},
booktitle={Proceedings of the 19th International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2017},
pages={373-380},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006275903730380},
isbn={978-989-758-249-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 19th International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - Constraint Analysis based on Energetic Reasoning Applied to the Problem of Real Time Scheduling of Workflow Management Systems
SN - 978-989-758-249-3
AU - Medeiros F.
AU - Julia S.
PY - 2017
SP - 373
EP - 380
DO - 10.5220/0006275903730380