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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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)
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)
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)
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)
Workflow Management Coalition. Workflow management coalition: Terminology and glossary (1996)
Microsoft Corporation (2003), http://msdn.microsoft.com/webservices/building/interop/
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)
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)
Object Management Group (2002), http://www.corba.org/
IBM (1999), http://www-306.ibm.com/software/htp/cics/
IBM, Microsoft, and BEA. Web services coordination. Technical report(2003)
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)
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)
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)
Klint, P., Olivier, P.: The TOOLBUS coordination architecture - a demonstration. In: Algebraic Methodology and Software Technology, pp. 575–578 (1996)
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)
Papadopoulos, G.A., Arbab, F.: Coordination models and languages. Technical report, Amsterdam, The Netherlands (1998)
Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Upper Saddle River (1981)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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)