Abstract
We propose a novel approach to service choreography through a typed process calculus that features an event notification paradigm for coordinating distributed components (e.g., services). Basically, the type system expresses coordination policies for handling the events spawn in a network so that distributed components react to events when the type of their public interface is ”compatible” with (the policies expressed by) the types of signals.
Remarkably, the type system can naturally handle multi-party sessions, as shown in the formalisation of the OpenID protocol which requires multi-party sessions for handling user identities.
Research supported by the EU FET-GC2 IST-2004-16004 Integrated Project Sensoria and by the Italian FIRB Project Tocai.it.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. Journal of the ACM 44(2), 201–236 (1997)
Boreale, M., Bruni, R., Caires, L., De Nicola, R., Lanese, I., Loreti, M., Martins, F., Montanari, U., Ravara, A., Sangiorgi, D., Vasconcelos, V.T., Zavattaro, G.: SCC: A service centered calculus. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM. LNCS, vol. 4184, pp. 38–57. Springer-Verlag, Heidelberg (2006)
Carbone, M., Honda, K., Yoshida, N.: Structured communication-centred programming for web services. In: De Nicola, R. (ed.) Programming Languages and Systems. LNCS, vol. 4421, pp. 2–17. Springer-Verlag, Heidelberg (2007)
Carzaniga, A., Rosenblum, D.S., Wolf, A.L.: Achieving scalability and expressiveness in an internet-scale event notification service. In: Annual Symposium on Principles of Distributed Computing PODC, pp. 219–227 (2000)
Carzaniga, A., Wolf, A.L.: Content-based networking: A new communication infrastructure. In: König-Ries, B., Makki, K., Makki, S.A.M., Pissinou, N., Scheuermann, P. (eds.) IMWS 2001. LNCS, vol. 2538, pp. 59–68. Springer, Heidelberg (2002)
Carzaniga, A., Wolf, A.L.: Forwarding in a content-based network. In: Proceedings of the ACM SIGCOMM 2003 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication, Karlsruhe, Germany, August 25-29, 2003, pp. 163–174. ACM Press, New York (2003)
Chappell, D.: Introducing windows cardspace. MSDN Library, Available, at http://msdn2.microsoft.com/en-us/library/aa480189.aspx
De Nicola, R., Ferrari, G., Montanari, U., Pugliese, R., Tuosto, E.: A Basic Calculus for Modelling Service Level Agreements. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol. 3454, pp. 33–48. Springer, Heidelberg (2005)
Eugster, P.Th., Guerraoui, R.: Distributed programming with typed events. IEEE Software 21(2), 56–64 (2004)
Ferrari, G., Guanciale, R., Strollo, D.: Event based service coordination over dynamic and heterogeneous networks. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 453–458. Springer, Heidelberg (2006)
Ferrari, G., Guanciale, R., Strollo, D.: Jscl: A middleware for service coordination. In: Najm, E., Pradat-Peyre, J.F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 46–60. Springer, Heidelberg (2006)
Hirsch, D., Tuosto, E.: SHReQ: A Framework for Coordinating Application Level QoS. In: Bernhard, K.A., Bernhard, B. (eds.) 3rd IEEE International Conference on Software Engineering and Formal Methods, pp. 425–434. IEEE Computer Society, Los Alamitos (2005)
Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998 and ETAPS 1998. LNCS, vol. 1381, pp. 122–141. Springer, Heidelberg (1998)
Huang, Y., Gannon, D.: A comparative study of web services-based event notification specifications. In: ICPP Workshops, pp. 7–14. IEEE Computer Society, Los Alamitos (2006)
i-name specifications, Available at http://www.inames.net/developers.html
Liu, Y., Plale, B.: Survey of publish subscribe event systems. Technical Report TR574, Computer Science Department, Indiana University (2003)
Recordon, D., Fitzpatrick, B.: OpenID Authentication 1.1, Available at http://openid.net/specs/openid-authentication-1_1.html
Tam, D., Azimi, R., Jacobsen, H.-A.: Building content-based publish/subscribe systems with distributed hash tables. In: Aberer, K., Kalogeraki, V., Koubarakis, M. (eds.) Databases, Information Systems, and Peer-to-Peer Computing. LNCS, vol. 2944, pp. 138–152. Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 IFIP International Federation for Information Processing
About this paper
Cite this paper
Ferrari, G., Guanciale, R., Strollo, D., Tuosto, E. (2007). Coordination Via Types in an Event-Based Framework . In: Derrick, J., Vain, J. (eds) Formal Techniques for Networked and Distributed Systems – FORTE 2007. FORTE 2007. Lecture Notes in Computer Science, vol 4574. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73196-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-73196-2_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73195-5
Online ISBN: 978-3-540-73196-2
eBook Packages: Computer ScienceComputer Science (R0)