L'acceptation et l'utilisation des services Web en industrie se développent de par leursupport au développement d'application distribuées comme compositions d'entitéslogicielles plus simples appelées services. En complément à la vérification, le testpermet de vérifier la correction d'une implémentation binaire (code source nondisponible) par rapport à une spécification. Dans cette thèse, nous proposons uneapproche boîte-noire du test de conformité de compositions de services centralisées(orchestrations). Par rapport à l'état de l'art, nous développons une approchesymbolique de façon à éviter des problèmes d'explosion d'espace d'état dus à la largeutilisation de données XML dans les services Web. Cette approche est basée sur desmodèles symboliques (STS), l'exécution symbolique de ces modèles et l'utilisationd'un solveur SMT. De plus, nous proposons une approche de bout en bout, quiva de la spécification à l'aide d'un langage normalisé d'orchestration (ABPEL) etde la possible description d'objectifs de tests à la concrétisation et l'exécution enligne de cas de tests symboliques. Un point important est notre transformation demodèle entre ABPEL et les STS qui prend en compte les spécifications sémantiquesd'ABPEL. L'automatisation de notre approche est supportée par un ensemble d'outilsque nous avons développés.

Currently, there are many software applications handling planning, scheduling, material management, invoicing, workflow management within an organization. However, companies need to plan across a wider span of activities and need to collaborate with their partners to optimize the &#039 / &#039 / overall&#039 / &#039 / profitability. This requires collaborative planning within a supply chain and exchange of planning data. Collaborative Planning, Forecast and Replenishment (CPFR) is one of the most prominent initiatives on Collaborative Planning. However, CPFR only provides guidelines, but does not mandate any technology for the definition and execution of planning process. Therefore, companies have difficulties to define and deploy CPFR solutions and there is a need for a Service Oriented, Open Platform for the definition and execution of collaborative planning processes involving many supply chain tiers. In this work, first of all, the building blocks of the planning process have been defined as machine processable definitions in OASIS ebXML Business Specification Language (ebBP). CPFR Designer Tool developed provides the users to visually create CPFR Processes in ebBP and to convert this ebBP process definition automatically to an executable business process using OASIS Business Process Execution Language (WS-BPEL). In this way, the supply chain enterprises are able to create customized CPFR processes which are in integration with the underlying intra-enterprise planning processes. Moreover, in the thesis, a CPFR Process Execution Environment is prepared where the generated CPFR Process can be executed. The work presented in this thesis is realized as a part of IST-213031 iSURF project funded by European Commission under ICT FP7.

Nos últimos anos, a tecnologia de Web Services vem sendo pesquisada nas mais diversas áreas da computação, incluindo a de gerenciamento de redes de computadores. A composição de serviços, uma nova funcionalidade surgida recentemente, parece ter a potencialidade de resolver diversos problemas de diversas áreas da computação, incluindo a área de gerenciamento de redes e seu respectivo protocolo padrão de facto, o SNMP. Através da composição de serviços, é possível construir serviços mais sofisticados, usando-se serviços mais simples como componentes. Este trabalho tem por objetivo investigar a composição de Web Services aplicada ao gerenciamento de redes de computadores. Para tanto, modelos e padrões para composição foram estudados e uma arquitetura de composição, usando o padrão WS-BPEL, aplicada ao gerenciamento foi proposta. Tal arquitetura permite iniciar uma cadeia de ações de gerenciamento em gerentes de nível mais baixo baseados em Web Services através de uma única requisição Web Service. Para definir novas composições, uma ferramenta Web foi desenvolvida, a qual gera automaticamente o código WS-BPEL. Além disso, foram realizadas avaliações de desempenho para verificar o impacto na rede das composições. Os resultados obtidos mostraram que composições podem reduzir o tráfego gerado na rede junto à estação de gerenciamento, pois permitem concentrar diversas informações em uma única requisição Web Services. O tempo de resposta também pôde ser reduzido em algumas situações devido às requisições nativamente paralelas do WS-BPEL. / In the recent years, the Web Services technology has been researched in many areas of computer science, including computers network management. Service composition, a new feature recently raised, seems to have the potentiality to solve several problems in computer science, including the network management field and its Simple Network Management Protocol (SNMP). Through service composition, it is possible to build up more sophisticated services using simpler services as components. Therefore, this work aims at investigating Web Services composition applied to network management. Towards this goal, models and standards for composition were reviewed and a WS-BPEL-based composition architecture devoted to management was proposed. Such architecture allows starting a chain of management actions on lowerlevel Web Services-based managers through only one Web Services request. In order to define new compositions, a Web-based tool was developed to automatically generate the WS-BPEL required code. In addition, performance evaluations were carried out in order to verify the compositions’ impact on the managed network. The results showed that compositions can reduce the management traffic in the surroundings of the management station by aggregating several information in only one Web Services request. Response time could also be decreased in some situations due to the native parallel requests of WS-BPEL.

Nos últimos anos, a tecnologia de Web Services vem sendo pesquisada nas mais diversas áreas da computação, incluindo a de gerenciamento de redes de computadores. A composição de serviços, uma nova funcionalidade surgida recentemente, parece ter a potencialidade de resolver diversos problemas de diversas áreas da computação, incluindo a área de gerenciamento de redes e seu respectivo protocolo padrão de facto, o SNMP. Através da composição de serviços, é possível construir serviços mais sofisticados, usando-se serviços mais simples como componentes. Este trabalho tem por objetivo investigar a composição de Web Services aplicada ao gerenciamento de redes de computadores. Para tanto, modelos e padrões para composição foram estudados e uma arquitetura de composição, usando o padrão WS-BPEL, aplicada ao gerenciamento foi proposta. Tal arquitetura permite iniciar uma cadeia de ações de gerenciamento em gerentes de nível mais baixo baseados em Web Services através de uma única requisição Web Service. Para definir novas composições, uma ferramenta Web foi desenvolvida, a qual gera automaticamente o código WS-BPEL. Além disso, foram realizadas avaliações de desempenho para verificar o impacto na rede das composições. Os resultados obtidos mostraram que composições podem reduzir o tráfego gerado na rede junto à estação de gerenciamento, pois permitem concentrar diversas informações em uma única requisição Web Services. O tempo de resposta também pôde ser reduzido em algumas situações devido às requisições nativamente paralelas do WS-BPEL. / In the recent years, the Web Services technology has been researched in many areas of computer science, including computers network management. Service composition, a new feature recently raised, seems to have the potentiality to solve several problems in computer science, including the network management field and its Simple Network Management Protocol (SNMP). Through service composition, it is possible to build up more sophisticated services using simpler services as components. Therefore, this work aims at investigating Web Services composition applied to network management. Towards this goal, models and standards for composition were reviewed and a WS-BPEL-based composition architecture devoted to management was proposed. Such architecture allows starting a chain of management actions on lowerlevel Web Services-based managers through only one Web Services request. In order to define new compositions, a Web-based tool was developed to automatically generate the WS-BPEL required code. In addition, performance evaluations were carried out in order to verify the compositions’ impact on the managed network. The results showed that compositions can reduce the management traffic in the surroundings of the management station by aggregating several information in only one Web Services request. Response time could also be decreased in some situations due to the native parallel requests of WS-BPEL.

Nos últimos anos, a tecnologia de Web Services vem sendo pesquisada nas mais diversas áreas da computação, incluindo a de gerenciamento de redes de computadores. A composição de serviços, uma nova funcionalidade surgida recentemente, parece ter a potencialidade de resolver diversos problemas de diversas áreas da computação, incluindo a área de gerenciamento de redes e seu respectivo protocolo padrão de facto, o SNMP. Através da composição de serviços, é possível construir serviços mais sofisticados, usando-se serviços mais simples como componentes. Este trabalho tem por objetivo investigar a composição de Web Services aplicada ao gerenciamento de redes de computadores. Para tanto, modelos e padrões para composição foram estudados e uma arquitetura de composição, usando o padrão WS-BPEL, aplicada ao gerenciamento foi proposta. Tal arquitetura permite iniciar uma cadeia de ações de gerenciamento em gerentes de nível mais baixo baseados em Web Services através de uma única requisição Web Service. Para definir novas composições, uma ferramenta Web foi desenvolvida, a qual gera automaticamente o código WS-BPEL. Além disso, foram realizadas avaliações de desempenho para verificar o impacto na rede das composições. Os resultados obtidos mostraram que composições podem reduzir o tráfego gerado na rede junto à estação de gerenciamento, pois permitem concentrar diversas informações em uma única requisição Web Services. O tempo de resposta também pôde ser reduzido em algumas situações devido às requisições nativamente paralelas do WS-BPEL. / In the recent years, the Web Services technology has been researched in many areas of computer science, including computers network management. Service composition, a new feature recently raised, seems to have the potentiality to solve several problems in computer science, including the network management field and its Simple Network Management Protocol (SNMP). Through service composition, it is possible to build up more sophisticated services using simpler services as components. Therefore, this work aims at investigating Web Services composition applied to network management. Towards this goal, models and standards for composition were reviewed and a WS-BPEL-based composition architecture devoted to management was proposed. Such architecture allows starting a chain of management actions on lowerlevel Web Services-based managers through only one Web Services request. In order to define new compositions, a Web-based tool was developed to automatically generate the WS-BPEL required code. In addition, performance evaluations were carried out in order to verify the compositions’ impact on the managed network. The results showed that compositions can reduce the management traffic in the surroundings of the management station by aggregating several information in only one Web Services request. Response time could also be decreased in some situations due to the native parallel requests of WS-BPEL.

Made available in DSpace on 2016-06-02T19:06:20Z (GMT). No. of bitstreams: 1 6487.pdf: 4389000 bytes, checksum: edf86e96bdd00fe803ba1a23f55f6484 (MD5) Previous issue date: 2014-11-17 / Business Process Management emerged as a means for managing and improving business processes. However providing efficient business processes can demand high costs due to the need of software, hardware, and technical support. Cloud Computing emerged as a means for providing a fast and cheap way of acquiring computational resources in a pay-per-use manner, and can be employed for achieving efficient business processes with low costs. However, due to safety requirements, certain data or activities of a business process should be kept within the user premises, while others can be allocated to a cloud. This master dissertation presents a generic approach for decomposing business process taking into account costs, performance and safety requirements, thus granting greater reliability in the use of cloud resources. This approach is illustrated by means of a case study in the Healthcare domain. / Gerenciamento de Processos de Negócio emergiu como um meio para gerenciar e aperfeiçoar processos de negócio continuamente. Entretanto, fornecer tais processos de maneira eficiente pode demandar altos investimentos devido às necessidades de software, hardware e suporte técnico. Computação em Nuvem emergiu como um meio para prover uma forma rápida e barata de adquirir recursos computacionais com pagamento sob demanda, e pode ser aplicada para disponibilizar processos de negócio eficientes e com baixo custo. Entretanto, devido a requisitos de segurança, certos dados ou atividades de um processo de negócio devem ser mantidos na premissa do usuário, enquanto outros podem ser alocados em uma nuvem computacional. Esta dissertação de mestrado apresenta uma abordagem genérica para a decomposição de processos de negócio, que leva em conta custos, desempenho e requisitos de segurança, outorgando assim uma maior confiabilidade no uso de recursos de nuvens computacionais. Essa abordagem é ilustrada através de um estudo de caso no domínio da Saúde.

Over the last years, Web services have become increasingly popular. It is because they allow businesses to share data and business process (BP) logic through a programmatic interface across networks. In order to reach the full potential of Web services, they can be combined to achieve specifi c functionalities. Web services run in complex contexts where arising events may compromise the quality of the system (e.g. a sudden security attack). As a result, it is desirable to count on mechanisms to adapt Web service compositions (or simply called service compositions) according to problematic events in the context. Since critical systems may require prompt responses, manual adaptations are unfeasible in large and intricate service compositions. Thus, it is suitable to have autonomic mechanisms to guide their self-adaptation. One way to achieve this is by implementing variability constructs at the language level. However, this approach may become tedious, difficult to manage, and error-prone as the number of con figurations for the service composition grows. The goal of this thesis is to provide a model-driven framework to guide autonomic adjustments of context-aware service compositions. This framework spans over design time and runtime to face arising known and unknown context events (i.e., foreseen and unforeseen at design time) in the close and open worlds respectively. At design time, we propose a methodology for creating the models that guide autonomic changes. Since Service-Oriented Architecture (SOA) lacks support for systematic reuse of service operations, we represent service operations as Software Product Line (SPL) features in a variability model. As a result, our approach can support the construction of service composition families in mass production-environments. In order to reach optimum adaptations, the variability model and its possible con figurations are verifi ed at design time using Constraint Programming (CP). At runtime, when problematic events arise in the context, the variability model is leveraged for guiding autonomic changes of the service composition. The activation and deactivation of features in the variability model result in changes in a composition model that abstracts the underlying service composition. Changes in the variability model are refl ected into the service composition by adding or removing fragments of Business Process Execution Language (WS-BPEL) code, which are deployed at runtime. Model-driven strategies guide the safe migration of running service composition instances. Under the closed-world assumption, the possible context events are fully known at design time. These events will eventually trigger the dynamic adaptation of the service composition. Nevertheless, it is diffi cult to foresee all the possible situations arising in uncertain contexts where service compositions run. Therefore, we extend our framework to cover the dynamic evolution of service compositions to deal with unexpected events in the open world. If model adaptations cannot solve uncertainty, the supporting models self-evolve according to abstract tactics that preserve expected requirements. / Alférez Salinas, GH. (2013). Achieving Autonomic Web Service Compositions with Models at Runtime [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/34672 / TESIS