A. , W. M. Van-der-aalst, M. Weske, D. Grünbaueracmp07, ]. D. Ardagna et al., Case Handling: A New Paradigm for Business Process Support PAWS: A Framework for Executing Adaptive Web-Service Processes, Institut national des sciences appliquées de Lyon BibliographyADHW05] W. M. P. van der Aalst, M. Dumas, A. H. M. ter Hofstede, and P, pp.129-162, 2005.

]. H. Wohedafba11, I. S. Afreena, and . Bajwab, Pattern Based Analysis of BPML (and WSCI) Brisbane: Queensland University of Technology Generating Uml Class Models from Sbvr Software Requirements Specifications, Proceedings of the 23rd Benelux Conference on Artificial Intelligence, pp.23-32, 2005.

J. [. Akkiraju, J. Farrell, M. Miller, ]. S. Nagarajanaghs03, S. Agarwal et al., Web Service Semantics -WSDL-S. University of Georgia Research Foundation Surfing the Service Web, Proceedings of the 2nd International Semantic Web Conference, pp.211-226, 2003.

J. [. Allemang and . Hendler, Semantic Web for the Working Ontologist Effective Modeling in Rdfs and Owl Semantic-Based Semi-Automatic Web Service Composition, Computer Department, 2010.

M. Alrifai and T. Risse, Combining global optimization with local selection for efficient QoS-aware service composition, Proceedings of the 18th international conference on World wide web, WWW '09, pp.881-890, 2009.
DOI : 10.1145/1526709.1526828

C. [. Aiello, F. Platzer, H. Rosenberg, M. Tran, S. Vasko et al., Web Service Indexing for Efficient Retrieval and Composition, The 8th IEEE International Conference on E-Commerce Technology and The 3rd IEEE International Conference on Enterprise Computing, E-Commerce, and E-Services (CEC/EEE'06), pp.63-63, 2006.
DOI : 10.1109/CEC-EEE.2006.96

A. , D. Ardagna, and B. Pernici, Global and Local QoS Guarantee in Web Service Selection, Business Process Management Workshops, pp.32-46, 2006.

A. [. Athanasopoulos, V. Zarras, and . Issarny, Service Substitution Revisited, 2009 IEEE/ACM International Conference on Automated Software Engineering, pp.555-559, 2009.
DOI : 10.1109/ASE.2009.58
URL : https://hal.archives-ouvertes.fr/inria-00459358

J. [. Aydal and . Woodcock, Automation of Model-Based Testing through Model Transformations, 2009 Testing: Academic and Industrial Conference, Practice and Research Techniques, pp.63-71, 2009.
DOI : 10.1109/TAICPART.2009.10

M. [. Bartalos, . [. Bieliková, M. Baryannis, O. Carro, S. Danylevych et al., Automatic Dynamic Web Service Composition: A Survey and Problem Formalization Automatic Composition of Transition-Based Semantic Web Services with Messaging, Overview of the State of the Art in Composition and Coordination of Services. S-CUBE Consortium Proceedings of the 31st International Conference on Very Large Data Bases, pp.793-827, 2005.

D. [. Berardi, G. D. Calvanese, M. Giacomo, M. Lenzerini, and . Mecella, Automatic Composition of E-services That Export Their Behavior, Proceedings of the 11th International Conference on Service Oriented Computing, pp.43-58, 2003.
DOI : 10.1007/978-3-540-24593-3_4

F. [. Bosca, G. Corno, R. Valetto, . [. Maglione, K. Beltran et al., On-the-Fly Construction of Web Services Compositions from Natural Language Requests Ontology-Based User-Defined Rules and Context-Aware Service Composition System, Proceedings of the 8th International Conference on the Semantic Web, pp.40-50, 2006.

M. [. Beydeda, V. Book, B. Gruhn, Q. Z. Benatallah, M. Sheng et al., Model-Driven Software Development The Self-Serv Environment for Web Services Composition Web Service Capability Meta Model Control Flow Requirements for Automated Service Composition, Proceedings of the 8th International Conference on Web Information Systems and Technologies, 2012. [ Proceedings of the 7th International Conference on Web Services, pp.40-48, 2003.

[. Bo and Q. Zheng, A method of Semantic Web Service composition based PDDL, 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA), pp.1-4, 2009.
DOI : 10.1109/SOCA.2009.5410446

B. , R. I. Brafman, C. Domshlak, S. E. Shimony, A. H. Bruegge et al., On Graphical Modeling of Preference and Importance Object-Oriented Software Engineering: Using Uml, Patterns, and Java Specification, Planning, and Execution of Qos-Aware Grid Workflows Within the Amadeus Environment Computing of Applied Digital Ecosystems, Institut national des sciences appliquées de Lyon Proceedings of the International ACM Conference on Management of Emergent Digital EcoSystems, pp.389-424, 2006.

M. [. Berbner, N. Spahn, O. Repp, R. Heckmann, and . Steinmetz, Dynamic Replanning of Web Service Workflows, 2007 Inaugural IEEE-IES Digital EcoSystems and Technologies Conference, pp.211-216, 2007.
DOI : 10.1109/DEST.2007.371972

E. [. Castro, M. L. Marcos, and . Sanz, A model driven method for service composition modelling: a case study, Proceedings of the 4th Central- European Workshop on Services and their Composition, pp.335-353, 2006.
DOI : 10.1504/IJWET.2006.010419

A. [. Cardoso and . Sheth, Semantic E-Workflow Composition, Developing E-Services for Composing E-Services Advanced Information Systems Engineering, pp.191-225, 2001.
DOI : 10.1023/A:1025542915514

L. [. Carman, P. Serafini, and . Traverso, Web Service Composition as Planning, Proceedings of the 23rd International Conference on Automated Planning and Scheduling, pp.1636-1642, 2003.

E. [. Cardellini, V. Casalicchio, F. L. Grassi, R. Presti, and . Mirandola, Qos-driven runtime adaptation of service oriented architectures, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, pp.131-140, 2009.
DOI : 10.1145/1595696.1595718

S. [. Chafle, V. Chandra, M. G. Mann, and . Nanda, Decentralized orchestration of composite web services, Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters , WWW Alt. '04, pp.134-143, 2004.
DOI : 10.1145/1013367.1013390

M. [. Curbera, R. Duftler, W. Khalaf, N. Nagy, S. Mukhi et al., Unraveling the Web services web: an introduction to SOAP, WSDL, and UDDI, Survey and Comparison of Planning Techniques for Web Services Composition, pp.86-93, 2002.
DOI : 10.1109/4236.991449

. [. Cherifi, Similarity Network for Semantic Web Services Substitution, Institut national des sciences appliquées de Lyon mantic Web Services and Web Process Composition Proceedings of the 24th International Conference on Information Technologies, 2013. [CHMT10] P. Châtel, J. Malenfant, and I. Truck, " QoS-based Late-Binding of Service Invocations in Adaptive Business Processes Proceedings of the 2010 IEEE International Conference on Web Services, pp.43-54, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00819487

N. [. Charif, . P. Sabouret-[-chu06-]-p, and . Chu, An Overview of Semantic Web Services Composition Approaches, Rtl Hardware Design Using Vhdl: Coding for Efficiency, Portability, and Scalability, pp.33-41, 2006.
DOI : 10.1016/j.entcs.2005.11.005
URL : https://hal.archives-ouvertes.fr/hal-01420340

. Shan, Adaptive and Dynamic Service Composition in eFlow, Advanced Information Systems Engineering, pp.13-31, 2000.

M. [. Canfora, R. Penta, M. L. Esposito, and . Villani, QoS-aware replanning of composite Web services, IEEE International Conference on Web Services (ICWS'05), pp.121-129, 2005.
DOI : 10.1109/ICWS.2005.96

. [. Chen, Towards a Knowledge-Based Approach to Semantic Service Composition, Proceedinds of the 2nd International Semantic Web Conference, pp.319-334, 2003.
DOI : 10.1007/978-3-540-39718-2_21

. [. Darema, Dynamic Data Driven Applications Systems: New Capabilities for Application Simulations and Measurements, Proceedings of the 5th International Conference on Computational Science -Volume Part II, pp.610-615, 2005.
DOI : 10.1007/11428848_79

. [. Darema, Characterizing Dynamic Data Driven Applications Systems (DDDAS) in Terms of a Computational Model, Computational Science?ICCS 2009, pp.447-448, 2009.
DOI : 10.1007/978-3-642-01973-9_50

L. [. Domingue, F. Cabral, D. Hakimpour, E. Sell, and . Motta, IRS-III: A Platform and Infrastructure for Creating WSMObased Semantic Web Services, Proceedings of the Workshop on WSMO Implementations, pp.29-30, 2004.

M. [. Devlin, R. Dibernardo, M. Pottinger, . G. Wilkinsondrom03-]-r, and . Dromey, Crisis Management Planning and Execution Semi- Automatic Web Service Composition for the Life Sciences Using the Biomoby Semantic Web Framework From Requirements to Design: Formalizing the Key Steps, Proceedings of the First International Conference on Software Engineering and Formal Methods, pp.837-847, 2003.

A. P. Kiepuszewski and . Barros, Workflow Patterns Distributed and Parallel Databases, pp.5-51, 2003.

M. Dumas and A. H. Ter-hofstede, UML Activity Diagrams as a Workflow Specification Language, Proceedings of the Wenbin LI 175
DOI : 10.1007/3-540-45441-1_7

W. [. Dustdar, ]. Schreinerfaya13, L. Fayoumi, C. Yangfedo05, J. Feier et al., Evaluation of Countries Solution Against the U.s Economics Crisis Through a Multiple Attribute Decision Model (madm) SOA: Principles of Service Design SBVR: Knowledge Definition, Vocabulary Management, and Rules Integrations Random- QoS-Aware Reliable Web Service Composition, Survey on Web Services CompositionFKMS07] G. Fliedl et al., " Deriving Static and Dynamic Concepts from Software Requirements Using Sophisticated Tagging, pp.1-30, 2005.

M. Fox and D. Long, PDDL2.1: An extension to PDDL for expressing temporal planning domains Behaviour Analysis and Verification of Web Service Compositions, GBNA08] Y. Gamha, N. Bennacer, G. V. Naquet, B. Ayeb, and L. B, 2003.

. Romdhane, A Framework for the Semantic Composition of Web Services Handling User Constraints, Proceedings of the 2008 IEEE International Conference on Web Services, pp.228-237, 2008.

J. [. Grigori, M. Corrales, A. Bouzeghoub, . T. Gater-[-gerh99-]-a, . Gerhard-wickler-[-gmmz05-]-p et al., Ranking BPEL Processes for Service Discovery, Proceedings of the 13th IEEE International Conference on Requirements Engineering, pp.178-192, 1999.
DOI : 10.1109/TSC.2010.6

A. [. Grünbacher, N. Egyed, . [. Medvidovic, M. C. Grønmo, and . Jaeger, Reconciling Software Requirements and Architectures with Intermediate Models Software and Systems Modeling Model-Driven Semantic Web Service Composition, Proceedings of the 27th International Conference on Software Engineering, pp.235-253, 2004.

F. [. Gripay, J. Laforest, and . Petit, A simple (yet powerful) algebra for pervasive environments, Proceedings of the 13th International Conference on Extending Database Technology, EDBT '10, pp.359-370, 2010.
DOI : 10.1145/1739041.1739086
URL : https://hal.archives-ouvertes.fr/hal-01010286

G. , A. Gregoriades, A. Sutcliffegtss11-]-g, R. Grossmann, M. Thiagarajan et al., Scenario-Based Assessment of Nonfunctional Requirements Conceptual Modeling Approaches for Dynamic Web Service Composition, Institut national des sciences appliquées de Lyon The Evolution of Conceptual Modeling, pp.392-409, 2005.

J. [. Harshavardhan, M. Akilandeswari, . J. Manjari-[-hakp12-], M. Han, J. Kamber et al., Dynamic Web Service Composition Problems and Solution -a Survey Data Mining: Concepts and Techniques Business Rule Modality Integration of OWL-S into IRS-III, Proceedings of the 11th Workshop on Exploring Modeling Methods in Systems Analysis and Design Proceedinds of the First AKT Workshop on Semantic Web Services, pp.1-5, 2004.

. [. Hendryx, Model-Driven Architecture and the Semantics of Business Vocabulary and Business Rules Triggering Replanning in an Integrated Workflow Planning and Enactment System, Proceedings of the 8th East European Conference, pp.322-335, 2004.

Y. [. Han, B. Liu, G. Xu, and . Zhang, A Survey on QoS-Aware Dynamic Web Service Selection, 2011 7th International Conference on Wireless Communications, Networking and Mobile Computing, pp.1-5, 2011.
DOI : 10.1109/wicom.2011.6040618

M. [. Huhns, . Singh-[-ibmo09-]-n, F. L. Ibrahim, . G. Moueljaco99-]-w, G. Jacoby-jaeger et al., Service-Oriented Computing: Key Concepts and Principles A Survey on Service Composition Middleware in Pervasive Environments Levels of Measurement and Political Research: An Optimistic View Qos-Aware Composition of Web Services: An Evaluation of Selection Algorithms, Proceedings of the 2005 Confederated International Conference on on the Move to Meaningful Internet Systems, pp.75-81, 1999.

G. [. Jaeger, G. Rojec-goldmann, and . Muhl, QoS aggregation for web service composition using workflow patterns, Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004., pp.149-159, 2004.
DOI : 10.1109/EDOC.2004.1342512

N. [. Jazuli-bin-kamarudin, R. Sani, and . Atan, Transformation from requirement into behavior design: A review, 2012 International Conference on Information Retrieval & Knowledge Management, pp.153-157, 2012.
DOI : 10.1109/InfRKM.2012.6205025

J. L. Jian-qiang and H. , A Multi-QoS Based Local Optimal Model of Service Selection A Tool For Requirements Engineering Process Development, Institut national des sciences appliquées de Lyon [ Proceedings of the 31st Annual International Computer Software and Applications Conference, pp.526-534, 2007.

M. Keen, A Business Model for Dynamic Composition of Telecommunication Web Services Dynamic Service Composition in Pervasive Computing Composing Semantic Web Services Under Constraints Flexible Quality of Service Management of Web Services Orchestrations Generalized Semantics-Based Service Composition, Patterns: Implementing an SOA Using an Enterprise Service Bus. IBM, International Technical Support Organization Proceedings of the 2008 IEEE International Conference on Web Services, pp.36-43, 2004.

. [. Khalaf, Service?Oriented Composition in BPEL4WS, Proceedings of the Twelfth International World Wide Web Conference, 2003.

M. Klusch and A. Gerber, Semantic Web Service Composition Planning with Owls-Xplan, Proceedings of the 1st International AAAI Fall Symposium on Agents and the Semantic Web, pp.55-62, 2005.

R. [. Keller, A. Lara, I. Polleres, M. Toma, D. Kifer et al., Wsmo Web Service Discovery Markov-HTN Planning Approach to Enhance Flexibility of Automatic Web Service Composition, Proceedings of the 2009 IEEE International Conference on Web Services, pp.9-16, 2004.

T. [. Kopecky, C. Vitvar, J. Bournez, . [. Farrell, H. J. Lakemeyer et al., SAWSDL: Semantic Annotations for WSDL and XML Schema, Proceedings of the 19th International Joint Conference on Artificial Intelligence, pp.60-67, 2005.
DOI : 10.1109/MIC.2007.134

A. [. Lamparter, R. Ankolekar, S. Studer, and . Grimm, Preference-based selection of highly configurable web services, Proceedings of the 16th international conference on World Wide Web , WWW '07
DOI : 10.1145/1242572.1242709

C. [. Lanubile, R. Ebert, A. Prikladnicki, . Vizcaino-]-f, E. Lécué et al., Collaboration Tools for Global Software Engineering, Emerging Web Services Technology, pp.52-55, 2008.
DOI : 10.1109/MS.2010.39

Y. [. Li, F. Badr, and . Biennier, Improving Web Service Composition with User Requirement Transformation and Capability Model, Proceedings of the On the Move to Meaningful Internet Systems: OTM 2013 Conferences, pp.300-307, 2013.
DOI : 10.1007/978-3-642-41030-7_21

Y. [. Li, F. Badr, and . Biennier, Towards a Capability Model for Web Service Composition, 2013 IEEE 20th International Conference on Web Services, pp.609-610, 2013.
DOI : 10.1109/ICWS.2013.86
URL : https://hal.archives-ouvertes.fr/hal-01339218

Y. [. Li, F. Badr, and . Biennier, Towards Natural-like Requirement based Web Service Composition, Proceedings of the 25th International Conference on Software & Systems Engineering and their Applications, pp.9-15, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01339253

Y. [. Li, F. Badr, and . Biennier, Service farming, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, pp.750-756, 2013.
DOI : 10.1145/2480362.2480505
URL : https://hal.archives-ouvertes.fr/hal-01339163

. [. Lin, Web Service Composition with User Preferences, Proceedings of the 5th European Semantic Web Conference, pp.629-643, 2008.
DOI : 10.1007/978-3-540-68234-9_46

Q. [. Li, Y. Zhao, and . Dai, A Semantic Web Service Composition Method Based on an Enhanced Planning Graph, 2010 International Conference on E-Business and E-Government, pp.2288-2291, 2010.
DOI : 10.1109/ICEE.2010.578

R. [. Laliwala, P. Khosla, S. Majumdar, and . Chaudhary, Semantic and Rules Based Event-Driven Dynamic Web Services Composition for Automation of Business Processes, 2006 IEEE Services Computing Workshops, pp.175-182, 2006.
DOI : 10.1109/SCW.2006.38

Z. [. Liu, C. Shao, G. Yu, and . Fan, A Heuristic QoS-Aware Service Selection Approach to Web Service Composition, 2009 Eighth IEEE/ACIS International Conference on Computer and Information Science, pp.1184-1189, 2009.
DOI : 10.1109/ICIS.2009.76

U. [. Lyons-cambridge, S. A. Mandell, and . Mcilraith, Natural language and universal grammar Adapting Bpel4ws for the Semantic Web: The Bottom-up Approach to Web Service Interoperation, Proceedings of the 2nd International Semantic Web Conference, D. Fensel, K. Sycara, and J. Mylopoulos, 1991.

M. [. Martin, J. Burstein, O. Hobbs, ]. Lassilambkg09, S. Mabrouk et al., OWL-S: Semantic Markup for Web Services, QoS-Aware Service Composition in Dynamic, 2004.

. [. Mcdermott, Estimated-Regression Planning for Interactions with Web Services, Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems, pp.204-211, 2002.

. [. Mcilraith, Adapting Golog for composition of semantic web Services, Proceedings of the 8th International Conference on Knowledge Representation and Reasoning, pp.482-493, 2002.

N. [. Meditskos, . [. Bassiliades, A. Medjahed, A. K. Bouguettaya, . [. Elmagarmid et al., Structural and Role-Oriented Web Service Discovery with Taxonomies in OWL-S, Proceedings of the First International Conference on Parallel and Distributed Computing Techniques and Applications Business Process Management, pp.278-290, 2000.
DOI : 10.1109/TKDE.2009.89

C. [. Mich, K. Mackenzie, F. Laskey, P. Mccabe, M. Brown-martin-gudgin et al., NL-OOPS: from natural language to object oriented requirements using the natural language processing system LOLITA, Proceedings of the First International Conference on High Performance Computing and Communications, pp.161-187, 1996.
DOI : 10.1017/S1351324996001337

F. [. Moser, S. Rosenberg, and . Dustdar, Non-intrusive monitoring and service adaptation for WS-BPEL, Proceeding of the 17th international conference on World Wide Web , WWW '08, pp.815-824, 2008.
DOI : 10.1145/1367497.1367607

[. Mohamad, F. Zeshanmpmb05, and ]. D. Martin, Semantic Web Service Composition Approaches_overview and Limitations Software Engineering and Computer Systems Bringing Semantics to Web Services: The OWL-S Approach, Semantic Web Services and Web Process Composition, pp.283-290, 2005.

N. [. Maiden, P. Seyff, O. Grunbacher, K. Otojare, and . Mitteregger, Making Mobile Requirements Engineering Tools Usable and Useful, 14th IEEE International Requirements Engineering Conference (RE'06), pp.29-38, 2006.
DOI : 10.1109/RE.2006.38

Z. Maamar, S. Tata, K. Yetongnon, D. Benslimane, A. Mukhopadhyay et al., A Goal-Based Approach to Engineering Capacity-Driven Web Services The Knowledge Engineering Review A Survey on Web Service Discovery Approaches, Institut national des sciences appliquées de Lyon Advances in Computer Science, Engineering & Applications Simulation, Verification and Automated Composition of Web Services Proceedings of the 11th International Conference on World Wide Web, pp.1-17, 2002.

K. [. Nawaz, H. F. Qadir, and . Ahmad, SEMREG-Pro: A Semantic based Registry for Proactive Web Service Discovery using Publish-Subscribe Model, 2008 Fourth International Conference on Semantics, Knowledge and Grid, pp.301-308, 2008.
DOI : 10.1109/SKG.2008.97

S. [. Newborn and . Easterbrook, Automated theorem proving: theory and practice Requirements Engineering: A Roadmap, Proceedings of the Conference on the Future of Software Engineering, pp.35-46, 2000.
DOI : 10.1007/978-1-4613-0089-2

A. [. Oaks, D. Ter-hofstede, D. Oh, S. R. Lee, . [. Kumara et al., Capabilities: Describing What Services Can Do Object Management Group, Business Semantics of Business Rules Request For Proposal Object Management Group A Comparative Illustration of AI Planning-Based Web Services Composition What's in a Service?, Proceedings of the First International Conference on Service Oriented ComputingPAAB07] A. V. Paliwal, N. R. Adam, and C. Bornhovd, " Web Service Discovery: Adding Semantics through Service Request Expansion and Latent Semantic Indexing Proceedings of the 2007 IEEE International Conference on Services Computing, pp.1-16, 2002.

J. [. Papapanagiotou and . Fleuriot, A theorem proving framework for the formal verification of Web Services Composition, Proceedings of the International Workshop on Automated Specification and Verification of Web Systems, pp.1-16, 2011.
DOI : 10.4204/EPTCS.61.1

. [. Papazoglou, Service-oriented computing: concepts, characteristics and directions, Proceedings of the 7th International Conference on Properties and Applications of Dielectric Materials (Cat. No.03CH37417), pp.3-12, 2003.
DOI : 10.1109/WISE.2003.1254461

. [. Peer, Web Service Composition as AI Planning ? a Survey Switerland: University of St, 2011.

P. , R. Phalnikar, and P. A. Khutade, Survey of Qos Based Web Service Discovery, Proceedings of the 2012 World Congress on Information and Communication Technologies, pp.657-661, 2012.

T. [. Paolucci, T. Kawamura, K. Payne, and . Sycara, Semantic Matching of Web Services Capabilities Sword: A Developer Toolkit for Web Service Composition, Proceedings of the First International Semantic Web Conference Proceedings of the 11th International WWW Conference Conceptual Architecture for Semantic Web Services Proceedings of the Third International Semantic Web Conference, pp.333-347, 2002.

V. [. Pu, N. Hristidis, and . Koudas, Syntactic Rule Based Approach toWeb Service Composition, 22nd International Conference on Data Engineering (ICDE'06), pp.31-40, 2006.
DOI : 10.1109/ICDE.2006.153

A. [. Ramírez and . De-antonio, Automated Planning and Replanning in an Intelligent Virtual Environments for Training, Knowledge-Based Intelligent Information and Engineering Systems, pp.765-772, 2007.
DOI : 10.1007/978-3-540-74819-9_94

J. [. Raik, S. Rao-prabhakar, and . Hendryx, Service Composition in Dynamic Environments: From Theory to Practice Semantic Web Service Composition Via Logic-Based Program Synthesis Transformation of Sbvr Business Design to UML Models, Proceedings of the 1st India Software Engineering Conference, pp.29-38, 2004.

X. [. Rao and . Su, A Survey of Automated Web Service Composition Methods, Proceedings of the First International Workshop on Semantic Web Services and Web Process Composition, pp.43-54, 2005.
DOI : 10.1007/978-3-540-30581-1_5

. [. Roman, WWW: WSMO, WSML, and WSMX in a Nutshell, Proceedings of the 1st Annual Asian Semantic Web ConferenceREF10] Oracle, Deploying the BIG-IP System v10 with Oracle's BEA WebLogic. 2010. [REF11] Object Management Group, pp.516-522, 2006.
DOI : 10.1007/11836025_49

. Available, The Component Object Model Specification Service selection based on non-functional properties, ]. [REF95] Microsoft Corporation Proceedings of Non Functional Properties and Service Level Agreements in Service Oriented Computing Workshop, 1995.

. [. Rönn, Invariants and closures in the theory of rewrite systems, Institut national des sciences appliquées de Lyon [RONA09] Ronald SCHMELZER Proceedings of the 2006 International Conference on Web Services, pp.463-478, 1996.
DOI : 10.1007/BF01213534

S. [. Santhanam, V. Basu, and . Honavar, Web Service Substitution Based on Preferences Over Non-functional Attributes, 2009 IEEE International Conference on Services Computing, pp.210-217, 2009.
DOI : 10.1109/SCC.2009.21

[. Nasser, A. Salbrechter, H. Mayr, and C. Kop, Resilient Scatter-Gather ESB Messaging Design with Message-Driven Beans Mapping Pre-Designed Business Process Models to UML, Proceedings of the 2004 International Conference on Software Engineering and Applications, pp.400-405, 2004.

S. [. Samarasinghe and . Somé, Generating a Domain Model from a Use Case Model Towards a Genetic Algorithm Approach to Automating Workflow Composition for Web Services with Transactional and QoS-Awareness, Proceedings of the 14th International Conference on Intelligent and Adaptive Systems and Software Engineering Proceeding of the 2011 2011 IEEE World Congress on Services, pp.295-302, 2005.

Y. [. Shaw, X. Shi, and . Chen, Prospects for an engineering discipline of software, Proceedings of the Third International Conference on Multimedia Information Networking and Security, pp.15-24, 1990.
DOI : 10.1109/52.60586

F. [. Sell, J. Hakimpour, E. Domingue, R. C. Motta, . Pachecosihp02-]-e et al., Interactive Composition of WSMO-Based Semantic Web Services in IRS-III, Proceedings of the First Akt Workshop on Semantic Web Services Semi-automatic Composition of Web Services using Semantic Descriptions Proceedings of the 1st International Workshop on Web Services: Modeling, Architecture and Infrastructure, pp.17-24, 2002.

. [. Singh, Distributed enactment of multiagent workflows, Proceedings of the second international joint conference on Autonomous agents and multiagent systems , AAMAS '03, pp.907-914, 2003.
DOI : 10.1145/860575.860721

M. [. Singh and . Sood, Model Driven Architecture: A Perspective, 2009 IEEE International Advance Computing Conference, pp.1644-1652, 2009.
DOI : 10.1109/IADCC.2009.4809264

R. [. Skogan, I. Grønmo, and . Solheim, Web service composition in UML, Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004.
DOI : 10.1109/EDOC.2004.1342504

L. [. Skersys, R. Tutkute, . [. Butleris, D. Subramaniam, B. H. Liu et al., The Enrichment of Bpmn Business Process Model with Sbvr Business Vocabulary and Rules UCDA: Use Case Driven Development Assistant Tool for Class Model Generation HTN planning for web service composition using SHOP2, Proceedings of the 16th International Conference on Software Engineering and Knowledge EngineeringSOMM07] I. Sommerville, Software Engineering. Pearson Education Mygrid: Personalised Bioinformatics on the Information Grid QoS-Aware Service Composition: A Survey Proceedings of the IEEE 8th European Conference on Web Services, pp.143-150, 2003.

D. [. Stavropoulos, I. Vrakas, . S. Vlahavas-[-suly08-], F. Su, F. Li et al., A Survey of Service Composition in Ambient Intelligence Environments Iterative Selection Algorithm for Service Composition in Distributed Environments, Science in China Series F: Information Sciences Distributed P2P Computing Within Triana: A Galaxy Visualization Test Case Proceedings of the International Parallel and Distributed Processing Symposium, pp.1-24, 2003.

. [. Taylor, F. Truptil, H. Bénaben, and . Pingaud, Peers in a Client-Server World: A Modern Perspective on Peer to Peer and Grid Computing On-the-Fly Adaptation of Crisis Response Information System, Proceedings of the 2011 International Conference on Management of Emergent Digital EcoSystems, pp.114-121, 2004.

T. [. Tsalgatidou and . Pilioura, An Overview of Standards and Related Technology in Web Services Genetic Algorithm- Based Optimization of Service Composition and Deployment, Distributed Parallel Databases Vanrompay, P. Rigole, and Y. Berbers Proceedings of the 3rd International Workshop on Services Integration in Pervasive Environments, pp.135-162, 2002.

W. P. Wohed, W. M. Van-der-aalst, M. Dumas, and A. H. Ter-hofstede, Pattern Based Analysis of BPEL4WS Analysis of Web Services Composition Languages: The Case of BPEL4WS, Institut national des sciences appliquées de Lyon [ Proceeding of the 22nd International Conference on Conceptual Modeling, pp.200-215, 2002.

. [. Waldinger, Web Agents Cooperating Deductively, Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems, pp.250-262, 2001.
DOI : 10.1007/3-540-45484-5_20

W. [. Weerawarana, . Ws-policy, . Ws-addressing, W. Ws-bpel, . G. Messaging et al., Web services platform architecture: SOAP Semantic Web Service Discovery Algorithm and Its Application on the Intelligent Automotive Manufacturing System, Proceedings of the 2nd IEEE International Conference on Information Management and Engineering, pp.601-604, 2005.

[. G. Wu, A. Ranabahu, K. Gomadam, A. P. Sheth, J. A. Miller et al., Attribute Grammars and the Teaching of Compiler Design and Implementation Automatic Composition of Semantic Web Services using Process Mediation A Dynamic Semantic Association-Based Web Service Composition Method, Proceedings of the 9th International Conference on Enterprise Information Systems Proceedings of the 2006 IEEEACM International Conference on Web Intelligence, pp.121-127, 2000.

F. [. Xiaoming, H. Qiqing, Z. Yahui, and . Bingjian, A User Requirements Oriented Dynamic Web Service Composition Framework, 2009 International Forum on Information Technology and Applications, pp.173-177, 2009.
DOI : 10.1109/IFITA.2009.95

P. [. Yan, L. Poizat, and . Zhao, Repair vs. Recomposition for Broken Service Compositions, pp.152-166, 2010.
DOI : 10.1007/978-3-642-02463-4_17

Z. [. Young, C. Yang, Q. Shang, C. Liu, T. Zhao et al., Effective Requirements Practices A Dynamic Web Services Composition Algorithm Based on the Combination of Ant Colony Algorithm and Genetic Algorithm An Automated Approach to Transform Use Cases into Activity Diagrams, Modelling Foundations and Applications, pp.2617-2622, 2001.

T. Yue, L. C. Briand, Y. Zhang, K. Lin, E. Zahoor et al., A systematic review of transformation approaches between user requirements and analysis models, Institut national des sciences appliquées de Lyon Rule-Based Semi Automatic Web Services Composition Proceedings of the 2009 World Conference on Services, pp.75-99, 2007.
DOI : 10.1007/s00766-010-0111-y

. [. Zave, Classification of research efforts in requirements engineering, Proceedings of the 12th International Conference on World Wide Web, pp.315-321, 1997.
DOI : 10.1145/267580.267581

B. [. Zeng, A. H. Benatallah, M. Ngu, J. Dumas, H. Kalagnanam et al., QoS-aware middleware for Web services composition, Proceedings of the IEEE 34th Annual Computer Software and Applications Conference, pp.311-327, 2004.
DOI : 10.1109/TSE.2004.11

[. L. Zhang, Eic Editorial: Introduction to the Body of Knowledge Areas of Services Computing Applications of Norm and Situation Calculus in the Semantic Web Service Composition An Efficient Syntactic Web Service Composition Algorithm Based on the Planning Graph Model, Proceedings of the 2008 IEEE International Conference on Web Services, pp.62-74, 2008.

D. [. Ziaka, N. Vrakas, and . Bassiliades, Web Service Composition Plans in OWL-S, Proceeding of the 3rd International Conference on Agents and Artificial Intelligence, pp.240-254, 2013.
DOI : 10.1007/978-3-642-29966-7_16

A. [. Zeng, B. Ngu, R. Benatallah, H. Podorozhny, and . Lei, Dynamic composition and optimization of Web services, Distributed and Parallel Databases Proceeding of 2008 IEEE International Conference on Granular Computing, pp.45-72, 2008.
DOI : 10.1007/s10619-008-7030-7