Defining and Modelling Service-Based Coordinated Systems

  • Thi-Huong-Giang Vu
  • Christine Collet
  • Genoveva Vargas-Solar
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4275)


This paper introduces MEO – a model for securing service-based coordinated systems. The model uses constraints for expressing the application logic of a coordinated system and its required security strategies. Coordination activities are the key concepts used for controlling the execution of participating services. Constraints are specified as pre and post conditions of these coordination activities.


Mobile Agent Application Logic Coordination Activity Coordination Model Service Coordination 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alvarez, P., Banares, J.A., Muro-Medrano, P.R., Nogueras, J., Zarazaga, F.J.: A java coordination tool for web-service architectures: The location-based service context. In: FIDJI 2001: Revised Papers from the International Workshop on Scientific Engineering for Distributed Java Applications, London, UK, pp. 1–14. Springer, Heidelberg (2003)Google Scholar
  2. 2.
    Belhajjame, K., Vargas-Solar, G., Collet, C.: Defining and coordinating open-services using workflows. In: Meersman, R., Tari, Z., Schmidt, D.C. (eds.) CoopIS 2003, DOA 2003, and ODBASE 2003. LNCS, vol. 2888, pp. 110–128. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  3. 3.
    Bryce, C., Oriol, M., Vitek, J.: A coordination model for agents based on secure spaces. In: Ciancarini, P., Wolf, A.L. (eds.) COORDINATION 1999. LNCS, vol. 1594, pp. 4–20. Springer, Heidelberg (1999)Google Scholar
  4. 4.
    Ciancarini, P., Franze, F., Mascolo, C.: Using a coordination language to specify and analyze systems containing mobile components. ACM Trans. Softw. Eng. Methodol. 9(2), 167–198 (2000)CrossRefGoogle Scholar
  5. 5.
    Workflow Management Coalition. Workflow management coalition: Terminology and glossary (1996)Google Scholar
  6. 6.
  7. 7.
    Cremonini, M., Omicini, A., Zambonelli, F.: Coordination in context: Authentication, authorisation and topology in mobile agent applications. In: Ciancarini, P., Wolf, A.L. (eds.) COORDINATION 1999. LNCS, vol. 1594, p. 416. Springer, Heidelberg (1999)Google Scholar
  8. 8.
    Georgakopoulos, D., Hornick, M.F., Sheth, A.P.: An overview of workflow management: From process modeling to workflow automation infrastructure. Distributed and Parallel Databases 3(2), 119–153 (1995)CrossRefGoogle Scholar
  9. 9.
    Object Management Group (2002),
  10. 10.
  11. 11.
    IBM, Microsoft, and BEA. Web services coordination. Technical report(2003)Google Scholar
  12. 12.
    Inverardi, P., Muccini, H.: Coordination Models and Software Architectures in a Unified Software Development Process. In: Porto, A., Roman, G.-C. (eds.) COORDINATION 2000. LNCS, vol. 1906, pp. 323–328. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  13. 13.
    Issarny, V., Bidan, C., Saridakis, T.: Characterizing coordination architectures according to their non-functional execution properties. In: HICSS 1998: Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, Washington, DC, USA, vol. 7, p. 275. IEEE Computer Society, Los Alamitos (1998)CrossRefGoogle Scholar
  14. 14.
    Khan, K., Han, J., Zheng, Y.: Characterising user data protection of software components. In: Proceedings of the 2000 Australian Software Engineering Conference, WCanberra, Australia, p. 255. IEEE Computer Society Press, Los Alamitos (2000)Google Scholar
  15. 15.
    Klint, P., Olivier, P.: The TOOLBUS coordination architecture - a demonstration. In: Algebraic Methodology and Software Technology, pp. 575–578 (1996)Google Scholar
  16. 16.
    Malone, T.W., Crowston, K.: What is coordination theory and how can it help design cooperative work systems? In: CSCW 1990: Proceedings of the 1990 ACM conference on Computer-supported cooperative work, pp. 357–370. ACM Press, New York (1990)CrossRefGoogle Scholar
  17. 17.
    Papadopoulos, G.A., Arbab, F.: Coordination models and languages. Technical report, Amsterdam, The Netherlands (1998)Google Scholar
  18. 18.
    Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Upper Saddle River (1981)Google Scholar
  19. 19.
    Tolksdorf, R.: Coordination Technology for Workflows on the Web: Workspaces. In: Porto, A., Roman, G.-C. (eds.) COORDINATION 2000. LNCS, vol. 1906, pp. 36–50. Springer, Heidelberg (2000)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Thi-Huong-Giang Vu
    • 1
  • Christine Collet
    • 1
  • Genoveva Vargas-Solar
    • 1
  1. 1.LSR-IMAG LaboratorySaint Martin d’HèresFrance

Personalised recommendations