Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments

  • Amit K. Chopra
  • Fabiano Dalpiaz
  • Paolo Giorgini
  • John Mylopoulos
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6051)


Service-oriented applications facilitate the exchange of business services among participants. Existing modeling approaches either apply at a lower of abstraction than required for such applications or fail to accommodate the autonomous and heterogeneous nature of the participants. We present a business-level conceptual model that addresses the above shortcomings. The model gives primacy to the participants in a service-oriented application. A key feature of the model is that it cleanly decouples the specification of an application’s architecture from the specification of individual participants. We formalize the connection between the two—the reasoning that would help a participant decide if a specific application is suitable for his needs. We implement the reasoning in datalog and apply it to a case study involving car insurance.


Business modeling Commitments Goals Service engagements Service-oriented architecture 


  1. 1.
    Benatallah, B., Casati, F., Toumani, F.: Representing, analysing and managing web service protocols. Data and Knowledge Engineering 58(3), 327–357 (2006)CrossRefGoogle Scholar
  2. 2.
    Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An agent-oriented software development methodology. Autonomous Agents and Multi-Agent Systems 8(3), 203–236 (2004)CrossRefGoogle Scholar
  3. 3.
    Bryl, V., Giorgini, P., Mylopoulos, J.: Designing socio-technical systems: From stakeholder goals to social networks. Requirements Engineering 14(1), 47–70 (2009)CrossRefGoogle Scholar
  4. 4.
    Castro, J., Kolp, M., Liu, L., Perini, A.: Dealing with complexity using conceptual models based on Tropos. In: Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds.) Mylopoulos Festschrift. LNCS, vol. 5600, pp. 335–362. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  5. 5.
    Chopra, A.K., Singh, M.P.: Multiagent commitment alignment. In: Proceedings of AAMAS 2009, pp. 937–944 (2009)Google Scholar
  6. 6.
    Colombo, M., Di Nitto, E., Di Penta, M., Distante, D., Zuccalá, M.: Speaking a common language: A conceptual model for describing service-oriented systems. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 48–60. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  7. 7.
    Decker, G., Weske, M.: Behavioral consistency for B2B process integration. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 81–95. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  8. 8.
    De Remer, F., Kron, H.H.: Programming-in-the-large versus programming-in-the small. IEEE Transactions on Software Engineering 2(2), 80–86 (1976)CrossRefGoogle Scholar
  9. 9.
    Desai, N., Chopra, A.K., Singh, M.P.: Amoeba: A methodology for modeling and evolution of cross-organizational business processes. ACM Transactions on Software Engineering and Methodology 19(2) (2010)Google Scholar
  10. 10.
    Gordijn, J., Yu, E., van der Raadt, B.: E-service design using i* and e3value modeling. IEEE Software 23(3), 26–33 (2006)CrossRefGoogle Scholar
  11. 11.
    Guizzardi, R.S.S., Guizzardi, G., Perini, A., Mylopoulos, J.: Towards an ontological account of agent-oriented goals. In: Choren, R., Garcia, A., Giese, H., Leung, H.-f., Lucena, C., Romanovsky, A. (eds.) SELMAS. LNCS, vol. 4408, pp. 148–164. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  12. 12.
    Liu, L., Liu, Q., Chi, C.-H., Jin, Z., Yu, E.: Towards a service requirements modelling ontology based on agent knowledge and intentions. International Journal of Agent-Oriented Software Engineering 2(3), 324–349 (2008)CrossRefGoogle Scholar
  13. 13.
    Lo, A., Yu, E.: From business models to service-oriented design: A reference catalog approach. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol. 4801, pp. 87–101. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  14. 14.
    Mahfouz, A., Barroca, L., Laney, R., Nuseibeh, B.: Requirements-driven collaborative choreography customization. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol. 5900, pp. 144–158. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  15. 15.
    Nguyen, D.K., van den Heuvel, W.-J., Papazoglou, M.P., de Castro, V., Marcos, E.: GAMBUSE: A gap analysis methodology for engineering SOA-based applications. In: Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds.) Mylopoulos Festschrift. LNCS, vol. 5600, pp. 293–318. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  16. 16.
    Di Nitto, E., Ghezzi, C., Metzger, A., Papazoglou, M.P., Pohl, K.: A journey to highly dynamic, self-adaptive service-based applications. Automated Software Engineering 15(3-4), 313–341 (2008)CrossRefGoogle Scholar
  17. 17.
    Ouyang, C., Dumas, M., Van Der Aalst, W.M.P., Ter Hofstede, A.H.M., Mendling, J.: From business process models to process-oriented software systems. ACM Transactions on Software Engineering and Methodology 19(1), 1–37 (2009)CrossRefGoogle Scholar
  18. 18.
    Rolland, C., Kaabi, R.S., Kraïem, N.: On ISOA: Intentional services oriented architecture. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 158–172. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  19. 19.
    Singh, M.P.: Agent communication languages: Rethinking the principles. IEEE Computer 31(12), 40–47 (1998)Google Scholar
  20. 20.
    Singh, M.P., Chopra, A.K.: Correctness properties for multiagent systems. In: Baldoni, M., van Riemsdijk, M.B. (eds.) DALT 2009. LNCS, vol. 5948, pp. 192–207. Springer, Heidelberg (2010)Google Scholar
  21. 21.
    Singh, M.P., Huhns, M.N.: Service-Oriented Computing: Semantics, Processes, Agents. John Wiley & Sons, Chichester (2005)Google Scholar
  22. 22.
    Telang, P.R., Singh, M.P.: Enhancing Tropos with commitments: A business metamodel and methodology. In: Borgida, A.T., Chaudhri, V.K., Giorgini, P., Yu, E.S. (eds.) Mylopoulos Festschrift. LNCS, vol. 5600, pp. 417–435. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  23. 23.
    van Lamsweerde, A.: From system goals to software architecture. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, pp. 25–43. Springer, Heidelberg (2003)Google Scholar
  24. 24.
    Yu, E.S.K.: Towards modelling and reasoning support for early-phase requirements engineering. In: Proceedings of ISRE 1997, pp. 226–235 (1997)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Amit K. Chopra
    • 1
  • Fabiano Dalpiaz
    • 1
  • Paolo Giorgini
    • 1
  • John Mylopoulos
    • 1
  1. 1.Department of Information Engineering and Computer ScienceUniversity of Trento 

Personalised recommendations