M. N. Huhns and M. P. Singh, Service-oriented computing: key concepts and principles, IEEE Internet Computing, vol.9, issue.1, pp.75-81, 2005.
DOI : 10.1109/MIC.2005.21

D. A. Menascé, QoS issues in Web services, IEEE Internet Computing, vol.6, issue.6, pp.72-75, 2002.
DOI : 10.1109/MIC.2002.1067740

P. Bresciani, A. Perini, P. Giorgini, F. Giunchiglia, and J. Mylopoulos, Tropos: An Agent-Oriented Software Development Methodology, Autonomous Agents and Multi-Agent Systems, vol.8, issue.3, pp.203-236, 2004.
DOI : 10.1023/B:AGNT.0000018806.20944.ef

A. V. Lamsweerde and E. Letier, Handling obstacles in goal-oriented requirements engineering, IEEE Transactions on Software Engineering, vol.26, issue.10, pp.978-1005, 2000.
DOI : 10.1109/32.879820

C. Rolland and N. Prakash, Bridging the Gap Between Organisational Needs and ERP Functionality, Requirements Engineering, vol.5, issue.3, pp.180-193, 2000.
DOI : 10.1007/PL00010350
URL : https://hal.archives-ouvertes.fr/hal-00707095

C. Rolland, R. S. Kaabi, and N. Kraeim, On ISOA: Intentional Services Oriented Architecture, CAISE'07, pp.158-172, 2007.
DOI : 10.1007/978-3-540-72988-4_12
URL : https://hal.archives-ouvertes.fr/hal-00706155

B. Ganter and R. Wille, Formal Concept Analysis: Mathematical Foundations, 1999.

M. Mecella, F. P. Presicce, and B. Pernici, Modeling E-service Orchestration through Petri Nets, TES'02, pp.38-47, 2002.
DOI : 10.1007/3-540-46121-3_6

R. K. Kaabi, C. Souveyet, and C. Rolland, Eliciting service composition in a goal driven manner, Proceedings of the 2nd international conference on Service oriented computing , ICSOC '04, pp.308-315, 2004.
DOI : 10.1145/1035167.1035211
URL : https://hal.archives-ouvertes.fr/hal-00673608

R. Macnaughton and H. Yamada, Regular Expressions and State Graphs for Automata, IEEE Transactions on Electronic Computers, vol.9, issue.1, pp.39-47, 1960.
DOI : 10.1109/TEC.1960.5221603

G. Salton and C. Buckley, Term-weighting approaches in automatic text retrieval, Information Processing & Management, vol.24, issue.5, pp.513-523, 1988.
DOI : 10.1016/0306-4573(88)90021-0

J. M. Chambers, W. S. Clevelmd, B. Kleiner, and P. A. Tukey, Graphical methods for data analysis, 1983.

W. B. Frakes and R. Baeza-yates, Information Retrieval: Data Structures and Algorithms, 1992.

M. Pistore, M. Roveri, and P. Busetta, Requirements-Driven Verification of Web Services, WSFM'04, pp.95-108, 2004.
DOI : 10.1016/j.entcs.2004.05.005

K. Zachos, N. Maiden, X. Zhu, and S. Jones, Discovering Web Services to Specify More Complete System Requirements, CAiSE'07, pp.142-157, 2007.
DOI : 10.1007/978-3-540-72988-4_11

D. Peng, S. Huang, X. Wang, and A. Zhou, Management and retrieval of web services based on formal concept analysis, CIT'05, pp.269-275, 2005.

Z. Azmeh, M. Huchard, C. Tibermacine, C. Urtado, and S. Vauttier, WSPAB: A Tool for Automatic Classification & Selection of Web Services Using Formal Concept Analysis, 2008 Sixth European Conference on Web Services, pp.31-40, 2008.
DOI : 10.1109/ECOWS.2008.27