L. Des, O. De, U. Des, . Relatives, and M. Services, 148 TABLEAU 10, p.149

T. Le, E. De-coordination, P. , T. A. {a, B. et al., 159 TABLEAU 19, UNE CORRESPONDANCE, p.182

T. Liste and A. Services, 185 TABLEAU 27 IDENTIFICATION, p.236

L. Des, O. De-type-demande-/-reponse, .. Des, . Relatives, and M. Services, 249 TABLEAU 36, p.250

L. Des, C. Coordination, and R. Leurs, 251 TABLEAU 40, p.253

Z. Baida, J. Gordijn, B. Omelayenko, and H. Akkermans, A shared service terminology for online service provisioning, Proceedings of the 6th international conference on Electronic commerce , ICEC '04, 2004.
DOI : 10.1145/1052220.1052222

]. J. Banerjee87, W. Banerjee, H. Kim, H. Kim, and . Korth, Semantics and Implementation of Schema Evolution in Object Oriented Databases, Proc. of the ACM-SIGMOD Annual Conference, pp.311-322, 1987.

K. Douglas and . Barry, Web Services and Service-Oriented Architectures : The Savvy Manager's Guide, 2003.

C. Batini, Enabling Italian E-Government Through a Cooperative Architecture, IEEE Computer, vol.6, issue.3, 2001.

]. T. Bellwood02, L. Bellwood, C. Clément, and . Von-riegen, Universal description, discovery and integration, 2002.

]. B. Benatallah02, M. Benatallah, Q. Dumas, A. H. Sheng, and . Ngu, Declarative composition and peer-topeer provisionning of dynamic web services, Rakesh Agrawal, Klaus Dittrich et Anne H; H. Ngu, éditeurs, 18 th international Conference on Data Engineering, pp.297-308, 2002.

]. B. Benatallah03, Q. Benatallah, M. Sheng, and . Dumas, The Self-Serv environment for Web services composition, IEEE Internet Computing, vol.7, issue.1, pp.40-48, 2003.
DOI : 10.1109/MIC.2003.1167338

]. D. Berardi03, D. Berardi, G. Calvanese, M. De-giacomo, M. Lenzerini et al., Automatic Composition of eservices that export their Behavior, Proceedings of the 1 st International Conference on Service Oriented Computing (ICSOC'03), 2003.

D. Berardi, G. De-giacomo, and D. Calvanese, -services based on automated reasoning, Proceedings of the 2nd international conference on Service oriented computing , ICSOC '04, 2004.
DOI : 10.1145/1035167.1035183

URL : https://hal.archives-ouvertes.fr/hal-00801272

]. D. Berardi05 and . Berardi, Automatic Service Composition : Models, Techniques and Tools, Thèse de doctorat, 2005.

J. Bezivin and S. Gerard, A preliminary identification of MDA components, Generative Techniques in the context of Model Driven Architecture, 2002.

J. Bezivin, M. Blay, M. Bouzhegoub, J. Estubier, S. Jm-favre et al., Rapport synthétique de l'AS CNRS sur le MDA (Model Driven Architecture), rapport interne du CNRS, 2004.

G. Booch, J. Rumbaugh, and I. Jacobson, The Unified Modeling Language User Guide, 1998.

D. Booth, H. Haas, F. Mccabe, and E. Newcomer, Web services architecture, aout, 2003.

]. Brown96 and . Brown, Component-based software engineering: selected papers from the Software Engineering Institute, 1996.

]. J. Caroll95, The Scenario Perspective on System Development, in Scenario-Based Design Envisioning Work and Technology in System Development, 1995.

F. Casati and M. Shan, Dynamic and adaptive composition of e-services, Information Systems, vol.26, issue.3, pp.143-163, 2001.
DOI : 10.1016/S0306-4379(01)00014-X

A. Charfi and M. Mezini, Hybrid web service composition, Proceedings of the 2nd international conference on Service oriented computing , ICSOC '04, 2004.
DOI : 10.1145/1035167.1035173

P. P. Chen, TheEntity-Relationship Model : Toward a Unified View of Data, ACM Transactions on Database Systems, vol.1, p.1, 1976.

]. E. Christensen01, F. Christensen, G. Curbera, S. Meredith, and . Weerawarana, Web services description language (WSDL) 1.1. Technical report, World Wide Web Consortium, 2001.

]. P. Clements02, L. Clements, and . Northrop, Software Product Lines ? Practices and Patterns, 2002.

]. A. Cockburn00 and . Cockburn, Writing Effective Use Cases (The Crystal Collection for Software Professionals), 2000.

]. A. Cockburn95 and . Cockburn, Structuring use cases with goals, p.7691

]. C. Colombo05, E. Colombo, M. Nitto, D. Penta, M. Distante et al., Speaking a Common Language: A Conceptual Model for Describing Service-Oriented Systems, Third International Conference on Service Oriented Computing (ICSOC'05), pp.48-60, 2005.
DOI : 10.1007/11596141_5

M. Comerio, F. De-paoli, S. Grega, C. Batini, C. D. Francesco et al., A service re-design methodology for multi-channel adaptation, Proceedings of the 2nd international conference on Service oriented computing , ICSOC '04, 2004.
DOI : 10.1145/1035167.1035170

]. K. Czarnecki00, U. W. Czarnecki, and . Eisenecker, Generative Programming ? Methods, Tools and Applications, 2000.

]. A. Dardenne91, S. Dardenne, A. Fickas, and . Van-lamsweerde, Goal-directed concept acquisition in requirements elicitation, Proceedings of the Sixth International Workshop on Software Specification and Design, pp.14-21, 1991.
DOI : 10.1109/IWSSD.1991.213081

]. A. Dardenne93, A. Dardenne, S. Van-lamsweerde, and . Fickas, Goal-directed requirements acquisition, Science of Computer Programming, vol.20, issue.1-2, 1993.
DOI : 10.1016/0167-6423(93)90021-G

D. Dijkman, A Basic Design Model for Service-Oriented Design, p.0, 2003.

]. S. Dik89 and . Dik, The theory of functional grammar, 1989.

[. Dittrich, Object-Oriented Data Model Concepts Advances in Object-Oriented Database Systems, NATO ASI Series, Series F: Computer and System Science, pp.29-45, 1994.

T. Do, M. Kolp, and A. Pirotte, Social Patterns for designing Multi-Agent Systems, th International Conference on Software Engineering and Knowledge Engineering (SEKE'03), 2003.

M. Dowson, Iteration in the Software Process, Proc 9th Int. Conf. on Software Engineering, 1988.

]. A. Drogoul92, J. Drogoul, and . Ferber, Multi-agent simulation as a tool for modelling societies: Application to social differentiation in ant colonies, Workshop On Modelling Autonomous Agents in a Multi-Agent World, MAAMAW '92, 1992.

]. A. Etien06 and . Etien, Ingénierie de l'alignement : Concepts, Modèles et Processus, La méthode ACEM pour l'alignement d'un système d'information aux processus d'entreprise, Thèse de doctorat en informatique, 2006.

M. Fauvet, M. Dumas, and B. Benatallah, Collecting and Querying Distributed Traces of Composite Service Executions, Confederates International conferences CoopIS, DOA and ODBASE, pp.373-390, 2002.
DOI : 10.1007/3-540-36124-3_22

]. C. Fillmore68 and . Fillmore, The case for case, in Universals in linguistic theory, 1968.

]. M. Franckson91, C. Franckson, and . Peugeot, Specification of the object and process modelling language, 1991.

H. Gamaa and M. Shin, Multiple-view meta-modeling of software product lines, Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings., 2002.
DOI : 10.1109/ICECCS.2002.1181517

]. G. Gustavo04, F. Alonso, H. Casati, V. Kuno, and . Machiraju, Web Services: Concepts, Architectures and Applications, 2004.

]. D. Harel00, D. Harel, J. Kozen, and . Tiuryn, Dynamic Logic, 2000.

]. K. Heather01 and . Heather, Web services conceptual architecture (wsca 1.0), may, 2001.

M. Henkel, J. Zdravkovic, and P. Johannesson, Service-based Processes ? Design for Business and Technology, International Conference on Service Oriented Computing, 2004.

]. C. Holbrook90 and . Holbrook, A scenario-based methodology for conducting requirements elicitation, ACM SIGSOFT Software Engineering Notes, vol.15, issue.1, pp.95-104, 1990.
DOI : 10.1145/382294.382725

]. R. Hull03, M. Hull, V. Benedikt, J. Christophides, and . Su, E-services, Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '03, pp.1-14, 2003.
DOI : 10.1145/773153.773154

]. R. Hull87, R. Hull, and . King, Semantic Database Modelling : Survey, Application and Research Issues, ACM Computer Survey, vol.19, p.3, 1987.

H. Ingolf, R. Kruger, and . Mathew, Systemtic Development and Exploration on Service-Oriented Software Architectures. Wicsa, fourth Working IEEE/IFIP Conference on Software Architecture (WICSA'04), p.177, 2004.

]. M. Jackson95 and . Jackson, Software Requirements and Specifications ? A Lexicon of Practice, Principles and Pejudices, 1995.

J. Kim, M. Spraragen, and Y. Gil, An intelligent assistant for interactive workflow composition, Proceedings of the 9th international conference on Intelligent user interface , IUI '04
DOI : 10.1145/964442.964466

M. Kolp, J. Castro, and J. Mylopoulous, A Social Organization Perspective on Software Architectures First international, Workshop From Software Requirements to Architectures (STRAW'01) at ICSE, 2001.

]. S. Lausen97, G. Lausen, and . Vossen, Models and languages of Object/Oriented Databases, 1997.

[. Lopes, Étude et applications de l'approche MDA pour des plates-formes de Services Web, Thèse du doctorat à l'Université de Nantes, 2005.

M. Lubars, C. Potts, and C. Richter, A review of the state of the practice in requirements modeling, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering, pp.2-14, 1993.
DOI : 10.1109/ISRE.1993.324842

]. R. Macnaugthon60 and Y. Macnaughton, Regular expressions and state graphs for automata, IEEE transactions on electronic computers, pp.39-47, 1960.

]. M. Mecella02a, B. Mecella, and . Pernici, Building Flexible and Cooperative Applications Based on e-Services, Dipartimento di Informatica e Sistemistica, 2002.

]. M. Mecella02b, F. Mecella, and . Parisi-precisse, Modeling E -service Orchestration through Petri Nets, Proceedings of the Third International Workshop on Technologies for E-ServicesPages, pp.38-47, 2002.

]. T. Melliti04 and . Melliti, Interopérabilité des services Web complexes. Application aux systèmes multi-agents

H. Meyers and M. Weske, Automated Service Composition Using Heuristic Search
DOI : 10.1007/11841760_7

]. J. Mylopoulos00, J. Mylopoulos, and . Castro, TROPOS : A framework for requirements driven sofware development Information systems engineering: state of the art and research themes, Lecture Notes in Computer Science, 2000.

[. Nilsson, Problem Solving Methods in Artificial Intelligence, 1971.

]. Ommering02 and . Ommering, Building product populations with software components, Proceedings of the 24th international conference on Software engineering , ICSE '02, 2002.
DOI : 10.1145/581372.581373

]. B. Orriëns03, J. Orriëns, M. Yang, and . Papazoglou, Model Driven Service Composition, Proc. Of the 1 st International Conference on Service Oriented Computing (ICSOC'03), 2003.

]. M. Pallos01 and . Pallos, Service Oriented Architecture: A Primer, EAI Journal, 2001.

]. Papazoglou02, P. Papazoglou, and . Grefen, Service-Oriented Computing " The S.O.C Manifesto, 2002.

]. Papazoglou03, D. Papazoglou, and . Georgakopoulos, Service Oriented Computing (special issue, Communication of the ACM, pp.24-28, 2003.

]. Papazoglou05 and . Papazoglou, Extended the Service Oriented Architecture, Business Integration Journal, 2005.

]. Papazoglou06a, W. Papazoglou, and . Van, Service-oriented design and development methodology, International Journal of Web Engineering and Technology, vol.2, issue.4, 2006.
DOI : 10.1504/IJWET.2006.010423

]. Papazoglou06b, W. Papazoglou, and . Van, Business Process Development Lifecycle Methodology, 2006.

]. O. Patrascoiu04 and . Patrascoiu, Mapping EDOC to web services using YATL, Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004., pp.286-297, 2004.
DOI : 10.1109/EDOC.2004.1342525

]. C. Peltz03 and . Peltz, Web services orchestration a review of emerging technologies, tools, and standards, 2003.

]. L. Penserini05, J. Penserini, and . Mylopoulos, Design Matters for Semantic Web Services, ITC-IRST, pp.5-9, 2005.

]. L. Penserini06a, A. Penserini, A. Perini, J. Susi, and . Mylopoulos, From Stakeholder needs to service requirements specifications, 2006.

]. L. Penserini06b, A. Penserini, A. Perini, J. Susi, and . Mylopoulos, From Stakeholder intentions to software agent implementations, CaiSE'06, pp.465-479, 2006.

]. L. Penserini06c, A. Penserini, A. Perini, J. Susi, and . Mylopoulos, From Stakeholder Needs to Service Designs, Requirements Engineering Journal, vol.35, 2006.

]. D. Peppers97, M. Peppers, and . Rogers, The one to one future, International Business Review, vol.4, issue.4, 1997.
DOI : 10.1016/0969-5931(95)90009-8

]. C. Pfister96, C. Pfister, and . Szyperski, Why objects are not enough, Proceedings, International Component Users Conference, 1996.

]. G. Piccinelli03, W. Piccinelli, S. Emmerich, M. Williams, and . Stearns, A Model-Driven Architecture for Electronic Service Management Systems, ICSOC 2003, pp.241-255, 2003.
DOI : 10.1007/978-3-540-24593-3_17

M. Pistore, F. Barbon, P. Bertoli, D. Shaparau, and P. Traverso, Planning and Monitoring Web Service Composition, Proceedings of the 2 nd ICAPS International Workshop on Planning and Scheduling for Web and Grid Services, 2004.
DOI : 10.1007/978-3-540-30106-6_11

C. Potts, K. Takahashi, and A. I. Anton, Inquiry-based requirements analysis, IEEE Software, pp.21-32, 1994.
DOI : 10.1109/52.268952

]. N. Prat97 and . Prat, Goal formalisation and classification for requirements engineering, Proceedings of the Third International Workshop on Requirements Engineering: Foundations of Software Quality REFSQ'97, 1997.

]. N. Prat99 and . Prat, Réutilisation de la trace par apprentissage dans un environnement pour l'ingénierie des processus, Thèse de doctorat en informatique, 1999.

]. D. Quartel04a, R. Quartel, M. Dijkman, and . Van-sinderen, Methodological support for service-oriented design with ISDL, Proceedings of the 2nd international conference on Service oriented computing , ICSOC '04
DOI : 10.1145/1035167.1035169

J. Ralyté, Ingénierie des méthodes à base de composants, Thèse de doctorat en informatique, 2001.

]. C. Rolland00, N. Rolland, and . Prakash, Bridging the gap between Organizational needs and ERP functionality, Requirements Engineering Journal, 2000.

]. C. Rolland01, N. Rolland, and . Prakash, Matching ERP system functionality to customer requirements, Proceedings Fifth IEEE International Symposium on Requirements Engineering, pp.66-75, 2001.
DOI : 10.1109/ISRE.2001.948545

]. C. Rolland04, C. Rolland, A. Salinesi, and . Etien, Eliciting gaps in requirements change, Requirements Engineering, vol.9, issue.1, pp.1-15, 2004.
DOI : 10.1007/s00766-003-0168-y

]. C. Rolland05, R. Rolland, and . Kaabi, Designing Service Based Cooperative Systems, Encyclopedia of E- Technologies and Applications (EET&A), IDEA Group (pub), 2005.

]. C. Rolland92, C. Rolland, and . Cauvet, Trends and Perspectives in Conceptual Modelling, Conceptual Modelling, Database and CASE : an Integrated View of Information Systems Development, 1992.

]. C. Rolland98a, C. Rolland, C. Ben-achour, J. Cauvet, A. Ralyté et al., A proposal for a scenario classification framework, Requirements Engineering, vol.7, issue.2, pp.1-23, 1998.
DOI : 10.1007/BF02802919

]. C. Rolland98b, C. Rolland, C. B. Souveyet, and . Achour, Guiding goal modeling using scenarios, IEEE Transactions on Software Engineering, vol.24, issue.12, pp.1055-1071, 1998.
DOI : 10.1109/32.738339

]. C. Rolland99, N. Rolland, A. Prakash, and . Benjamen, A Multi-Model View of Process Modelling, Requirements Engineering, vol.4, issue.4, pp.4-169, 1999.
DOI : 10.1007/s007660050018

]. J. [-rumbaugh98, I. Rumbaugh, G. Jacobson, and . Booch, The Unified Modeling Language Reference Manuel, 1998.

]. R. Rust03, P. Rust, and . Kannan, E-service, Communications of the ACM, vol.46, issue.6, pp.6-37, 2003.
DOI : 10.1145/777313.777336

]. C. Salinesi03, C. Salinesi, and . Rolland, Fitting Business Models to Software Functionality : Exploring the Fitness Relationship, Proceedings of the 15th Conference on Advanced Information Systems Engineering, 2003.

P. Sawyer, J. Hutchison, J. Walkerdine, and I. Sommerville, Faceted Service Specification, Proc. Workshop on Service-Oriented Computing Requirements (SOCCER). Paris, 2005.

J. Schaffner and H. Meyer, Mixed Initiative Use Cases for Semi_autoated Service Composition: A Survey, Proc. Of International WWorkshop on Service Oriented Software Engineering (IW-SOSE'06, 2006.

]. C. Schuler03, R. Schuler, H. Weber, H. Schuldt, and . Schek, Peer???to???Peer Process Execution with Osiris, Proc. of the 1 st International Conference on Service-Oriented Computing, 2003.
DOI : 10.1007/978-3-540-24593-3_33

]. G. Shegalov01, M. Shegalov, G. Gillmann, and . Weikum, XML-enabled Workflow Management for e-Services across Heterogeneous Platforms, Very Large Data Base, Journal, vol.10, issue.1, pp.91-103, 2001.

E. Sirin, B. Parsia, D. Hendler, and J. Nau, HTN planning for Web Service composition using SHOP2, Web Semantics: Science, Services and Agents on the World Wide Web, vol.1, issue.4, pp.377-396, 2004.
DOI : 10.1016/j.websem.2004.06.005

J. M. Smith, Database abstractions: aggregation and generalization, ACM Transactions on Database Systems, vol.2, issue.2, pp.105-133, 1977.
DOI : 10.1145/320544.320546

P. Soffer and C. Rolland, Combining Intention-Oriented and State-Based Process Modeling, Proceedings of ER2005, 2005.
DOI : 10.1007/11568322_4

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.3723

M. Solanki, A. Cau, and H. Zedan, Augmenting semantic web service descriptions with compositional specification, Proceedings of the 13th conference on World Wide Web , WWW '04, 2004.
DOI : 10.1145/988672.988746

. Svahnberg01 and . Svahnberg, On the notion of variability in Software Product Lines, Proceedings of the Working IEEE/IFIP Conference on Software architecture, 2001.

]. C. Szyperski97 and . Szyperski, Component software: beyond object-oriented programming, 1997.

B. Tansey and E. Stroulia, Towards an Economics Model for Software Development

R. Topaloglu and . Capilla, Modeling the Variability of Web Services from a Pattern Point of View, European Conference on Web Services (ECOWS2004), pp.128-138, 2004.
DOI : 10.1007/978-3-540-30209-4_10

M. Tawbi, Crews-L'Ecritoire : Un guidage outillé du processus d'ingénierie des besoins, Thèse de Doctorat à l'Univeristé Paris 1, 2001.

]. J. Tomphson01, M. Thomphson, and . Heimdalh, Extending the Product Family Approach to support n- Dimensional and Hierarchical Product Lines, Proceedings of the 5 th IEEE Symposium on Requirements Engineering, 2001.

M. Tut and D. Edmond, The Use of Patterns in Service Composition, Revised papers International Workshop on Web Services, E-Business and Semantic Web, pp.28-40, 2002.
DOI : 10.1007/3-540-36189-8_3

]. C. Valasco05, M. Lopez-valesko, J. Villanova-oliver, H. Gensel, and . Martin, Adaptabilité à l'utilisateur dans le contexte des services web. Atelier : Méta-données et adaptabilité pour les systèmes d'information sur le web, 2005.

]. A. Van-lamsweerde00 and . Van-lamsweerde, Requirements Engineering in the year 2000 : A research perspective, 22 nd International Conference on Software Engineering, 2000.

]. A. Van-lamsweerds95, R. Van-lamsweerde, P. Dairmont, and . Massonet, Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95), pp.194-204, 1995.
DOI : 10.1109/ISRE.1995.512561

]. J. Van-gurp, J. Bosch, and M. Svahnberg, On the notion of variability in software product lines, Proceedings Working IEEE/IFIP Conference on Software Architecture, 2001.
DOI : 10.1109/WICSA.2001.948406

G. Weib, Agent Orientation in Software Engineering, The Knowledge Engineering Review, vol.16, issue.4, 2001.

D. Wodtke and G. Weikum, A Formal Foundation for Distributed Work-flow Execution Based on State Charts, Proceedings of the 6th International Conference on Database Theory (ICDT '97, 1997.

[. Woodfield, The Impedance Mismatch Between Conceptual Models and Implementation Environments, ER'97 Workshop on Behavioral Models and Design Transformations: Issues and Opportunities in Conceptual Modeling, 1997.

[. Bea, . Sap, and . Sun, Web Service Choreography Interface (WSCI) 1.0: http, 2002.

H. Kuno, M. Lemon, A. Karp, and D. Beringer, Conversations + Interfaces = Business Logic, Proc of the 2nd VLDB International Workshop on Technologies for e-Services (VLDB-TES 2001), 2001.
DOI : 10.1007/3-540-44809-8_3

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.6795

J. Yang and M. Papazoglou, Service components for managing the life-cycle of service compositions, Information Systems, vol.29, issue.2, 2003.
DOI : 10.1016/S0306-4379(03)00051-6

J. Yang, M. Papazoglou, B. Orriëns, and W. Van-heuvel, A rule based approach to service composition life-cycle, Proceedings of the 4 th International Conference on Web Information Systems Engineering, 2003.

E. Yu and J. Mylopoulos, Using goals, rules and methods to support reasoning in Business Process Reengineering, 27th Hawaii International Conference on System Sciences, 1994.

]. E. Yu97 and . Yu, Towards Modelling and Reasoning Support for Early-Phase Requirements Engineering, Proceedings of the 3rd IEEE Int. Symp. On Requiorements Engineering (RE'97, pp.226-235, 1997.

O. Zimmermann, P. Krogdahl, and C. Gee, Elements of Service-Oriented Analysis and Design, 2004.