Semantic-Based Development of Service-Oriented Systems

  • Martin Wirsing
  • Allan Clark
  • Stephen Gilmore
  • Matthias Hölzl
  • Alexander Knapp
  • Nora Koch
  • Andreas Schroeder
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4229)


Service-oriented computing is an emerging paradigm where services are understood as autonomous, platform-independent computational entities that can be described, published, categorised, discovered, and dynamically assembled for developing massively distributed, interoperable, evolvable systems and applications. 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. In this paper we present first ideas for the Sensoria semantic-based development of service-oriented systems. This includes service-oriented extensions to the UML, a mathematical basis formed by a family of process calculi, a language for expressing context-dependent soft constraints and preferences, qualitative and quantitative analysis methods, and model transformations from UML to process calculi. The results are illustrated by a case study in the area of automotive systems.


Model Transformation Service Level Agreement Soft Constraint Business Process Execution Language Graph Transformation Rule 
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.


  1. 1.
    The Attributed Graph Grammar System (AGG) (Last visited, June 2006),
  2. 2.
    Balogh, A., Varró, D.: Advanced Model Transformation Language Constructs in the VIATRA2 Framework. In: Proc. ACM Symp. Applied Computing (SAC 2006) — Model Transformation Track (to appear, 2006)Google Scholar
  3. 3.
    Baresi, L., Heckel, R., Thöne, S., Varró, D.: Style-based Modelling and Refinement of Service-oriented Architectures. Softw. Sys. Model. (to appear, 2006)Google Scholar
  4. 4.
    Bartoletti, M., Degano, P., Ferrari, G.L.: Security Issues in Service Composition. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 1–16. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  5. 5.
    Bistarelli, S.: Semirings for Soft Constraint Solving and Programming. LNCS, vol. 2962. Springer, Heidelberg (2004)MATHGoogle Scholar
  6. 6.
    Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. J. ACM 44(2), 201–236 (1997)MathSciNetCrossRefMATHGoogle Scholar
  7. 7.
    Microsoft BizTalk Server (Last visited, June 2006),
  8. 8.
    Boreale, M., Bruni, R., DeNicola, R., Lanese, I., Loreti, M., Montanari, U., Sangiorgi, D., Zavattaro, G.: SCC: A Service Centered Calculus. Deliverable 2.2, Sensoria (2006)Google Scholar
  9. 9.
    Business Process Execution Language (BPEL) (Last visited, June 2006),
  10. 10.
    BPEL for Web Services (Last visited, June 2006),
  11. 11.
    Bradley, J.T., Knottenbelt, W.J.: The ipc/HYDRA tool chain for the analysis of PEPA models. In: Proc. 1st Int. Conf. on the Quantitative Evaluation of Systems (QEST 2004), Enschede, Netherlands, pp. 334–335 (September 2004)Google Scholar
  12. 12.
    Bravetti, M., Zavattaro, G.: Service Oriented Computing from a Process Algebraic Perspective. Journal of Logic and Algebraice Programming (to appear, 2005)Google Scholar
  13. 13.
    Bruni, R., Melgratti, H., Montanari, U.: Theoretical Foundations for Compensations in Flow Composition Languages. In: Proc. 32\(^{\text{nd}}\) ACM SIGPLAN-SIGACT Symp. Principles of Programming Languages (POPL 2005), pp. 209–220. ACM, New York (2004)Google Scholar
  14. 14.
    Buchholtz, M., Gilmore, S., Haenel, V., Montangero, C.: End-to-end integrated security and performance analysis on the DEGAS choreographer platform. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 286–301. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  15. 15.
    Degano, P., Prandi, D., Priami, C., Quaglia, P.: Beta-binders for biological quantitative experiments. In: Proc. 4th Workshop on Quantitative Aspects of Programming Languages, QAPL 2006, Electronic Notes in Theoretical Computer Science (to appear, 2006)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.
    Leymann, F.: Web Services Flow Language, version 1.0. Specification, IBM (2001),
  18. 18.
    Garcia-Molina, H., Salem, K.: Sagas. In: SIGMOD 1987: Proc. of ACM SIGMOD Int. Conf. on Management of Data, pp. 249–259. ACM Press, New York (1987)CrossRefGoogle Scholar
  19. 19.
    Gardner, T., Griffin, C., Koehler, J., Hauser, R.: A Review of OMG MOF 2.0 Query/Views/Transformations Submissions and Recommendations towards the Final Standard. In: Proc. Wsh. Meta Modelling for MDA Workshop, York (2003),
  20. 20.
    Giorgini, P., Massacci, F., Zannone, N.: Security and Trust Requirements Engineering. In: Aldini, A., Gorrieri, R., Martinelli, F. (eds.) FOSAD 2005. LNCS, vol. 3655, pp. 237–272. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  21. 21.
    Hansen, R.R., Probst, C.W., Nielson, F.: Sandboxing in myKlaim. In: The First International Conference on Availability, Reliability and Security, ARES 2006 (2006)Google Scholar
  22. 22.
    Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)CrossRefMATHGoogle Scholar
  23. 23.
    UML Model Translator for Model Checking (Hugo/RT) (Last visited, June 2006),
  24. 24.
    IST-FET Global Computing I Initiative Project DEGAS (Last visited, June 2006),
  25. 25.
    Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 128–138. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  26. 26.
    Koshutanski, H., Martinelli, F., Mori, P., Vaccarelli, A.: Fine-grained and history-based access control with trust management for autonomic grid services. In: Proc. of Internat. Conf. on Autonomic and Autonomous Systems (ICAS 2006). IEEE Computer Society, Los Alamitos (2006)Google Scholar
  27. 27.
    Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 200–204. Springer, Heidelberg (2002)Google Scholar
  28. 28.
    Model Driven Architecture (OMG) (Last visited, June 2006),
  29. 29.
    Model Transformation Framework (Last visited, June 2006),
  30. 30.
    Object Management Group (OMG). Unified Modeling Language: Superstructure, version 2.0. Specification, OMG (2005),
  31. 31.
    Query/View/Transformation Specification Final Adopted Specification (Last visited, June 2006),
  32. 32.
    De Nicola, R., Katoen, J.P., Latella, D., Massink, M.: STOKLAIM: A Stochastic Extension of KLAIM. TR 2006-TR-01, ISTI (2006)Google Scholar
  33. 33.
    SCA Consortium. Service Component Architecture, version 0.9. Specification (2005) (Last visited, June 2006),
  34. 34.
    SPIN Model Checker (Last visited, June 2006),
  35. 35.
    Model Checker for UML Statechart Diagrams (Last visited, June 2006),
  36. 36.
    UPPAAL Tool Environment (Last visited, June 2006),
  37. 37.
    Varró, D., Pataricza, A.: Generic and Meta-transformations for Model Transformation Engineering. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 290–304. Springer, Heidelberg (2004)Google Scholar
  38. 38.
    Wirsing, M., Denker, G., Talcott, C., Poggio, A., Briesemeister, L.: A rewriting logic framework for soft constraints. In: WRLA 2006, 6th International Workshop on Rewriting Logic and its Applications (April 2006) (to appear in ENTCS, 2006)Google Scholar
  39. 39.
    Web Services Choreography Interface (WSCI) (Last visited, June 2006),
  40. 40.
    Web Service Description Language (WSDL) (Last visited, June 2006),

Copyright information

© IFIP International Federation for Information Processing 2006

Authors and Affiliations

  • Martin Wirsing
    • 1
  • Allan Clark
    • 2
  • Stephen Gilmore
    • 2
  • Matthias Hölzl
    • 1
  • Alexander Knapp
    • 1
  • Nora Koch
    • 1
    • 3
  • Andreas Schroeder
    • 1
  1. 1.Ludwig-Maximilians-Universität MünchenGermany
  2. 2.University of EdinburghUnited Kingdom
  3. 3.F.A.S.T. GmbHGermany

Personalised recommendations