Abstract
We report on a formal framework being developed within the SENSORIA project for supporting service-oriented modelling at high levels of abstraction, i.e. independently of the hosting middleware and hardware platforms, and the languages in which services are programmed. More specifically, we give an account of the concepts and techniques that support the composition model of SENSORIA, i.e. the mechanisms through which complex applications can be put together from simpler components, including modelling primitives for the orchestration of components and the definition of external interfaces.
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Springer, Heidelberg (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)
Baresi, L., Heckel, R., Thöne, S., Varró, D.: Modeling and validation of service-oriented architectures: Application vs style. In: Persson, A., Stirna, J. (eds.) ESEC 2003. LNCS, vol. 3084, pp. 290–306. Springer, Heidelberg (2004)
Benatallah, B., Casati, F., Toumani, F.: Web service conversation modelling. IEEE Internet Computing 8(1), 46–54 (2004)
Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: POPL 2005, pp. 209–220. ACM Press, New York (2005)
Curbera, F., Khalaf, R., Mukhi, N., Tai, S., Weerawarana, S.: The next step in web services. CACM 46(10), 29–34 (2003)
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (2006)
Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. EATCS Monographs on Theoretical Computer Science, vol. 21. Springer, Heidelberg (2005)
Fiadeiro, J.L., Lopes, A., Bocchi, L.: The SENSORIA Reference Modelling Language: Primitives for Service Description (2006), Available from: http://www.sensoria-ist.eu
Fiadeiro, J.L., Lopes, A., Wermelinger, M.: A mathematical semantics for architectural connectors. In: Backhouse, R., Gibbons, J. (eds.) Generic Programming. LNCS, vol. 2793, pp. 190–234. Springer, Heidelberg (2003)
Foster, I., Kesselman, C. (eds.): The Grid 2: Blueprint for a New Computing Infrastructure. Morgan Kaufmann, San Francisco (2004)
Goldblatt, R.: Logics of Time and Computation. CSLI, Stanford (1987)
Misra, J., Cook, W.: Computation orchestration: A basis for wide-area computing. Journal of Software and Systems Modelling (to appear, 2006)
SCA Consortium. Building Systems using a Service Oriented Architecture (2005), Whitepaper available from: www-128.ibm.com/developerworks/library/specification/ws-sca/
Solanki, M., Cau, A., Zedan, H.: Augmenting semantic web service description with compositional specification. In: WWW 2004, pp. 544–552. ACM Press, New York (2004)
Wermelinger, M., Lopes, A., Fiadeiro, J.L.: A graph-based architectural (re)-configuration language. In: Gruhn, V. (ed.) ESEC/FSE 2001, pp. 21–32. ACM Press, New York (2001)
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
Fiadeiro, J.L., Lopes, A., Bocchi, L. (2006). A Formal Approach to Service Component Architecture. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds) Web Services and Formal Methods. WS-FM 2006. Lecture Notes in Computer Science, vol 4184. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11841197_13
Download citation
DOI: https://doi.org/10.1007/11841197_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-38862-3
Online ISBN: 978-3-540-38865-4
eBook Packages: Computer ScienceComputer Science (R0)