Modeling and Analyzing Context-Aware Composition of Services

  • Enzo Colombo
  • John Mylopoulos
  • Paola Spoletini
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3826)


Service-oriented modeling and analysis is a promising approach to manage context-aware cooperation among organizations belonging to the same value chain. Following this approach, a value chain is modeled as a composition of services provided by different partners and coordinated in a way that their interactions can be reorganized according to changes in the environment. However, so far, most of the research work in this area has been focused on the design of architectures handling service discovery, compatibility and orchestration. Little attention has been given to the specification and verification of context-aware composition of services during the requirement engineering process. The goal of this paper is to fill this gap through a methodological approach based on the strict coupling between a social and a process model. The methodology is discussed through a simple example.


Service Composition Social Model Business Rule Compensation Action Autonomic Computing 
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.
    Bultan, T., Fu, X., Hull, R., Su, J.: Composition specification: a new approach to design and analysis of e-service composition. In: Proceeding of the International Conference on the World Wide Web (WWW 2003), pp. 403–410. ACM press, New York (2003)CrossRefGoogle Scholar
  2. 2.
    Casati, F., Pozzi, G.: Modeling exceptional behaviours in commercial workflow management systems. In: Proceeding of the CoopIS/DOA/ODBASE 1999. LNCS, pp. 127–138 (1999)Google Scholar
  3. 3.
    Castro, J., Kolp, M., Mylopoulos, J.: Towards requirement-driven information systems engineering: the tropos project. Information Systems 27, 365–389 (2002)zbMATHCrossRefGoogle Scholar
  4. 4.
    Cherubini, A., Colombo, E., Francalanci, C., Spoletini, P.: A formal approach supporting the specification and verification of business conversation requirements. In: Proceeding of the IADIS International Conference on Applied Computing (2005)Google Scholar
  5. 5.
    Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering Series. Kluwer Internationale Series in Software Engineering, vol. 5 (2000)Google Scholar
  6. 6.
    Colombo, E., Francalanci, C., Pernici, B.: Modeling cooperation in virtual districts: a methodology for e-service design. International Journal of Cooperating Information Systems, Special Issue on Service Oriented Modeling 13(4), 337–369 (2004)Google Scholar
  7. 7.
    Harel, D., Naamad, A.: The statemate semantics of statecharts. ACM Trans. on Soft. Eng. and Method. 5(4), 293–333 (1996)CrossRefGoogle Scholar
  8. 8.
    Holtzmann, G.J.: The SPIN Model Checker. Addison-Wesley, Reading (2004)Google Scholar
  9. 9.
    Kephard, J., Parashar, M., Sunderam, V., Das, R. (eds.): Proceedings of the International Conference on Autonomic Computing (2004)Google Scholar
  10. 10.
  11. 11.
    Malone, T.W., Crowston, K.: The interdisciplinary study of coordination. ACM Comp. Surveys 26(1), 87–119 (1994)CrossRefGoogle Scholar
  12. 12.
    Mecella, M., Parisi-Presicce, F., Pernici, B.: Modeling e -service orchestration through petri nets. In: Proceedings of the 3nd VLDB International Workshop on Technologies for e-Services, pp. 38–47 (2002)Google Scholar
  13. 13.
    Murch, R.: Autonomic Computing. Prentice-Hall, Englewood Cliffs (2004)Google Scholar
  14. 14.
    ebxml project,
  15. 15.
    Pnueli, A.: A temporal logic of concurrent programs. Theoretical Computer Science 13, 45–60 (1981)zbMATHCrossRefMathSciNetGoogle Scholar
  16. 16.
    Scott, W.R.: Organizations: Rational, Natural and Open Systems. Prentice-Hall, Englewood Cliffs (1992)Google Scholar
  17. 17.
  18. 18.
    Wombacher, A., Mahlenko, B.: Finding trading partners to establish ad-hoc business processes. In: Meersman, R., Tari, Z., et al. (eds.) CoopIS 2002, DOA 2002, and ODBASE 2002. LNCS, vol. 2519, pp. 339–355. Springer, Heidelberg (2002)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Enzo Colombo
    • 1
  • John Mylopoulos
    • 2
  • Paola Spoletini
    • 1
  1. 1.Dipartimento di Elettronica e InformazionePolitecnico di MilanoMilanoItaly
  2. 2.Dept. of Computer ScienceUniversity of TorontoTorontoCanada

Personalised recommendations