Coordinating Multi-task Environments Through the Methodology of Relations Graph

  • Adailton A. Cruz
  • Léo P. Magalhães
  • Alberto B. Raposo
  • Rafael S. Mendes
  • Dennis G. Pelluzi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4715)

Abstract

This paper presents Relations Graph – GR a methodology to automate the generation of coordination mechanisms in computational environments. GR explores encapsulation and compacting capabilities of Colored Petri Nets to generate temporal coordination mechanisms, although the use of the GR methodology does not depend on the knowledge of PN formalism. GR supports alternative temporal behaviors and alternative activities changing the temporal relations among activities in processing time. An algorithm to identify and model coordination mechanisms linear to the number of activities and its application to an illustrative collaborative authoring environment will be presented.

Keywords

Coordination Petri nets temporal behaviors modeling 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Agostini, A., De Michelis, G.: A Light Workflow Management System Using Simple Process Models. Computer Supported Cooperative Work 9, 335–363 (2000)CrossRefGoogle Scholar
  2. 2.
    Allen, J.F.: Towards a General Theory of Action and Time. Artificial Intelligence 23, 123–154 (1984)MATHCrossRefGoogle Scholar
  3. 3.
    Chen, W., Decker, K.S.: Coordination Mechanisms for Dependency Relationships among Multiple Agents. In: Alonso, E., Kudenko, D., Kazakov, D. (eds.) Adaptive Agents and Multi-Agent Systems. LNCS (LNAI), vol. 2636, pp. 172–173. Springer, Heidelberg (2003)Google Scholar
  4. 4.
    Crowston, K.: A Taxonomy of Organizational Dependencies and Coordination Mechanisms. In: Malone, T.W., Crowston, K., Herman, G. (eds.) Organizing Business Knowledge, pp. 85–108. MIT Press, Cambridge (2003)Google Scholar
  5. 5.
    Cruz, A.J.A., Raposo, A.B., Magalhães, L.P.: Coordination in Collaborative Environments - A Global Approach. In: de Janeiro, R. (ed.) Proceedings of the 7th International Conference on Computer Supported Cooperative Work in Design – CSCWD, Brazil, pp. 25–30 (2002)Google Scholar
  6. 6.
    Dellarocas, C.N.: A Coordination Perspective on Software Architecture: Towards a Design Handbook for Integrating Software Components. PhD Thesis, Dept. of Electrical Engineering and Computer Science, MIT (1996)Google Scholar
  7. 7.
    Presti, S.L., Bert, D., Duda, A.: TAO: Temporal Algebraic Operators for Modeling Multimedia Presentations. Journal of Network and Computer Applications 25, 319–342 (2002)CrossRefGoogle Scholar
  8. 8.
    Malone, T.W., Crowston, K.K.: The Interdisciplinary Study of Coordination. ACM Computing Surveys 26(1), 87–119 (1994)CrossRefGoogle Scholar
  9. 9.
    Moldt, D., Wienberg, F.: Multi-Agent-Systems base on Colored Petri Nets. In: Proceedings of the 18th International Conference on Application and Theory of Petri Nets,Toulouse, France, June 23-27, pp. 82–101 (1997)Google Scholar
  10. 10.
    Prasad, S.K., Balasooriya, J.: Fundamental Capabilities of Web Coordination Bonds: Modeling Petri Nets and Expressing Workflow and Communication Patterns over Web Services. In: Proceedings of the 38th Hawaii International Conference on System Sciences, Big Island, Hawaii, Jan. 5-8, pp. 12–19. IEEE Computer Society Press, Los Alamitos (2005)Google Scholar
  11. 11.
    Ramamoorthy, C.V., Ho, G.S.: Performance evaluation of asynchronous concurrent systems using Petri Nets. IEEE Transactions in Software Engineering 6(5), 440–449 (1980)CrossRefMathSciNetGoogle Scholar
  12. 12.
    Raposo, A.B., Magalhães, L.P., Ricarte, I.L.M.: Petri Nets Based Coordination Mechanisms for Multi-Workflow Environments. International Journal of Computer Systems Science & Engineering, Special Issue on Flexible Workflow Technology Driving the Networked Economy 15(5), 315–326 (2000)Google Scholar
  13. 13.
    Schmidt, K., Simone, C.: Coordination Mechanisms: Towards a conceptual foundation of CSCW systems design. Computer Supported Cooperative Work: The Journal of Collaborative Computing 5(2-3), 155–200 (1996)CrossRefGoogle Scholar
  14. 14.
    Szwarcfiter, J.L.: Grafos e algoritmos computacionais (Graphs and Computational Algorithms). Editora Campus, 2nd edn. Rio de Janeiro, Brazil (1986)Google Scholar
  15. 15.
    van der Aalst, W.M.P., van Hee, K.M., Houben, G.J.: Modeling and analyzing workflow using a Petri-net based approach. In: Proceedings of the 2nd Workshop on Computer-Supported Cooperative Work, Petri nets and related formalisms, pp. 31–50 (1994)Google Scholar
  16. 16.
    Verbeek, H.M.W., van der Aalst, W.M.P., Kumar, A.: XRL/Woflan: Verification and Extensibility of an XML/Petri-Net-Based Language for Inter-Organizational Workflows. Information Technology and Management 5(1-2), 65–110 (2004)CrossRefGoogle Scholar
  17. 17.
    Weyns, D., Holvoet, T.: A Colored Petri Net for Multi-Agent Application. In: MOCA 2002. Proceedings of Modeling Objects, Components and Agents, Aarhus, Denmark, pp. 121–140 (2002)Google Scholar
  18. 18.
    Yoon, K., Berra, P.B.: Interactive Temporal Model for Interactive Multimedia Documents. In: IW- MMDBMS. Proceedings of the International Workshop on Multimedia Database Management Systems, pp. 136–144 (1998)Google Scholar
  19. 19.
    Zaidi, A.K.: On temporal Logic Programming Using Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics – Parte A: Systems and Humans 29(3), 245–254 (1999)CrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Adailton A. Cruz
    • 1
  • Léo P. Magalhães
    • 2
  • Alberto B. Raposo
    • 3
  • Rafael S. Mendes
    • 2
  • Dennis G. Pelluzi
    • 2
  1. 1.Federal University of DouradosBrazil
  2. 2.Department of Computer Engineering and Industrial Automation, School of Electrical and Computer Engineering, State University of CampinasBrazil
  3. 3.Computer Science Department, Pontifical Catholic University of Rio de JaneiroBrazil

Personalised recommendations