A Requirement-Centric Approach to Web Service Modeling, Discovery, and Selection

  • Maha Driss
  • Naouel Moha
  • Yassine Jamoussi
  • Jean-Marc Jézéquel
  • Henda Hajjami Ben Ghézala
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6470)


Service-Oriented Computing (SOC) has gained considerable popularity for implementing Service-Based Applications (SBAs) in a flexible and effective manner. The basic idea of SOC is to understand users’ requirements for SBAs first, and then discover and select relevant services (i.e., that fit closely functional requirements) and offer a high Quality of Service (QoS). Understanding users’ requirements is already achieved by existing requirement engineering approaches (e.g., TROPOS, KAOS, and MAP) which model SBAs in a requirement-driven manner. However, discovering and selecting relevant and high QoS services are still challenging tasks that require time and effort due to the increasing number of available Web services. In this paper, we propose a requirement-centric approach which allows: (i) modeling users’ requirements for SBAs with the MAP formalism and specifying required services using an Intentional Service Model (ISM); (ii) discovering services by querying the Web service search engine Service-Finder and using keywords extracted from the specifications provided by the ISM; and(iii) selecting automatically relevant and high QoS services by applying Formal Concept Analysis (FCA). We validate our approach by performing experiments on an e-books application. The experimental results show that our approach allows the selection of relevant and high QoS services with a high accuracy (the average precision is 89.41%) and efficiency (the average recall is 95.43%).


Service-Based Applications Users’ Requirements Modeling Service Discovery Service Selection QoS Formal Concept Analysis 


  1. 1.
    Huhns, M.N., Singh, M.P.: Service-oriented computing: Key concepts and principles. IEEE Internet Computing 9(1), 75–81 (2005)CrossRefGoogle Scholar
  2. 2.
    Menascé, D.A.: Qos issues in web services. IEEE Internet Computing 6(6), 72–75 (2002)CrossRefGoogle Scholar
  3. 3.
    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)CrossRefzbMATHGoogle Scholar
  4. 4.
    Lamsweerde, A.V., Letier, E.: Handling obstacles in goal oriented requirements engineering. IEEE Transactions on Software Engineering 26(10), 978–1005 (2000)CrossRefGoogle Scholar
  5. 5.
    Rolland, C., Prakash, N.: Bridging the gap between organizational needs and erp functionality. Requirements Engineering 5(3), 180–193 (2000)CrossRefzbMATHGoogle Scholar
  6. 6.
    Rolland, C., Kaabi, R.S., Kraeim, 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
  7. 7.
    Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, New York (1999)CrossRefzbMATHGoogle Scholar
  8. 8.
  9. 9.
  10. 10.
    Mecella, M., Presicce, F.P., Pernici, B.: Modeling e-service orchestration through petri nets. In: Buchmann, A., Casati, F., Fiege, L., Hsu, M.-C., Shan, M.-C. (eds.) TES 2002. LNCS, vol. 2444, pp. 38–47. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  11. 11.
    Kaabi, R.K., Souveyet, C., Rolland, C.: Eliciting service composition in a goal driven manner. In: ICSOC 2004, New York, USA, pp. 308–315 (2004)Google Scholar
  12. 12.
    MacNaughton, R., Yamada, H.: Regular expressions and state graphs for automata. IEEE Transactions on Electronic Computers 9(1), 39–47 (1960)CrossRefGoogle Scholar
  13. 13.
  14. 14.
    Salton, G., Buckley, C.: Term-weighting approaches in automatic text retrieval. Information Processing and Management 24(5), 513–523 (1988)CrossRefGoogle Scholar
  15. 15.
    Chambers, J.M., Clevelmd, W.S., Kleiner, B., Tukey, P.A.: Graphical methods for data analysis. Wadsworth & Brooks / Cole, Belmont (1983)Google Scholar
  16. 16.
  17. 17.
    Frakes, W.B., Baeza-Yates, R.: Information Retrieval: Data Structures and Algorithms. Prentice-Hall, Englewood Cliffs (1992)Google Scholar
  18. 18.
    Pistore, M., Roveri, M., Busetta, P.: Requirements-driven verification of web service. In: WSFM 2004, Pisa, Italy, pp. 95–108 (2004)Google Scholar
  19. 19.
    Zachos, K., Maiden, N., Zhu, X., Jones, S.: Discovering web services to specify more complete system requirements. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 142–157. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  20. 20.
    Peng, D., Huang, S., Wang, X., Zhou, A.: Management and retrieval of web services based on formal concept analysis. In: CIT 2005, Shanghai, China, pp. 269–275 (2005)Google Scholar
  21. 21.
    Azmeh, Z., Huchard, M., Tibermacine, C., Urtado, C., Vauttier, S.: Wspab: A tool for automatic classification & selection of web services using formal concept analysis. In: ECOWS 2008, Dublin, Ireland, pp. 31–40 (2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Maha Driss
    • 1
    • 2
  • Naouel Moha
    • 1
  • Yassine Jamoussi
    • 2
  • Jean-Marc Jézéquel
    • 1
  • Henda Hajjami Ben Ghézala
    • 2
  1. 1.IRISA/INRIA, University of Rennes 1France
  2. 2.ENSI, RIADI-GDL LaboratoryUniversity of ManoubaTunisia

Personalised recommendations