Abstract
We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being developed within the SENSORIA project as part of a language and formal framework supporting the modelling of complex services at the business level, i.e. independent of the underlying platform and the languages in which services are programmed and deployed. Our approach is based on a novel language and logic of interactions, and a mathematical semantics of composition based on graphs. We illustrate our approach using a case study provided by Telecom Italia, one of our industrial partners in the project.
This work was partially supported through the IST-2005-16004 Integrated Project SENSORIA: Software Engineering for Service-Oriented Overlay Computers, and the Marie-Curie TOK-IAP MTK1-CT-2004-003169 Leg2Net: From Legacy Systems to Services in the Net.
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
Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Springer, Berlin, Heidelberg, New York (2004)
Baïna, K., Benatallah, B., Casati, F., Toumani, F.: Model-driven web service development. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 290–306. Springer, Heidelberg (2004)
Fiadeiro, J.L.: Categories for Software Engineering. Springer, Berlin, Heidelberg, New York (2004)
Fiadeiro, J.L.: Designing for software’s social complexity. IEEE Computer 40(1), 34–39 (2007)
Fiadeiro, J.L., Lopes, A., Bocchi, L.: The SENSORIA Reference Modelling Language: Primitives for Configuration Management (2006), Available from www.sensoria-ist.eu
Fiadeiro, J.L., Lopes, A., Bocchi, L.: A formal approach to service-oriented architecture. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 193–213. Springer, Heidelberg (2006)
Fiadeiro, J.L., Lopes, A., Bocchi, L.: Algebraic semantics of service component modules. In: Fiadeiro, J.L., Schobbens, P.Y. (eds.) Algebraic Development Techniques, pp. 37–55. Springer, Heidelberg (2007)
Fiadeiro, J.L., Schmitt, V.: Structured co-spans: an algebra of interaction protocols. In: CALCO’07. LNCS. Springer, Berlin, Heidelberg, New York (in print 2007)
Foster, I., Kesselman, C. (eds.): The Grid 2: Blueprint for a New Computing Infrastructure. Morgan Kaufmann, San Francisco, CA (2004)
Gnesi, S., Mazzanti, F.: On the fly model checking of communicating UML state machines. In: Dosch, W., Lee, R.Y., Wu, C. (eds.) SERA 2004. LNCS, vol. 3647, pp. 331–338. Springer, Heidelberg (2006)
Gnesi, S., Mazzanti, F.: A model checking verification environment for UML Statecharts. In: Proceedings of XLIII Congresso Annuale AICA Comunita’ Virtuale dalla Ricerca all’Impresa dalla Formazione al Cittadino. University of Udine – AICA (2005), (paper available from fmt.isti.cnr.it )
Goguen, J., Burstall, R.: Institutions: abstract model theory for specification and programming. Journal ACM 39(1), 95–146 (1992)
SCA Consortium (2005) Building Systems using a Service Oriented Architecture, Whitepaper available from www-128.ibm.com/developerworks/library/specification/ws-sca/
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
Abreu, J., Bocchi, L., Fiadeiro, J.L., Lopes, A. (2007). Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. 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_23
Download citation
DOI: https://doi.org/10.1007/978-3-540-73196-2_23
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)