Skip to main content

Abstract

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.

An erratum to this chapter can be found at http://dx.doi.org/10.1007/11914853_71.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  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. 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)

    Chapter  Google Scholar 

  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. 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)

    Article  Google Scholar 

  5. Workflow Management Coalition. Workflow management coalition: Terminology and glossary (1996)

    Google Scholar 

  6. Microsoft Corporation (2003), http://msdn.microsoft.com/webservices/building/interop/

  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. 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)

    Article  Google Scholar 

  9. Object Management Group (2002), http://www.corba.org/

  10. IBM (1999), http://www-306.ibm.com/software/htp/cics/

  11. IBM, Microsoft, and BEA. Web services coordination. Technical report(2003)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Klint, P., Olivier, P.: The TOOLBUS coordination architecture - a demonstration. In: Algebraic Methodology and Software Technology, pp. 575–578 (1996)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  17. Papadopoulos, G.A., Arbab, F.: Coordination models and languages. Technical report, Amsterdam, The Netherlands (1998)

    Google Scholar 

  18. Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Upper Saddle River (1981)

    Google Scholar 

  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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Vu, THG., Collet, C., Vargas-Solar, G. (2006). Defining and Modelling Service-Based Coordinated Systems. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE. OTM 2006. Lecture Notes in Computer Science, vol 4275. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11914853_24

Download citation

  • DOI: https://doi.org/10.1007/11914853_24

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-48287-1

  • Online ISBN: 978-3-540-48289-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics