A Formal Approach to Service Component Architecture

  • José Luiz Fiadeiro
  • Antónia Lopes
  • Laura Bocchi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4184)


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.


Formal Approach Service Component Service Description Composite Service Business Logic 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Springer, Heidelberg (2004)zbMATHGoogle Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    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)Google Scholar
  4. 4.
    Benatallah, B., Casati, F., Toumani, F.: Web service conversation modelling. IEEE Internet Computing 8(1), 46–54 (2004)CrossRefGoogle Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    Curbera, F., Khalaf, R., Mukhi, N., Tai, S., Weerawarana, S.: The next step in web services. CACM 46(10), 29–34 (2003)Google Scholar
  7. 7.
    Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (2006)zbMATHGoogle Scholar
  8. 8.
    Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. EATCS Monographs on Theoretical Computer Science, vol. 21. Springer, Heidelberg (2005)Google Scholar
  9. 9.
    Fiadeiro, J.L., Lopes, A., Bocchi, L.: The SENSORIA Reference Modelling Language: Primitives for Service Description (2006), Available from:
  10. 10.
    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)CrossRefGoogle Scholar
  11. 11.
    Foster, I., Kesselman, C. (eds.): The Grid 2: Blueprint for a New Computing Infrastructure. Morgan Kaufmann, San Francisco (2004)Google Scholar
  12. 12.
    Goldblatt, R.: Logics of Time and Computation. CSLI, Stanford (1987)Google Scholar
  13. 13.
    Misra, J., Cook, W.: Computation orchestration: A basis for wide-area computing. Journal of Software and Systems Modelling (to appear, 2006)Google Scholar
  14. 14.
    SCA Consortium. Building Systems using a Service Oriented Architecture (2005), Whitepaper available from:
  15. 15.
    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)CrossRefGoogle Scholar
  16. 16.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • José Luiz Fiadeiro
    • 1
  • Antónia Lopes
    • 2
  • Laura Bocchi
    • 1
  1. 1.Department of Computer ScienceUniversity of LeicesterLeicesterUK
  2. 2.Department of Informatics, Faculty of SciencesUniversity of LisbonLisboaPortugal

Personalised recommendations