Sensoria Process Calculi for Service-Oriented Computing

  • Martin Wirsing
  • Rocco De Nicola
  • Stephen Gilmore
  • Matthias Hölzl
  • Roberto Lucchi
  • Mirco Tribastone
  • Gianlugi Zavattaro
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4661)


The IST-FET Integrated Project Sensoria aims at developing a novel comprehensive approach to the engineering of service-oriented software systems where foundational theories, techniques and methods are fully integrated in a pragmatic software engineering approach. Process calculi and logical methods serve as the main mathematical basis of the Sensoria approach.

In this paper we give first a short overview of Sensoria and then focus on process calculi for service-oriented computing. The Service Centered Calculus SCC is a general purpose calculus which enriches traditional process calculi with an explicit notion of session; the Service Oriented Computing Kernel SOCK is inspired by the Web services protocol stack and consists of three layers for service description, service engines, and the service network; Performance Evaluation Process Algebra (PEPA) is an expressive formal language for modelling distributed systems which we use for quantitative analysis of services. The calculi and the analysis techniques are illustrated by a case study in the area of distributed e-learning systems.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bartoletti, M., Degano, P., Ferrari, G.: Security Issues in Service Composition. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 1–16. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  2. 2.
    Bettini, L., Bono, V., Likavec, S.: Safe and flexible objects with subtyping. Object Technology, Special Issue: OOPS Track at SAC 2005, 4(10), 5–29 (2005)Google Scholar
  3. 3.
    Bistarelli, S., Gadducci, F.: Enhancing constraints manipulation in semiring-based formalisms. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) Proceedings of ECAI 2006, 17th European Conference on Artificial Intelligence. Frontiers in Artificial Intelligence and Applications, vol. 141, pp. 63–67. IOS Press, Amsterdam (2006)Google Scholar
  4. 4.
    Bloch, B., Curbera, F., Goland, Y., Kartha, N., Liu, C.K., Thatte, S., Yendluri, P., Yiu, A.: Web services business process execution language version 2.0. Technical report, WS-BPEL TC OASIS (2005),
  5. 5.
    Bonchi, F., Koenig, B., Montanari, U.: Saturated semantics for reactive systems. In: Proceedings of LICS 2006, 21st Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society, Los Alamitos (to appear, 2006)Google Scholar
  6. 6.
    Boreale, M., Bruni, R., Caires, L., De Nicola, R., Lanese, I., Loreti, M., Martins, F., Montanari, U., Ravara, A., Sangiorgi, D., Vasconcelos, V., Zavattaro, G.: SCC: a service centered calculus. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 38–57. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  7. 7.
    Box, D., Ehnebuske, D., Kakivaya, G., Layman, A., Mendelsohn, N., Nielsen, H.F., Thatte, S., Winer, D.: Simple Object Access Protocol (SOAP) 1.2. W3C Recommendation (June 24, 2003),
  8. 8.
    Bravetti, M., Zavattaro, G.: Service Oriented Computing from a Process Algebraic Perspective. Journal of Logic and Algebraic Programming 70(1), 3–14 (2006)CrossRefMathSciNetGoogle Scholar
  9. 9.
    Bruni, R., Ferrari, G., Melgratti, H., Montanari, U., Strollo, D., Tuosto, E.: From theory to practice in transactional composition of web services. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) Formal Techniques for Computer Systems and Business Processes. LNCS, vol. 3670, pp. 272–286. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  10. 10.
    Buscemi, M.G., Montanari, U.: Cc-pi: A constraint-based language for specifying service level agreements. In: Proc. ESOP 2007, LNCS (to appear, 2007)Google Scholar
  11. 11.
    Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and Orchestration: a synergic approach for system design. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 228–240. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  12. 12.
    Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and Orchestration conformance for system design. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 63–81. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  13. 13.
    De Nicola, R., Gorla, D., Pugliese, R.: Confining data and processes in global computing applications. Science of Computer Programming 63(1), 57–87 (2006)zbMATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    De Nicola, R., Katoen, J.-P., Latella, D., Massink, M.: STOKLAIM: A Stochastic Extension of KLAIM. TR 2006-TR-01, ISTI (2006)Google Scholar
  15. 15.
    Degano, P., Prandi, D., Priami, C., Quaglia, P.: Beta-binders for biological quantitative experiments. In: ENTCS - Proceedings of QAPL, 4th Workshop on Quantitative Aspects of Programming Languages (2006) (to appear)Google Scholar
  16. 16.
    Fiadeiro, J.L., Lopes, A., Bocchi, L.: A formal approach to service component architecture. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 193–213. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  17. 17.
    Gilmore, S., Hillston, J.: The PEPA Workbench: A Tool to Support a Process Algebra-based Approach to Performance Modelling. In: Haring, G., Kotsis, G. (eds.) Computer Performance Evaluation. LNCS, vol. 794, pp. 353–368. Springer, Heidelberg (1994)Google Scholar
  18. 18.
    Guidi, C., Lucchi, R.: Mobility mechanisms in service oriented computing. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 233–250. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  19. 19.
    Guidi, C., Lucchi, R., Busi, N., Gorrieri, R., Zavattaro, G.: SOCK: a calculus for service oriented computing. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 327–338. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  20. 20.
    Hansen, R.R., Probst, C.W., Nielson, F.: Sandboxing in myKlaim. In: The First Internat. Conference on Availability, Reliability and Security, ARES 2006 (2006)Google Scholar
  21. 21.
    Hillston, J.: Fluid flow approximation of PEPA models. In: Proceedings of the Second International Conference on the Quantitative Evaluation of Systems, Torino, Italy, September 2005, pp. 33–43. IEEE Computer Society Press, Los Alamitos (2005)Google Scholar
  22. 22.
    Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)Google Scholar
  23. 23.
    Koshutanski, H., Martinelli, F., Mori, P., Vaccarelli, A.: Fine-grained and history-based access control with trust management for autonomic grid services. In: Proceedings of the 2nd International Conference on Automatic and Autonomous Systems (ICAS 2006), Silicon Valley, California, July 2006, IEEE Press, Orlando (2006)Google Scholar
  24. 24.
    Kovács, M., Gönczy, L.: Simulation and formal analysis of workflow models. In: Bruni, R., Varro, D. (eds.) Proc. of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques. ENTCS, Elsevier, Amsterdam (2006)Google Scholar
  25. 25.
    Lapadula, A., Pugliese, R., Tiezzi, F.: A calculus for orchestration of web services. In: Proc. of ESOP 2007, LNCS ( to appear, 2007)Google Scholar
  26. 26.
    Martinelli, F., Petrocchi, M.: A uniform framework for the modeling and analysis of security and trust. In: Proc. of 1st Workshop on Information and Computer Security- ICS 2006. ENTCS, Elsevier, North-Holland (to appear, 2006)Google Scholar
  27. 27.
    Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Inform. and Comput. 100(1), 1–40 (1992)zbMATHCrossRefMathSciNetGoogle Scholar
  28. 28.
    Misra, J., Cook, W.R.: Computation orchestration: A basis for wide-area computing. Journal of Software and Systems Modeling (2006) (to appear)Google Scholar
  29. 29.
    Nielson, H.R., Nielson, F.: Data flow analysis for CCS. Festschrift dedicated to Reinhard Wilhelm’s 60. birthday (2006)Google Scholar
  30. 30.
    De Nicola, R., Katoen, J.P., Latella, D., Massink, M.: STOKLAIM: A Stochastic Extension of KLAIM. TR 2006-TR-01, ISTI (2006)Google Scholar
  31. 31.
    SCA Consortium. Service Component Architecture, version 0.9. Specification, 2005 (Last visited: June 2006),
  32. 32.
    SENSORIA. Software Engineering for Service-Oriented Overlay Computers. Web site at
  33. 33.
    van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases 14(1), 5–51 (2003)CrossRefGoogle Scholar
  34. 34.
    W3C. Web Services Description Language (WSDL) 1.1.
  35. 35.
    Wirsing, M., Clark, A., Gilmore, S., Hölzl, M., Knapp, A., Koch, N., Schroeder, A.: Semantic-Based Development of Service-Oriented Systems. In: Najm, E., Pradat-Peyre, J.F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 24–45. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  36. 36.
    Zunino, R., Degano, P.: Handling exp, × (and timestamps) in protocol analysis. In: Aceto, L., Ingólfsdóttir, A. (eds.) FOSSACS 2006 and ETAPS 2006. LNCS, vol. 3921, pp. 413–427. Springer, Heidelberg (2006)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Martin Wirsing
    • 1
  • Rocco De Nicola
    • 2
  • Stephen Gilmore
    • 3
  • Matthias Hölzl
    • 1
  • Roberto Lucchi
    • 4
  • Mirco Tribastone
    • 3
  • Gianlugi Zavattaro
    • 4
  1. 1.Ludwig-Maximilians-Universität MünchenGermany
  2. 2.University of FlorenceItaly
  3. 3.University of EdinburghUnited Kingdom
  4. 4.University of BolognaItaly

Personalised recommendations