Software Architecture for the Real Time Scheduling of Workflow Management Systems based on a Petri net model
Resumo
Este artigo apresenta uma abordagem para o problema do escalonamento dos Sistemas de Gerenciamento de Workflow. A abordagem proposta utiliza um diagrama de atividades para mostrar as principais atividades e os diferentes roteiros do processo. Baseado no diagrama obtido, o modelo de rede de Petri correspondente é produzido. Mecanismos de alocação de recursos híbridos são modelados por uma rede de Petri híbrida a fim de representar recursos contínuos e discretos. Em seguida, um Jogador de Redes de Petri é aplicado ao exemplo de um “Serviço de Reclamações” a fim de obter um cenário admissível correspondente a uma sequência de atividades que respeita as restrições temporais. Finalmente, é proposta uma arquitetura de software para o escalonamento em tempo real dos Sistemas de Gerenciamento de Workflow.
Referências
Aalst, W. van der; Hee, K. van (2002). Workflow Management: Models, Methods and Systems. The MIT Press. Cambridge, Massachusetts. 368p.
Cardoso, J.; Silbertin-Blanc, C. (2001). Ordering actions in Sequence Diagrams of UML. Invited talk in 23rd International Conference on Information Technology Interfaces. Croatia.
Coves, C.; Crestani, D.; Prunet, F. (1998). Design and Analysis of Workflow Processes with Petri nets. In: 1998 IEEE International Conference on Systems, Man, and Cybernetics Proceedings of IEEESMC'1998. vol. 1. p. 101-106.
David, R., Alla, H. (1992). Petri Nets and Grafcet: tools for modelling discrete event systems. Prentice Hall. 339p.
Eshuis, H. (2002). Semantics and Verification of UML Activity Diagrams for Workflow Modelling. PhD thesis, University of Twente, Enschede, The Netherlands.
Esquirol, P., Huguet, M.J., Lopez, P. (1995). (1999). Modelling and managing disjunctions in scheduling problems. Journal of Intelligent Manufacturing 6. pp. 133-144.
Hruby, P. (1998). Specification of Workflow Management Systems with UML. In: Workshop on Implementation and Application of Object-oriented Workflow Management Systems. Proceedings of the 1998 OOPSLA. Vancouver.
Julia, S.; de Oliveira, F. F. (2004). A p-time hybrid Petri net model for the scheduling problem of the Workflow Management Systems. In: 2004 IEEE International Conference on Systems, Man and Cybernetics. Proceedings of IEEESMCí2004. p. 4947-4952. The Hague, The Netherlands.
Julia, S.; Valette, R.; (2000). Real time scheduling of batch Systems. Simulation Practice and Theory. Elsevier Science. p. 307-319.
Khansa, W., Aygaline, P., Denat, J. P.(1996). Structural analysis of p-time Petri Nets. Symposium on discrete events and manufacturing systems. CESA’96 IMACS Multiconference. Lille, France.
Lee, D. Y.; DiCesare, F.k (1994). Scheduling flexible manufacturing systems using Petri nets and heuristic search. IEEE Transactions on Robotics and Automation.
Li, J., Fan, Y., Zhou, M. (2003). Timing Constraint Workflow Nets for Workflow Analysis. IEEE Transactions on Systems, Man and Cybernetics. Part A: Systems and Humans. Vol. 33, N. 2, March 03.
Murata, T. (1989). Petri nets: Properties, Analysis and Applications. Proceedings of the IEEE. 77(4), p. 541-580.
OMG Object Management Group. (2005). "http://www.omg.org". Acesso em: 5 mar. 2005. 10(3). p. 123-132.
Pressman, R. S. (1995). Software Engineering: A Practionerís Approach. 3 ed. Mc-Graw Hill.
Silva, M.; Valette, R. (1989). Petri nets and Flexible Manufacturing. Advances in Petri nets (G. Rozemberg, Ed.), Lecture Notes in Computer Science. (Springer Verlag).
Tramontina, G. B.; Wainer, J.; Ellis, C. (2004). Applying Scheduling Techniques to Minimize the Number of Late Jobs in Workflow Systems. In: 2004 ACM Symposium on Applied Computing. p. 1397-1403.
Wirtz, G.; Giese, H. (2000). Using UML and Object-Coordination-Nets for Workflow Specification. In: 2000 IEEE International Conference on Systems, Man and Cybernetics. Proceedings of IEEESMC'2000. vol.5, p. 3159-3164
Cardoso, J.; Silbertin-Blanc, C. (2001). Ordering actions in Sequence Diagrams of UML. Invited talk in 23rd International Conference on Information Technology Interfaces. Croatia.
Coves, C.; Crestani, D.; Prunet, F. (1998). Design and Analysis of Workflow Processes with Petri nets. In: 1998 IEEE International Conference on Systems, Man, and Cybernetics Proceedings of IEEESMC'1998. vol. 1. p. 101-106.
David, R., Alla, H. (1992). Petri Nets and Grafcet: tools for modelling discrete event systems. Prentice Hall. 339p.
Eshuis, H. (2002). Semantics and Verification of UML Activity Diagrams for Workflow Modelling. PhD thesis, University of Twente, Enschede, The Netherlands.
Esquirol, P., Huguet, M.J., Lopez, P. (1995). (1999). Modelling and managing disjunctions in scheduling problems. Journal of Intelligent Manufacturing 6. pp. 133-144.
Hruby, P. (1998). Specification of Workflow Management Systems with UML. In: Workshop on Implementation and Application of Object-oriented Workflow Management Systems. Proceedings of the 1998 OOPSLA. Vancouver.
Julia, S.; de Oliveira, F. F. (2004). A p-time hybrid Petri net model for the scheduling problem of the Workflow Management Systems. In: 2004 IEEE International Conference on Systems, Man and Cybernetics. Proceedings of IEEESMCí2004. p. 4947-4952. The Hague, The Netherlands.
Julia, S.; Valette, R.; (2000). Real time scheduling of batch Systems. Simulation Practice and Theory. Elsevier Science. p. 307-319.
Khansa, W., Aygaline, P., Denat, J. P.(1996). Structural analysis of p-time Petri Nets. Symposium on discrete events and manufacturing systems. CESA’96 IMACS Multiconference. Lille, France.
Lee, D. Y.; DiCesare, F.k (1994). Scheduling flexible manufacturing systems using Petri nets and heuristic search. IEEE Transactions on Robotics and Automation.
Li, J., Fan, Y., Zhou, M. (2003). Timing Constraint Workflow Nets for Workflow Analysis. IEEE Transactions on Systems, Man and Cybernetics. Part A: Systems and Humans. Vol. 33, N. 2, March 03.
Murata, T. (1989). Petri nets: Properties, Analysis and Applications. Proceedings of the IEEE. 77(4), p. 541-580.
OMG Object Management Group. (2005). "http://www.omg.org". Acesso em: 5 mar. 2005. 10(3). p. 123-132.
Pressman, R. S. (1995). Software Engineering: A Practionerís Approach. 3 ed. Mc-Graw Hill.
Silva, M.; Valette, R. (1989). Petri nets and Flexible Manufacturing. Advances in Petri nets (G. Rozemberg, Ed.), Lecture Notes in Computer Science. (Springer Verlag).
Tramontina, G. B.; Wainer, J.; Ellis, C. (2004). Applying Scheduling Techniques to Minimize the Number of Late Jobs in Workflow Systems. In: 2004 ACM Symposium on Applied Computing. p. 1397-1403.
Wirtz, G.; Giese, H. (2000). Using UML and Object-Coordination-Nets for Workflow Specification. In: 2000 IEEE International Conference on Systems, Man and Cybernetics. Proceedings of IEEESMC'2000. vol.5, p. 3159-3164
Publicado
16/10/2006
Como Citar
OLIVEIRA, Fernanda Francielle de; JULIA, Stéphane.
Software Architecture for the Real Time Scheduling of Workflow Management Systems based on a Petri net model. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 20. , 2006, Florianópolis.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2006
.
p. 1-16.
DOI: https://doi.org/10.5753/sbes.2006.21201.
