Rozprawy doktorskie na temat „Service-oriented applications”

SERVICE oriented architecture (SOA) is an architectural style to structure software systems, fostering loose coupling and dynamic integration among the applications. The use of SOA and Web services to develop complex and large business processes demands more formal and systematic testing. In addition, characteristics of this type of software limit the straightforward application of traditional testing techniques. Model-based testing (MBT) is a promising approach to deal with these problems. This dissertation investigates how two modeling techniques, namely Finite State Machine (FSM) and Event Sequence Graph (ESG), can be used to support MBT of service-oriented applications. Both techniques model different aspects and can be applied in a complementary way. Initially, we define an MBT process for service-oriented applications that employs FSMs. Based on previous experience, we propose a model-based approach to test composite services using ESGs. This approach is holistic, once test suites are generated to cover both desired situations (positive testing) and unexpected behaviors (negative testing). Three experimental studies evaluate the proposed approach: (i) a case study, (ii) a cost analysis, and (iii) a study in industry. Testing tools are also presented to support its practical use
A Arquitetura orientada a serviço (SOA) é um estilo arquitetural para estruturar sistemas de software de modo que exista um baixo grau de acoplamento entre as aplicações e essas possam ser facilmente integradas de forma dinâmica. A incorporação de SOA e serviços Web em sistemas que modelam processos de negócios grandes e complexos contribui para a necessidade de testes mais formais e sistemáticos. Além disso, características próprias dessa nova classe de software fazem com que técnicas de teste tradicionais não possam ser diretamente aplicadas. O teste baseado em modelo (TBM) apresenta-se como uma abordagem promissora que busca a resolução desses problemas. Esta tese investiga como duas técnicas de modelagem, Máquina de Estados Finitos (MEF) e Grafo de Sequência de Eventos (GSE), podem ser utilizadas para apoiar o TBM de aplicações orientadas a serviço. Essas técnicas modelam diferentes aspectos e podem ser aplicadas de forma complementar. Inicialmente, é definido um processo de TBM para aplicações orientadas a serviço que emprega MEFs. Com base na experiência adquirida, é proposta uma abordagem baseada em modelo para o teste de serviços compostos usando GSEs. Essa abordagem é holística uma vez que conjuntos de teste são gerados para cobrir tanto situações desejadas (teste positivo) quanto comportamentos inesperados (teste negativo). Três estudos experimentais avaliam a abordagem proposta: (i) um estudo de caso, (ii) uma análise de custo e (ii) um estudo na indústria. Ferramentas de teste também são apresentadas para apoiar o uso prático da abordagem proposta

Service-oriented architectures (SOA), and in particular Web services, have quickly become a popular technology to connect applications both within and across enterprise boundaries. However, as services are increasingly used to implement critical functionality, security has become an important concern impeding the widespread adoption of SOA. Trust negotiation is an approach to access control that may be applied in scenarios where service requesters are often unknown in advance, such as for services available via the public Internet. Rather than relying on requesters' identities, trust negotiation makes access decisions based on the level of trust established between the requester and the provider in a negotiation, during which the parties exchange credentials, which are signed assertions that describe some attributes of the owner. However, managing the evolution of trust negotiation policies is a difficult problem that has not been sufficiently addressed to date. Access control policies have a lifecycle, and they are revised based on applicable business policies. Additionally, because a trust relationship established in a trust negotiation may be long lasting, their evolution must also be managed. Simply allowing a negotiation to continue according to an old policy may be undesirable, especially if new important constraints have been added. In this thesis, we introduce a model-driven trust negotiation framework for service-oriented applications. The framework employs a model for trust negotiation, based on state machines, that allows automated generation of the control structures necessary to enforce trust negotiation policies from the visual model of the policy. Our policy model also supports lifecycle management. We provide sets of operations to modify policies and to manage ongoing negotiations, and operators for identifying and managing impacts of changes to trust negotiation policies on ongoing trust negotiations. The framework presented in the thesis has been implemented in the Trust-Serv prototype, which leverages industry specifications such as WS-Security and WS-Trust to offer a container-centric mechanism for deploying trust negotiation that is transparent to the services being protected.

COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR
Este trabalho apresenta uma plataforma para aplicações baseadas em serviços. Esta plataforma foi concebida para dar suporte ao compartilhamento de informações serviços usando diferentes dispositivos. Através do uso de padrões abertos e de uma abordagem totalmente distribuída, Everyware permite que os usuários finais possam disponibilizar serviços sem necessidade de configuração ou administração. Estes serviços podem ser marcados semanticamente e integrados à Web semântica, o que permite que sejam processados automaticamente por máquinas. A plataforma ainda oferece uma arquitetura padrão para o desenvolvimento de aplicações e uma API para o desenvolvimento de mecanismos de coordenação de serviços que integra os diversos aspectos presentes em aplicações baseadas em serviços.
This work addresses issues on the development of service- oriented web applications on the semantic web. It presents a platform conceived to support information sharing among different services accessed by different devices and hardware infraestructure. Using open standards and a totally distributed approach, everyware allows users to publish their services without need to configuration and administration. Services can also be semantically tagged and integrated to the Semantic Web, so they can be easily preocessed by machines. Everyware platform offers a standard architecture to application development and an API to the development of coordination mechanisms. It integrates most concerns that are present in service- oriented applications.

One of the main trends in the IT field today is to provide more mobility to existing IT based systems and users. With this trend, more and more people are using mobile financial transactions due to a widespread proliferation of mobile phones and wireless technologies. One of the most important concerns with such transactions is their security. The reasons are based on weaknesses of wireless protocols and additional requirements for handling of financial data. These aspects make mobile financial transactions and applications even more vulnerable to fraud and illegal use than similar transactions performed over fixed networks.   There are two important aspects related to security in mobile environments. First, security features provided by the communication protocols, such as GSM, SMS, Bluetooth, Mobile Internet, etc. are not adequate. Some security algorithms used by these protocols have even been broken, what requires upper layer applications to provide comprehensive protection in order to compensate the shortcomings of a transportation layer. Second, mobile devices have limited capabilities, limited processing speed, limited storage, etc, so that many security mechanisms are not suitable for mobile environments. Therefore, new, effective, lightweight and flexible security solutions are required.   In order to solve these two groups of security issues, in this research we created a service-oriented security infrastructure for mobile financial transactions and applications. Based on this infrastructure, we also designed and implemented a system, which is called SAFE (Secure Applications for Financial Environment), that represents a secure, convenient and reliable large–scale infrastructure for mobile financial transactions. The components of the system are Secure Mobile Wallet and three SAFE servers: Communications (Gateway) Server, IDMS (Identity Management System) Server, and Payment Server. Those core infrastructure components with secure messages exchanged between them provide a number of secure financial services. These services may be used for various types of mobile transactions: m–Banking, m–Commerce, m–Ticketing, m-Parking, m–Loans, etc. all supported by additional Application Services Provider servers, connected to the SAFE security system. This report gives the details of the concept design and current implementation of the SAFE system.
QC20100608
Secure Applications for Financial Environments (SAFE) Project

Ces dernières années, le contexte d'exécution des applications a beaucoup évolué. Nous sommes passés, en moins de 15 ans, d'applications monolithiques et statiques faiblement distribuées à des applications réparties à grande échelle ayant un comportement très dynamique. Les plates-formes d'exécution qui étaient autrefois fermées sont désormais ouvertes à des équipements nomades et aux contextes des utilisateurs comme dans l'informatique ubiquitaire ou la domotique. Les éléments logiciels, dans ce nouveau contexte, peuvent apparaitre ou disparaître de façon imprédictible (ils sont dits " dynamiques ") et sont souvent issus de technologies hétérogènes (Web Service, OSGi, UPnP, etc.). Le caractère imprévisible de l'environnement, et le fait qu'il faille s'y adapter rend, apparemment, les plates-formes d'exécution non déterministes. Il est impératif de pouvoir maîtriser l'évolution des applications dynamiques. Cette thèse définit une plate-forme pour l'exécution répartie de services hétérogènes. Cette plate-forme fournit un modèle homogène de l'état des services à l'exécution et des opérations d'administration du cycle de vie d'un service, indépendamment des plates-formes réelles. Cette plate-forme fournit également des mécanismes qui permettent d'étendre la supervision et l'administration à d'autres préoccupations (déploiement, versionnement, etc.). Les propriétés d'introspection et de réflexion ainsi obtenues permettent de contrôler l'évolution à l'exécution de l'architecture d'une application et par là même de maîtriser les applications dynamiques. Cette thèse fournit un prototype d'une telle plate-forme nommée SAM-RT.

One of the main trends in the IT field today is to provide more mobility to existing IT based systems and users. With this trend, more and more people are using mobile financial transactions due to a widespread proliferation of mobile phones and wireless technologies. One of the most important concerns with such transactions is their security. The reasons are based on weaknesses of wireless protocols and additional requirements for handling of financial data. These aspects make mobile financial transactions and applications even more vulnerable to fraud and illegal use than similar transactions performed over fixed networks.

 

There are two important aspects related to security in mobile environments. First, security features provided by the communication protocols, such as GSM, SMS, Bluetooth, Mobile Internet, etc. are not adequate. Some security algorithms used by these protocols have even been broken, what requires upper layer applications to provide comprehensive protection in order to compensate the shortcomings of a transportation layer. Second, mobile devices have limited capabilities, limited processing speed, limited storage, etc, so that many security mechanisms are not suitable for mobile environments. Therefore, new, effective, lightweight and flexible security solutions are required.

 

In order to solve these two groups of security issues, in this research we created a service-oriented security infrastructure for mobile financial transactions and applications. Based on this infrastructure, we also designed and implemented a system, which is called SAFE (Secure Applications for Financial Environment), that represents a secure, convenient and reliable large–scale infrastructure for mobile financial transactions. The components of the system are Secure Mobile Wallet and three SAFE servers: Communications (Gateway) Server, IDMS (Identity Management System) Server, and Payment Server. Those core infrastructure components with secure messages exchanged between them provide a number of secure financial services. These services may be used for various types of mobile transactions: m–Banking, m–Commerce, m–Ticketing, m-Parking, m–Loans, etc. all supported by additional Application Services Provider servers, connected to the SAFE security system. This report gives the details of the concept design and current implementation of the SAFE system.

QC20100608
Secure Applications for Financial Environments (SAFE) Project

Today’s market competitiveness and globalisation are putting pressure on organisations to join their efforts, to focus more on cooperation and interaction and to add value to their businesses. That is, most information systems supporting these cross-organisations are characterised as service-oriented business applications, where all the emphasis is put on inter-service interactions rather than intra-service computations. Unfortunately for the development of such inter-organisational service-oriented business systems, current service technology proposes only ad-hoc, manual and static standard web-service languages such as WSDL, BPEL and WS-CDL [3, 7]. The main objective of the work reported in this thesis is thus to leverage the development of service-oriented business applications towards more reliability and dynamic adaptability, placing emphasis on the use of business rules to govern activities, while composing services. The best available software-engineering techniques for adaptability, mainly aspect-oriented mechanisms, are also to be integrated with advanced formal techniques. More specifically, the proposed approach consists of the following incremental steps. First, it models any business activity behaviour governing any service-oriented business process as Event-Condition-Action (ECA) rules. Then such informal rules are made more interaction-centric, using adapted architectural connectors. Third, still at the conceptual-level, with the aim of adapting such ECA-driven connectors, this approach borrows aspect-oriented ideas and mechanisms, and proposes to intercept events, select the properties required for interacting entities, explicitly and separately execute such ECA-driven behavioural interactions and finally dynamically weave the results into the entities involved. To ensure compliance and to preserve the implementation of this architectural conceptualisation, the work adopts the Maude language as an executable operational formalisation. For that purpose, Maude is first endowed with the notions of components and interfaces. Further, the concept of ECA-driven behavioural interactions are specified and implemented as aspects. Finally, capitalising on Maude reflection, the thesis demonstrates how to weave such interaction executions into associated services.

L’omniprésence des systèmes logiciels et le rôle important qu’ils jouent dans la vie quotidienne rendent les utilisateurs de plus en plus exigeants. Entre autre, ils demandent plus de fiabilité et des systèmes qui peuvent s’adapter à leur contexte d’utilisation. Afin de satisfaire ces demandes, les cadres techniques et les méthodes de conception sous-jacents au développement des systèmes doivent être modulaires, flexibles et consistants. L’architecture orientée service (SOA) est un paradigme qui offre des mécanismes permettant une grande flexibilité des architectures des systèmes logiciels tout en réduisant leurs coûts de développement puisqu’elle se base sur des entités modulaires et réutilisables appelées services. Ces services peuvent être réutilisés dans le cadre d’une composition ou d’une chorégraphie de services pour la construction de nouveaux processus métiers transverses. SOA promet aussi d’augmenter la fiabilité des systèmes au travers de la notion de contrat de services. De son côté, le paradigme de l’Ingénierie des modèles (IDM) offre au travers de ses deux principes fondateurs, l’abstraction et l’automatisation, deux moyens puissants de gestion de la complexité des systèmes. Malgré les progrès des deux paradigmes, IDM et SOA, il y a encore des défis à résoudre. Notamment, on peut citer : (1) La vérification rigoureuse des spécifications des systèmes conformes aux principes de SOA. Ce point constitue un défi car pour modéliser ces systèmes, les concepteurs ont besoin de plus d'un point de vue représentant chacun une préoccupation spécifique du système et bien sûr ces points de vue doivent être sémantiquement cohérents. Ce problème est appelé la vérification de la consistance horizontale, une tâche manuellement difficile qui constitue une étape importante pour réduire les incohérences dans les modèles des applications SOA avant de les transformer en d'autres formes (du code, des cas de tests, etc.). (2) La transformation des spécifications des systèmes en artefacts exécutables. Malgré la maturité de l’architecture SOA, la transformation des spécifications des systèmes SOA en artefacts exécutables s'avère encore une étape fastidieuse et est généralement effectué manuellement. En particulier, la transformation des chorégraphies de services en orchestrations exécutables reste un problème en raison de la nécessité de prendre en compte les aspects complexes des systèmes distribués, tels que l’asynchronisme et la concurrence. (3) La vérification de l’exécution. Au moment de la spécification, des comportements inattendus peuvent encore apparaitre lors de l’exécution. Pour cette raison, il est nécessaire de pouvoir vérifier la conformité de l'exécution d’un système par rapport à sa spécification. Ce problème est appelé la vérification de la consistance verticale. Ce travail de thèse propose ainsi une approche de type SOA dirigée par les modèles résolvant les défis mentionnés précédemment. Cette approche comprend une méthodologie en deux étapes pour la vérification de la consistance horizontale et verticale des systèmes SOA spécifiés en utilisant la norme SoaML de l’OMG. Le problème de vérification de la consistance horizontale est résolu au moyen de l'analyse statique de la spécification des systèmes. Le deuxième défi est résolu en spécifiant les règles de transformation d'un modèle de spécification de chorégraphie de services en une orchestration exécutable qui implémente la logique de la chorégraphie tout en prenant en compte la nature asynchrone des communications entre les services distribués. Le problème de vérification de la consistance verticale est résolu par notre approche par l'analyse hors ligne des traces d’exécution d’un système. L’ensemble de la proposition méthodologique a été implanté sous la forme d’une extension à l’outil de modélisation UML open-source Papyrus
As software systems are pervasive and play an important role in everyday life, the users are becoming more and more demanding. They mainly require more reliable systems that automatically adapt to different use cases. To satisfy these requirements, technical frameworks and design methods, upon which the systems development is based, must meet specific objectives mainly modularity, flexibility, and consistency. Service-Oriented Architecture (SOA) is a paradigm that offers mechanisms to increase the software flexibility and reduce development costs by enabling service orchestration and choreography. SOA promises also reliability through the use of services contracts as an agreement between the service provider and consumer. Model-driven SOA is a novel and promising approach that strengthens SOA with Model-Driven Engineering (MDE) technics that ease the specification, development, and verification of Service-Oriented Applications by applying abstraction and automation principles. Despite the progress to integrate MDE to SOA, there are still some challenging problems to be solved: (1) Rigorous verification of SOA system specifications. This is a challenging problem because to model SOA systems designers need more than one viewpoint, each of which captures a specific concern of the system. These viewpoints are meant to be semantically consistent with each other. This problem is called horizontal consistency checking and it is an important step to reduce inconsistencies in SOA models before transforming them into other forms (code generation, test cases derivation, etc.). (2) Transformation of systems specifications into executable artifacts. Despite the maturity of SOA, the transformation of system specifications into executable artifacts is usually manual, fastidious and error-prone. The transformation of services choreographies into executable orchestrations particularly remains a problem because of the necessity to take into account critical aspects of distributed systems such as asynchrony and concurrency when executing centralized orchestrations. (3) Runtime verification. Even after verifying Horizontal consistency at design time, there could be unexpected and unspecified data interactions that are unknown during design-time. For this reason, we still need consistency verification at runtime to handle such unforeseen events. This problem is called Vertical consistency checking. This thesis work proposes a Model-driven SOA approach to address the above-mentioned challenges. This approach includes a two-step model-driven methodology to horizontally and vertically verify the consistency of SOA systems specifications described using the SoaML standard from the Object Management Group (OMG). The horizontal consistency checking problem, which is the first challenge, is solved by means of static analysis of the system specification at the design level. The second challenge is solved by specifying the transformation from a choreography specification model to an executable orchestration implementing the choreography logic. Our transformation takes into consideration the asynchronous nature of the communications between distributed services. The vertical consistency checking problem, which is the third challenge, is solved by our approach thanks to offline analysis that allows consistency verification between both design and runtime levels. The entire methodological proposal was implemented as an extension to the open source UML modeling tool Papyrus

La croissance des appareils connectés, principalement due au grand nombre de déploiements de l'internet des objets et à l'émergence des services de cloud mobile, introduit de nouveaux défis pour la conception d'architectures de services dans le Cloud Computing Mobile (CCM) du cloud computing mobile. Nous montrons dans cette thèse comment l'architecture orientée services SOA peut être une solution clé pour fournir des services cloud mobiles distribués et comment la plate-forme OSGi peut être un cadre adaptatif et efficace pour fournir une telle implémentation. Nous adaptons le cadre CCM proposé à différents contextes d'architecture. Le premier est un modèle centré traditionnel, où les appareils mobiles sont réduits à consommer des services. Le second est un modèle distribué où la puissance de l'interaction de mobile à mobile offre des opportunités illimitées de services de valeur, et enfin, l'architecture à trois niveaux est considérée avec l'introduction de la notion de cloudlet. Pour chaque contexte, nous explorons la performance de notre cadre axé sur le service et le comparons à d'autres solutions existantes
The growth of connected devices, mostly due to the large number of internet of things IoT deployments and the emergence of mobile cloud services, introduces new challenges for the design of service architectures in mobile cloud computing MCC. An MCC framework should provide elasticity and scalability in a distributed and dynamic way while dealing with limited environment resources and variable mobile contexts web applications, real-time, enterprise services, mobile to mobile, hostile environment, etc. that may include additional constraints impacting the design foundation of cloud services. We show in this thesis how service-oriented architecture SOA can be a key solution to provide distributed mobile cloud services and how OSGi platform can be an adaptive and efficient framework to provide such implementation. We adapt the proposed MCC framework to different architecture contexts. The first one is a traditional centric model, where mobile devices are reduced to consuming services. The second one is a distributed model where the power of mobile-to-mobile interaction offers unlimited value-services opportunities, and finally, three-tier architecture is considered with the introduction of the cloudlet notion. For each context, we explore the performance of our service-oriented framework, and contrast it with alternative existing solutions

This research provides evidence that standards based Clinical Decision Support (CDS) at the point of care is an essential ingredient of electronic healthcare service delivery. A Service Oriented Architecture (SOA) based solution is explored, that serves as a task management system to coordinate complex distributed and disparate IT systems, processes and resources (human and computer) to provide standards based CDS. This research offers a solution to the challenges in implementing computerised CDS such as integration with heterogeneous legacy systems. Reuse of components and services to reduce costs and save time. The benefits of a sharable CDS service that can be reused by different healthcare practitioners to provide collaborative patient care is demonstrated. This solution provides orchestration among different services by extracting data from sources like patient databases, clinical knowledge bases and evidence-based clinical guidelines (CGs) in order to facilitate multiple CDS requests coming from different healthcare settings. This architecture aims to aid users at different levels of Healthcare Delivery Organizations (HCOs) to maintain a CDS repository, along with monitoring and managing services, thus enabling transparency. The research employs the Design Science research methodology (DSRM) combined with The Open Group Architecture Framework (TOGAF), an open source group initiative for Enterprise Architecture Framework (EAF). DSRM's iterative capability addresses the rapidly evolving nature of workflows in healthcare. This SOA based solution uses standards-based open source technologies and platforms, the latest healthcare standards by HL7 and OMG, Decision Support Service (DSS) and Retrieve, Update Locate Service (RLUS) standard. Combining business process management (BPM) technologies, business rules with SOA ensures the HCO's capability to manage its processes. This architectural solution is evaluated by successfully implementing evidence based CGs at the point of care in areas such as; a) Diagnostics (Chronic Obstructive Disease), b) Urgent Referral (Lung Cancer), c) Genome testing and integration with CDS in screening (Lynch's syndrome). In addition to medical care, the CDS solution can benefit organizational processes for collaborative care delivery by connecting patients, physicians and other associated members. This framework facilitates integration of different types of CDS ideal for the different healthcare processes, enabling sharable CDS capabilities within and across organizations.

Made available in DSpace on 2014-12-17T15:47:00Z (GMT). No. of bitstreams: 1 PlacidoASN_TESE.pdf: 5575988 bytes, checksum: b29fc882ea45700b3c27d134527a79ed (MD5) Previous issue date: 2012-12-11
Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior
This thesis presents ⇡SOD-M (Policy-based Service Oriented Development Methodology), a methodology for modeling reliable service-based applications using policies. It proposes a model driven method with: (i) a set of meta-models for representing non-functional constraints associated to service-based applications, starting from an use case model until a service composition model; (ii) a platform providing guidelines for expressing the composition and the policies; (iii) model-to-model and model-to-text transformation rules for semi-automatizing the implementation of reliable service-based applications; and (iv) an environment that implements these meta-models and rules, and enables the application of ⇡SOD-M. This thesis also presents a classification and nomenclature for non-functional requirements for developing service-oriented applications. Our approach is intended to add value to the development of service-oriented applications that have quality requirements needs. This work uses concepts from the service-oriented development, non-functional requirements design and model-driven delevopment areas to propose a solution that minimizes the problem of reliable service modeling. Some examples are developed as proof of concepts
Esta tese apresenta ⇡SOD-M (Policy-based Service Oriented Development Methodology), uma metodologia para a modelagem de aplica??es orientadas a servi?os a qual usa Pol?ticas de qualidade. O trabalho prop?e um m?todo orientado a modelos para desenvolvimento de aplica??es confi?veis. ⇡SOD-M consiste de: (i) um conjunto de meta-modelos para representa??o de requisitos n?o-funcionais associados a servi?os nos diferentes n?veis de modelagem, a partir de um modelo de caso de uso at? um modelo de composi??o de servi?o, (ii) um meta-modelo de plataforma espec?fica que representa a especifica??o das composi?oes e as pol?ticas, (iii) regras de transforma??o model-to-model e model-to-text para semi-automatizar a implementa??o de composi?oes de servi?os confi?veis, e (iv) um ambiente que implementa estes meta-modelos e regras, representando assim aspectos transversais e limita??es associadas a servi?os, que devem ser respeitados. Esta tese tamb?m apresenta uma classifica??o e nomenclatura de requisitos n?o-funcionais para o desenvolvimento de aplica??es orientadas a servi?os. Nossa abordagem visa agregar valor ao desenvolvimento de aplica??es orientadas a servi?os que t?m necessidades de garantias de requisitos de qualidade. Este trabalho utiliza conceitos das ?reas de desenvolvimento orientado a servi?os, design de requisitos n?o-funcionais e desenvolvimento dirigido a modelos para propor uma solu??o que minimiza o problema de modelagem de servi?os web confi?veis

De nos jours, la façon d'utiliser les applications mobiles dans le domaine des transports offre de nouveaux défis liés aux spécificités de l'environnement, comme la forte mobilité des terminaux, leur répartition, ou encore le réseau instable de communication. La plupart des applications existantes ont des contraintes de fonctionnement qui les rendent inadaptées si les conditions d'exécution évoluent rapidement. Cela rend intéressant l'utilisation d'un cadre unifié de conception et d'exécution, capable de gérer ces applications. Nos travaux portent, dans un premier temps, sur une étude des applications mobiles et de leur comportement, en fonction du contexte d'exécution. Nous considérons le cas des applications dédiées aux transports, conçues pour accompagner et assister un usager dans son déplacement (navigation, sécurité routière, applications des moyens de transports, etc.). Nous identifions les éléments du contexte propres aux applications fortement mobiles et les modélisons. Dans un second temps, nous proposons un cadre dynamique et sensible au contexte, permettant le déploiement de nouveaux services " à la volée " ainsi que leur adaptation pour une meilleure utilisation des ressources dans des milieux très évolutifs. Nous nous focalisons sur le côté réactif, permettant d'adapter le comportement des applications à leurs nouvelles conditions d'utilisation. Les applications sont décomposées en services de base avec un couplage lâche pour une plus grande flexibilité. Nous utilisons une architecture orientée service, qui permet la réutilisation des services communs à plusieurs applications mais aussi la gestion du contexte au travers de services équivalents mais capables de fonctionner dans des conditions différentes.Nous montrons, grâce au prototype de notre plateforme CATS (Context-Aware Transportation Services), d'abord la faisabilité d'une plateforme à services sur des terminaux portables. Nous testons ensuite plusieurs scénarios afin de démontrer la réactivité des adaptations aux changements de contexte. Dans cette thèse nous proposons une vue d'ensemble sur la création et la gestion des applications sensibles au contexte pour le domaine des transports. Le but de notre démarche est d'assurer le bon fonctionnement de l'ensemble des applications d'un utilisateur, malgré les changements dynamiques du contexte.

With the increasing availability of storage and computing power, Latent Semantic Analysis (LSA) has gained more and more significance in practice over the last decade. This diploma thesis aims to develop a reference architecture which can be utilised to provide LSA based applications in a distributed system. It outlines the underlying problems of generation, processing and storage of large data objects resulting from LSA operations, the problems arising from bringing LSA into a distributed context, suggests an architecture for the software components necessary to perform the tasks, and evaluates the applicability to real world scenarios, including the implementation of a classroom scenario as a proof-of-concept. (author's abstract)
Series: Theses / Institute for Statistics and Mathematics

L'Orienté Service (SOA) est un paradigme de conception qui facilite la construction d’applications extensibles et reconfigurables basées sur des artefacts réutilisables qui sont les services. Ceux-ci sont structurés via des interfaces bien définies et publiables et qui peuvent être dynamiquement découvertes.Beaucoup d’approches ont été proposées dans la littérature pour la réingénierie d’applications existantes développées dans des paradigmes pré-services, principalement l’orienté objet, vers SOA. L’objectif est de permettre de sauvegarder la valeur métier de ces d’applications tout en leur permettant de bénéficier des avantages de SOA. Le problème est que ces approches s'appuient sur des critères ad-hoc pour identifier correctement des services dans le code source des applications existantes.Par ailleurs, l'une des caractéristiques les plus distinctives d'une application orientée service est sa capacité de se reconfigurer dynamiquement et d'adapter son comportement en fonction de son contexte d'exécution. Cependant, dans les langages de description d'architecture (ADL) existants dont l’aspect de reconfiguration et pris en compte, les règles de reconfiguration sont représentées d'une manière ad-hoc; en général, elles ne sont pas modélisées d'une manière explicite mais enfouillées dans la description de l'architecture. D'une part, ceci engendre une difficulté de la gestion de la reconfiguration dynamique au niveau de l'architecture et d’autre part, la traçabilité de la description de la reconfiguration dynamique à travers les différents niveaux d'abstraction est difficile à représenter et à gérer.Afin de surmonter les problèmes précédents, nous proposons dans le cadre de cette thèse deux contributions. D'abord, nous proposons une approche d'identification de services basée sur un modèle de qualité où les caractéristiques des services sont étudiées, raffinées et réifiées en une fonction que nous utilisons pour mesurer la validité sémantique de ces services. La deuxième contribution consiste en une proposition d'un langage de description d'architecture orientée service (ADL) qui intègre la description de la variabilité architecturale. Dans cette ADL les services qui peuvent constituer l’architecture, les éléments de contexte dont les changements d’état sont à l’origine des changements architecturaux, les variantes des éléments architecturaux sélectionnées en fonction des états des éléments de contexte et le comportement architectural dynamique sont ainsi spécifiés de façon modulaire
Service Oriented Architecture (SOA) is an architectural design paradigm which facilitates building and composing flexible, extensible and reusable service-oriented assets. These latter are encapsulated behind well-defined and published interfaces that can be dynamically discovered by third-party services. Before the advent of SOA, several software systems were developed using older technologies. Many of these systems still afford a business value, however they suffer from evolution and maintenance problems. It is advantageous to modernize those software systems towards service-based ones. In this sense, several re-engineering techniques propose migrating object-oriented applications towards SOA. Nonetheless, these approaches rely on ad-hoc criteria to correctly identify services in object-oriented legacy source code.Besides, one of the most distinguishing features of a service-oriented application is the ability to dynamically reconfigure and adjust its behavior to cope with changing environment during execution. However, in existing architecture description languages handling this aspect, reconfiguration rules are represented in an ad-hoc manner; reconfiguration scenarios are often implicit. This fact hinders a full management of dynamic reconfiguration at architecture level. Moreover, it constitutes a challenge to trace dynamic reconfiguration description/management at different levels of abstraction.In order to overcome the aforementioned problems, our contributions are presented in two axes: First, in the context of migrating legacy software towards SOA, we propose a service identification approach based on a quality measurement model, where service characteristics are considered, refined to measurable metrics in order to measure the semantic correctness of identified services. The second axis is dedicated to an Architecture Description Language (ADL) proposition that describes a variant-rich service-based architecture. In this modular ADL, dynamic reconfigurations are specified at architecture level. Moreover, the description is enriched with context and variability information, in order to enable a variability-based self-reconfiguration of architecture in response to context changes at runtime

Le développement d’applications avec une architecture Pair-à-Pair (P2P) est devenu de plus en plus important en ingénierie du logiciel. Aujourd’hui, un grand nombre d’organisations de tailles et secteurs différents compte d’une manière croissante sur la collaboration entre multiples acteurs (individus, groupes, communautés, etc. ) pour accomplir des tâches essentielles. Ces applications P2P ont généralement un comportement récursif que plusieurs approches de modélisation ne peuvent pas décrire et analyser (exemple : les approches basées sur les automates à états finis). Un autre challenge qui concerne le développement d’applications P2P est le couplage fort entre la spécification d’une part, et les technologies et protocoles sous-jacents d’autre part. Cela force les développeurs à faire des efforts considérables pour trouver puis comprendre des informations sur les détails de ces couches casses du P2P. De plus, ce couplage fort oblige les applications à s’exécuter dans des environnements figés. Par conséquent, choisir par exemple un autre protocole pour répondre à un nouveau besoin à l’exécution devient une tâche très difficile. Outre ces points, les applications P2P sont souvent spécifiées avec une faible capacité à déléguer des traitements entre les pairs, et se focalisent surtout sur le partage et le stockage de données. Ainsi, elles ne profitent pas pleinement de la puissance de calcul et de traitement offerte par le réseau P3P sous-jacent. Dans cette thèse, nous présentons une approche qui combine les principes du développement orienté composants et services avec des techniques issues des Grammaires Attribuées et d’Analyses de flot de données (techniques utilisées surtout dans la construction de compilateurs) afin de faciliter la spécification, l’analyse et le déploiement d’applications dans des architectures P2P. Cette approche incorpore : i) Un langage formel nommé DDF (de l’anglais Data-Dependency Formalism) pour spécifier les applications et construire leurs graphes de dépendances de données. Un graphe de dépendances de données est nommé DDG (de l’anglais Data Dependency Graph) et est défini pour être une représentation abstraite de l’application spécifiée. Ii) Une méthode d’analyse qui utilise le graphe de dépendances de données pour inférer et calculer diverses propriétés, y compris certaines propriétés que les models-checkers ne peuvent pas calculer si le système présente un comportement récursif. Iii) Un intergiciel nommé SON (de l’anglais Shared Data Overlay Network) afin de développer et d’exécuter des applications dans une architecture P2P sans faire face à la complexité des couches sous-jacentes. Cela grâce essentiellement au couplage faible (par une approche orientée services) et à la fonctionnalité de génération de code automatique
Developing Peer-to-Peer (P2P) applications became increasingly important in software development. Nowadays, a large number of organizations from many different sectors and sizes depend more and more on collaboration between actors (individuals, groups, communities, etc. ) to perform their tacks. These P2P applications usually have a recursive behaviour that many modeling approaches cannot describe and analyze (e. G. Finite-state approaches). Another challenging issue in P2P application development is the tight coupling between application specification and the underlying P2P technologies and protocols. This forces software developers to make tedious efforts in finding and understanding detailed knowledge about P2P low level concerns. Moreover, this tight coupling constraints applications to run in a changeless runtime environment. Consequently, choosing (for example) another protocol at runtime to meet a new requirement becomes very difficult. Besides these previous issues, P2P applications are usually specified with a weak ability to delegate computing activities between peers, and especially focus on data sharing and storage. Thus, it is not able to take full advantages of the computing power of the underlying P2P network. In this thesis, we present an approach that combines component – and service-oriented development with well-understood methods and techniques from the fields of Attribute Grammars and Data-Flow Analysis (commonly used in compiler construction) in order to offer greater ease in the specification, analysis and deployment of applications ion P2P architecture. This approach embodies : i) A formal language called DDF (Data-Dependency Formalism) to specify applications and construct their Data-Dependency Graphs (DDGs). A DDG has been defined to be an abstract representation of applications. Ii) An analysis method that uses DDG to infer and compute various properties, including some properties that model checkers cannot compute if the system presents recursive behaviour. Iii) A component-based service middleware called SON (Shared-data Overlay Network) to develop and execute applications within P2P architecture without the stress of dealing with P2P low level complexity. Thanks to SON’s automatic generation

Researchers in software engineering proposed design method for distributed applications to construct a set of communicating system components from a global behavior. The joint behaviors of these components must precisely satisfy the specified global behavior. The next concern is to transform the constructed models of these components into executable business processes by ensuring the exchange of asynchronous messages among the generated business processes. The introduction of Service-Oriented Architecture (SOA) has helped to achieve this goal. SOA provides high flexibility in composing loosely-integrated services that can be used among business domains to carry out business transactions; this composition is known as service orchestration. Moreover, SOA supports Model Driven Architecture (MDA) such that services modeled as UML Activity Diagrams (AD) can be transformed into a set of Business Execution Language (BPEL) processes. Many researchers discussed the transformation of UML AD and the Business Process Modeling Notation (BPMN) into BPEL. However, they did not discuss the practical limitations that some of these transformations impose. This thesis addresses the imitations of the transformation from UML AD to BPEL processes using the IBM Rational Software Architect (RSA). We showed here that the tool is unable to create the correct BPEL artifacts from UML AD components in certain cases, for instance when the behavior includes the alternative for receiving single or concurrent messages, a weak loop, or certain choice activities. Furthermore, we provided novel solutions to the transformations in these cases in order to facilitate the transformation from UML AD to BPEL.

L'essor de l'Internet et l'évolution des dispositifs communicants ont permis l'intégration du monde informatique et du monde réel, ouvrant ainsi la voie à de nouveaux types d'applications, tels que les applications ubiquitaires et pervasives. Ces applications doivent s'exécuter dans des contextes hétérogènes, distribués et ouverts qui sont en constante évolution. Dans de tels contextes, la disponibilité des services et des dispositifs, les préférences et la localisation des utilisateurs peuvent varier à tout moment pendant l'exécution des applications. La variabilité des contextes d'exécution fait que l'exécution d'une application dépend, par exemple, des services disponibles ou des dispositifs accessibles à l'exécution. En conséquence, l'architecture d'une telle application ne peut pas être connue statiquement à la conception, au développement ou au déploiement, ce qui impose de redéfinir ce qu'est une application dynamique : comment la concevoir, la développer, l'exécuter et la gérer à l'exécution. Dans cette thèse, nous proposons une approche dirigée par les modèles pour la conception, le développement et l'exécution d'applications dynamiques. Pour cela, nous avons défini un modèle de composants à services permettant d'introduire des propriétés de dynamisme au sein d'un modèle de composants. Ce modèle permet de définir une application en intention, via un ensemble de propriétés, de contraintes et de préférences de composition. Une application est ainsi spécifiée de façon abstraite ce qui permet de contrôler la composition graduelle de l'application lors de son développement et de son exécution. Notre approche vise à effacer la frontière entre les activités effectuées avant et pendant l'exécution des applications. Pour ce faire, le même modèle et les mêmes mécanismes de composition sont utilisés de la conception jusqu'à l'exécution des applications. A l'exécution, le processus de composition considère, en plus, les services disponibles dans la plate-forme d'exécution permettant la composition opportuniste des applications ; ainsi que la variabilité du contexte d'exécution permettant l'adaptation dynamique des compositions. Nous avons mis en œuvre notre approche via un prototype nommé COMPASS, qui s'appuie sur les plates-formes CADSE pour la réalisation d'environnements logiciels de conception et de développement, et APAM pour la réalisation d'un environnement d'exécution d'applications à services dynamiques
The growth of the Internet and the evolution of communicating devices have allow the integration of the computer world and the real world, paving the way for developing new types of applications such as pervasive and ubiquitous ones. These applications must run in heterogeneous, distributed and open environments that evolve constantly. In such environments, the availability of services and devices, the preferences and location of users may change at any time during the execution of applications. The variability of the execution context makes the execution of an application dependent on the available services and devices. Building applications capable of evolving dynamically to their execution context is a challenging task. In fact, the architecture of such an application cannot be fully known nor statically specified at design, development or deployment times. It is then needed to redefine the concept of dynamic application in order to cover the design, development, execution and management phases, and to enable thus the dynamic construction and evolution of applications. In this dissertation, we propose a model-driven approach for the design, development and execution of dynamic applications. We defined a component service model that considers dynamic properties within a component model. This model allows defining an application by its intention (its goal) through a set of composition properties, constraints and preferences. An application is thus specified in an abstract way, which allows controlling its gradual composition during development and execution times. Our approach aims to blur the boundary between development-time and runtime. Thus, the same model and the same composition mechanisms are used from design to runtime. At runtime, the composition process considers also the services available in the execution platform in order to compose applications opportunistically; and the variability of the execution context in order to adapt compositions dynamically. We implemented our approach through a prototype named COMPASS, which relies on the CADSE platform for building software design and development environments, and on the APAM platform for building an execution environment for dynamic service-based applications

Dans le contexte économique actuel, les entreprises font face à de nouveaux problèmes en termes d’interopérabilité, du fait de besoins croissants de collaboration eBusiness dans les écosystèmes numériques auxquels elles appartiennent. Elles ont également besoins de pouvoir rentabiliser et faire évoluer les applications internes existantes. De plus, l’établissement rapide d’une collaboration numérique avec un membre de leur écosystème, limitée dans le temps, ne devrait pas nécessiter de modification de leurs infrastructures de communications et de leurs applications pour pouvoir échanger information et connaissance. D’un côté, les solutions actuelles sont de moins en moins adaptées pour faire face ni aux besoins croissants d’interopérabilité dans des environnements de plus en plus complexes. D’un autre côté, il n’est pas envisageable de remplacer les standards et les cadres d’interopérabilité actuellement utilisés en proposant des innovations de rupture. Les travaux de recherches réalisés dans le cadre de la thèse « Interopérabilité des applications techniques d’entreprise » concernent le développement d’une approche innovante pour construire un cadre d’interopérabilité des applications d’entreprise basé sur l’utilisation simultanée et cohérente des standards d’interopérabilité d’un écosystème et des technologies associées. L’objectif est l’interopérabilité « pragmatique ». L’approche innovante propose s’appuie sur les apports conjugués de l’ingénierie par les modèles, de la modélisation d’entreprise, des ontologies et des architectures orientées services. Elle promeut l’utilisation des commodités du WEB, basées sur des standards ouverts et gouvernés. Ce faisant, la préservation sémantique entre les standards de l’écosystème considéré, les artefacts d’ingénierie des applications et les infrastructures de communication est cruciale. Aussi l’approche innovante proposée inclut-elle le concept “d’hyper modèle étendu”, qui a été développée dans le cadre de cette thèse, et dont l’usage est illustré dans le cadre particulier des applications de gestion du cycle de vie des produits industriels, au sein de l’entreprise étendue
Within the current economic context, enterprises are facing new interoperability issues due to increasing needs of eBusiness Collaboration within the emerging digital ecosystems they belong to. They also need to be able to keep in pace with their heterogeneous internal legacy systems. In addition, they should not have to modify their infrastructure or applications for fast and short collaboration implying information and knowledge interchange with new partners of their ecosystem. In one hand, current solutions are less and less adapted to face increasing needs and complexity in term of interoperability. In the other hand, legacy interoperability standards and frameworks can’t be replaced as it can be imagined to propose new disruptive approach and technologies. The research work undertaken for the thesis “Interoperability of Technical Enterprise Interoperability” consists in proposing an innovative approach allowing a given and mature ecosystem to build an enterprise application interoperability framework based on simultaneous and coherent usage of eBusiness standards used by a given ecosystem, combining usage of the different relevant frameworks supporting these standards. The goal is achievement of "pragmatic" interoperability. Proposed innovative approach takes advantage of simultaneous usage of Model Driven Engineering, Enterprise Modeling, Ontology and Service Oriented Architecture. It promotes systematic usage of commodities on the WEB based on open and governed standards. Doing so, semantic preservation between ecosystem’s standards, application engineering artifacts and communication infrastructures is crucial. To support semantic preservation within the context of the innovative proposed approach, the concept of “extended hypermodel” is developed and demonstrated within the context of Product Lifecycle Management within networked organizations

Les spécificités du secteur de la construction engendrent un contexte de travail coopératif que nous pouvons qualifier d'incertain par nature. L'activité de chantier se caractérise par un mode de production in situ. Dès lors, nombreux sont les dysfonctionnements qui peuvent apparaître. Nous citerons, par exemple, les problèmes liés à la nature du sol, aux intempéries ou encore ceux qui sont propres aux interactions entre les intervenants (ex. fourniture en matériaux, interfaces entre les corps de métier...). Aussi, la coordination repose sur un mélange subtil entre interactions implicites et explicites, où l'organisation prend de multiples configurations (hiérarchique, adhocratique ou transversale), et où la qualité du processus collectif repose sur l'autonomie et le sens des responsabilités de chacun des intervenants. Nous faisons l'hypothèse qu'un tel contexte est largement fondé sur la notion de confiance, car celle-ci a la capacité de réduire la perception du risque et de permettre l'action dans un environnement marqué par de nombreuses incertitudes. En conséquence, nous suggérons un rapprochement entre les outils d'assistance à la coordination et la notion de confiance, et nous proposons une nouvelle approche du pilotage de l'activité collective à partir de la représentation de la confiance. Ce travail de doctorat se structure autour de la notion de «confiance dans le bon déroulement de l'activité». Nous suggérons que celle-ci est dépendante de chacune des dimensions de l'activité collective : sa progression, les acteurs chargés de son exécution, les ouvrages en résultant (et leur difficulté de mise en œuvre), ainsi que les documents nécessaires à sa réalisation. Aussi, notre méthode consiste d'abord en l'identification des divers critères de confiance, consolidés par une étude de terrain. Puis, nous établissons un modèle mathématique destiné à évaluer cette confiance à partir des informations issues d'un contexte de coopération. Sur base de ces éléments, s'en suit la proposition d'un prototype dénommé Bat'iTrust, reposant sur une architecture logicielle multi-vues et orientée services. Pour l'utilisateur, la navigation au sein de ce prototype est guidée par un tableau de bord centré sur le concept de confiance. Enfin, la validation de cette proposition repose sur des enquêtes et une phase d'expérimentation qui nous ont permis de confronter nos résultats à des sujets expérimentaux représentatifs du domaine.

L'intelligence ambiante est considérée comme l'une des évolutions majeures de l'informatique ubiquitaire. Elle vise la mise en œuvre des environnements ambiants ou des espaces intelligents permettant d'améliorer la vie quotidienne des utilisateurs, leur bien-être et leur sécurité. Un environnement ambiant dispose d'une multitude d'équipements (capteurs, actionneurs), fournissant des services ubiquitaires atomiques qui sont distribués et de nature hétérogène. Ces services atomiques disponibles dans ce type d'environnement, ne répondent pas directement ou complètement à toutes les exigences et les besoins des utilisateurs. Par ailleurs, ces services de haut niveau peuvent impliquer l'interaction de services ubiquitaires appartenant et/ou contrôlés par différentes structures ou domaines (i.e. environnement multi-domaine). Dans ces travaux de thèse, on a étudié les problématiques reliées à l'agrégation des services ubiquitaires atomiques dans des coopérations et des compositions dans un environnement ambiant multi-domaine afin de répondre à des besoins utilisateurs. Cette étude concerne l'interopérabilité sémantique et comportementale des compositions de services ainsi que leurs spécifications dans un modèle formel basé sur la logique constructive BCDL0. Cette thèse a contribuée par la réalisation d'un canevas sémantique permettant la conception et la vérification formelles des processus coopératifs dans l'assistant à la preuve Isabelle/HOL. Le canevas sémantique proposé consiste en une ontologie de coopération extensible et un langage de spécification de services fiable (Sound) ainsi que des modules de mise en correspondance vers des infrastructures cibles
Ambient Intelligence is considered as the major application domain of ubiquitous computing. It aims at implementing intelligent environments to improve the daily activities, the well-being and the safety of users. An ambient environment has a multitude of devices (sensors, actuators), providing atomic ubiquitous services which are distributed and heterogeneous. These atomic services available in these environments, do not directly or fully meet all the requirements and the needs of users. Moreover, these high-level services may involve the interaction of ubiquitous services owned and/or controlled by different structures or domains (i.e. multi-domain environment). In this work, we studied the problems related to the aggregation of atomic ubiquitous services in cooperations and compositions in an ambient multi-domain environment in order to meet users' needs. This study concerns the semantic and behavioral interoperability of high-level composite services and their formal specification. This latter, is based on the Basic Constructive Description Logic, namely, BCDL0 formal model. This work contributes by realizing a semantic framework for the design and formal verification of cooperative processes in the interactive theorem prover Isabelle/HOL. The proposed semantic framework consists of an extensible cooperation ontology, a sound formal specification language of ubiquitous services and a components for mapping the formally proved cooperatives processes to the targeted infrastructures

L'orientation service occupe de plus en plus une place importante dans la structuration des systèmes complexes. La conception et le développement d'applications évoluent progressivement d'un modèle traditionnel vers un modèle plus dynamique orienté services où la réutilisation et l'adaptabilité jouent un rôle important. Dans cette thèse, nous proposons une étude portant sur la conception et le développement d'applications par composition de services. Nous décrivons un environnement de partage de services : DyCoSe. Il consiste en un écosystème coopératif où les entreprises membres, organisées en communautés, partagent un consensus global représentant les fonctionnalités métier récurrentes et les propriétés non fonctionnelles communes. La composition d'applications dans DyCoSe repose sur une architecture à trois niveaux combinant à la fois une démarche descendante et une autre ascendante. La démarche descendante permet de décrire l'application à travers une interaction de composants haut niveau et de la raffiner en une ou plusieurs orchestrations de services. La démarche ascendante projette les caractéristiques de l'infrastructure réseau sous-jacente au niveau services. Un processus d'instanciation visant à réaliser une application composite est détaillé. Il formalise le choix des services, selon un ensemble de contraintes données, comme un problème d'optimisation de coûts. Deux solutions au problème d'instanciation sont étudiées. Une solution globale tient compte de l'ensemble des services disponibles dans l'écosystème et une solution locale favorise les services de certaines communautés. Un algorithme génétique est décrit comme implémentation de l'instanciation globale. Une simulation stochastique de l'environnement DyCoSe est proposée. Elle permet d'étudier les possibilités d'instanciation d'une application donnée dans un environnement où la disponibilité des services n'est pas garantie. Elle permet d'étudier aussi, le taux de réussite de l'exécution d'une instance d'une application donnée.

Maschinenlesbare und -abrufbare Web Services werden zu Produktionsmodulen in einem globalen 'Factory Floor'. Ihre 'Orchestrierung' erlaubt die standardisierte Bildung von Modulen höherer Ordnung. Die dabei gebildeten Prozesse können die Wahl der einzubindenden Dienste via 'Discovery Agency' optimieren. Das Organisieren von Wertschöpfungssystemen wird damit zur modularen Programmierung im Grossen, der Abruf von Leistungen zum Aufruf und dynamischen Einbinden eines Moduls. Wird damit eine ideale Infrastruktur für die Virtualisierung der Organisationen verfügbar? Wir analysieren den Begriff der Organisation, einerseits aus Informatik-Optik als Multi-Agenten-Systeme, aber auch als soziales Gebilde mit den Begriffen der Institution und des Symbolischen und verbinden sie im Begriff des Mediums. Wir argumentieren, dass der gegenwärtige Stand der Web Services-Protokolle noch zu wenig Struktur für virtuelle Organisationen hat und zeigen, was zu ergänzen ist.

Maschinenlesbare und -abrufbare Web Services werden zu Produktionsmodulen in einem globalen 'Factory Floor'. Ihre 'Orchestrierung' erlaubt die standardisierte Bildung von Modulen höherer Ordnung. Die dabei gebildeten Prozesse können die Wahl der einzubindenden Dienste via 'Discovery Agency' optimieren. Das Organisieren von Wertschöpfungssystemen wird damit zur modularen Programmierung im Grossen, der Abruf von Leistungen zum Aufruf und dynamischen Einbinden eines Moduls. Wird damit eine ideale Infrastruktur für die Virtualisierung der Organisationen verfügbar? Wir analysieren den Begriff der Organisation, einerseits aus Informatik-Optik als Multi-Agenten-Systeme, aber auch als soziales Gebilde mit den Begriffen der Institution und des Symbolischen und verbinden sie im Begriff des Mediums. Wir argumentieren, dass der gegenwärtige Stand der Web Services-Protokolle noch zu wenig Struktur für virtuelle Organisationen hat und zeigen, was zu ergänzen ist.

Thesis (M.S.)--University of Alabama at Birmingham, 2007.
Additional advisors: David G. Green, Gary J. Grimes, John L. Hartman IV. Description based on contents viewed Feb. 5, 2008; title from title screen. Includes bibliographical references (p. 110-120).

Enterprise Service Bus (ESB) est actuellement l'approche la plus prometteuse pour l'implémentation d'une architecture orientée services (SOA : Service-Oriented Architecture) par l'intégration des différentes applications isolées dans une plateforme centralisée. De nombreuses solutions d'intégration à base d'ESB on été proposées, elles sont soit open-source comme : Mule, Petals, ou encore Fuse, soit propriétaires tels que : Sonic ESB, IBM WebSphere Message Broker, ou Oracle ESB. Cependant, il n'en existe aucune en mesure de traiter, à la fois des aspects : d'intégration et de traitement massivement parallèle, du moins à notre connaissance. L'intégration du parallélisme dans le traitement est un moyen de tirer profit des technologies multicœurs/multiprocesseurs qui améliorent considérablement les performances des ESBs.Toutefois, cette intégration est une démarche complexe et soulève des problèmes à plusieurs niveaux : communication, synchronisation, partage de données, etc.Dans cette thèse, nous présentons l'étude d'une nouvelle architecture massivement parallèle de type ESB
Enterprise service bus (ESB) is currently the most promising approach for business application integration in distributed and heterogeneous environments. It allows to deploy a service-oriented architecture (SOA) by the integration of all the isolated applications on a decentralized platform.Several commercial or open source ESB-based solutions have been proposed. However, to the best of our knowledge, none of these solutions has integrated the parallel processing. The integration of parallelism in the treatment allows to take advantage of the multicore/multiprocessor technologies and thus can improve greatly the ESB performance. However, this integration is difficult to achieve, and poses problems at multiple levels (communication, synchronization, etc). In this study, we present a new massively parallel ESB architecture that meets this challenge

This report describes the development of a RESTful web service for mobile applications. The web service makes resources from an existing system called kompetensdatabasen ("the competence database") available. Kompetensdatabasen holds information about the capabilities of consultants and about assignments carried out at the IT consultant business Nethouse AB. The web service was developed according to the principles of REST and ROA (Resource Oriented Architecture) which puts focus on making resources available. The resources are made available through the HTTP protocol and the methods associated with it. This means it was designed to use the same technologies as the world wide web. Following these principles when designing the system has been of great importance. To make sure that the service does not leak information to competing companies or violate the Personal Data Act some kind of solution for securing the service had to be implemented. A model for authentication was produced to make the system accessible only for employees of the company.
Rapporten beskriver utvecklandet av en RESTful web service för mobilapplikationer. Web servicen tillgängliggör resurser från ett befintligt system som kallas kompetensdatabasen. Kompetensdatabasen innehåller information om konsulters kompetenser och de uppdrag som utförts vid IT-konsultföretaget Nethouse AB. Web servicen utvecklades enligt principerna för REST och ROA (Resource Oriented Architecture) vilket innebär ett fokus på att tillgängliggöra resurser. Resurserna görs nåbara genom HTTP-protokollet och dess metoder, det vill säga samma tekniker som används på webben. Stor vikt har lagts på att designa systemet enligt dessa principer. För att servicen inte skulle läcka information till konkurrenter eller bryta mot personuppgiftslagen behövde någon form av säkerhetslösning implementeras. En autentiseringsmodell togs fram för att göra systemet nåbart enbart för anställda vid företaget.

The success of Web services comes from the benefits that it brings in reducing the cost and the time needed to develop data and applications by reusing them, and simplifying their integrations through standardization. However, standardization in Web services does not remove the need for adapters due to possible heterogeneity among service interface and protocol definitions. Moreover, the current service APIs are targeted toward professional programmers, but not accessible to a wider class of users without programming expertise, but would never the less like to build their own integrated applications. In this dissertation, we propose methods and tools to support both service developers and non-expert users in their data and application integration tasks. To support service developers, we propose a framework that enables rapid development of Web service adapters. We investigate particularly the problem of service adaptation focusing on business interface and protocol layers. Our study shows that many differences between business interfaces and protocols are recurring. We introduce mismatch patterns to capture these recurring differences and provide solutions to resolve them. We present the notion of adaptation aspects, which is based on the aspect-oriented programming paradigm, to enable rapid development and deployment of service adapters. We also present a comparative study between standalone and aspect-oriented adapters development. The study shows that the aspect-oriented approach is preferable in many cases, especially when adapters need to access internal states of services. The proposed approach is implemented in a prototype tool, which is used to illustrate how it simplifies adapters development through a case study. To support users without programming expertise, we propose a spreadsheet-based Web mashups development framework, which enables users to develop mashups in the popular spreadsheet environment. First, we provide a mechanism that makes structured data first class values of spreadsheet cells. Second, we propose a new component model that can be used to develop fairly sophisticated mashups, involving joining data sources and keeping spreadsheet data up to date. Third, to simplify mashup development, we provide a collection of spreadsheet-based mashup patterns that captures common Web data access and spreadsheet presentation functionalities. Users can reuse and customize these patterns to build spreadsheet-based Web mashups instead of developing them from scratch. Fourth, we enable users to manipulate structured data presented on spreadsheet in a drag-and-drop fashion. Finally, we have developed and tested a prototype tool to demonstrate the utility of the proposed framework.

An emerging IT delivery model, Cloud Computing, can significantly reduce IT costs and complexities while improving workload optimisation and service delivery. More and more organisations are planning to migrate their existing systems into this internet-driven computing environment. This investigation is proposed for this purpose and will be undertaken with two main aims. The first aim is to establish a general framework and method to assist with the evolution of legacy systems into and within the Cloud environment. The second aim is to evaluate the proposed approach and demonstrate that such an approach can be more effective than developing Cloud services from scratch. The underlying research procedure of this thesis consists of observation, proposition, test and conclusion. This thesis contributes a novel evolution approach in Cloud computing. A technical solution framework is proposed through a three-dimensional software evolution paradigm, which can cover the relationships of software models, software functions and software qualities in different Cloud paradigms. Finally, the evolved service will be run in the Cloud environments. The approach framework is implemented by three phases: 1) legacy system analysis and extraction, which proposes an analysis approach to decide the legacy system in the Cloud environment and to adopt the techniques of program slicing with improved algorithm and software clustering for extracting legacy components. 2) Cloud-oriented service migration including evolving software into and within Cloud. The process of evolving software 'INTO' Cloud can be viewed mainly as changing software qualities on software models. The process of evolving software 'WITHIN' Cloud can be viewed mainly as changing software functions on software models, the techniques of program and model transformation and software architecture engineering are applied. 3) Cloud service integration, which integrates and deploys the service in the Cloud environment. The proposed approach is proved to be flexible and practical by the selected case study. Conclusions based on analysis and future research are discussed at the end of the thesis.

Wireless sensor networks (WSN) are a foreseeable source of innovation in many fields and the number of WSN deployments is expected to grow rapidly in the near future. One of the key challenges in designing, implementing, deploying and maintaining complex systems that use WSNs is provisioning and integration of sensor data with existing communication infrastructures. Service Oriented Architecture (SOA) is considered a promising distributed computing approach for providing a common communication platform that supports interoperability and scalability on the application layer. The work in this thesis investigates the application of SOA in WSNs in terms of different technological solutions, performance requirements and scalability. The focus is on efficient implementation and data representation techniques that are capable of meeting the requirements of resource constrained sensor nodes.To date, research efforts in embedded SOA solutions have been focused mainly on middleware software systems in gateway devices for interacting with the sensor network. The work presented here is directed towards deploying interoperable standard-based web services directly on the sensor nodes instead of using gateways and proprietary protocols. This strategy provides for manageable WSN provisioning and interoperability between heterogeneous sensor nodes. The biggest drawback in this approach is the overhead in network throughput, latency, memory, CPU and power consumption connected to the use of verbose data encoding formats such as extensible markup language (XML). In order to mitigate this overhead, in Paper A we investigate various resource aware implementation techniques deployed on a sensor node. The techniques include the use of application specific XML parser, lightweight TCP/IP stack with split-phase interface, parsing on-the-fly and sleep schedules. The results show that it is possible to use standard SOA implementations for resource constrained wireless sensors. Nevertheless, the use of this approach is limited to applications with low real-time requirements due to increased latency in the message exchange.In order to further lower the SOA overhead, the work in this thesis investigates the use of binary representation of the XML data. Based on an initial investigation, the newly emerged W3C standard - Efficient XML Interchange (EXI), provides the best compression and processing efficiency when it comes to XML structured information. For that reason, in Paper C we study how EXI can be applied to the state of the art SOA middlewares for factory automation in order to verify and analyze the benefits of using EXI in industrial environment. Based on this analysis and the experiments that are carried out, we conclude that EXI is a very beneficial technology for factory automation software that is capable of extending the reach of industrial SOA solutions to wireless sensor nodes.The work presented in this thesis also analyzes the current EXI implementations and shows that they are not designed to meet the high requirements of resource utilization in WSN deployments. In Paper B we also perform an analysis of the EXI specification and how it maps to the industrial requirements for wireless sensor nodes. The result of this work is an innovative software design of a new EXI processor targeted at highly resource constrained devices. Among other things, as a part of this EXI processor design is a proposal for a new Application Programming Interface (API) for working with XML Information Set items. Moreover, this work has developed an open source implementation of the new EXI processor design in order to verify the proposed architectural models. The benefits of the new API when it comes to efficiency are experimentally verified for a small embedded platform. The key aim in this work is the vertical integration between WSN and enterprise level systems. The achieved results show that the use of special implementation design as well as the EXI protocol for XML data representation provide large gains in efficiency in WSN deployments. The next step in this work is to investigate and compare these results with the new RESTful constrained protocols under development by the Internet Engineering Task Force (IETF). This analysis would pave the way towards reaching the final aim of creating a common, SOA-based communication architecture for cost-effective, flexible and reliable development of complex systems that use WSN technology.

Godkänd; 2012; 20120207 (rumkyu); LICENTIATSEMINARIUM Ämnesområde: Industriell elektronik/Industrial Electronics Examinator: Professor Jerker Delsing, Institutionen för system- och rymdteknik, Luleå tekniska universitet Diskutant: Chief and Founder, Head of Research at Sensinode Ltd, Zach Shelby, Finland Tid: Måndag den 12 mars 2012 kl 14.00 Plats: A1514 Demostudion, Luleå tekniska universitet

Architecture for Service-Oriented Process – Monitoring and Control

en català:

Un camp de recerca important dins del paradigma del Computer-Supported Collaborative Learning (CSCL) és la importància en la gestió eficaç de la informació d'esdeveniments generada durant l'activitat de l'aprenentatge col·laboratiu virtual, per a proporcionar coneixement sobre el comportament dels membres del grup. Aquesta visió és especialment pertinent en l'escenari educatiu actual que passa d'un paradigma tradicional - centrat en la figura d'un instructor magistral - a un paradigma emergent que considera els estudiants com actors centrals en el seu procés d'aprenentatge. En aquest nou escenari, els estudiants aprenen, amb l'ajuda de professors, la tecnologia i els altres estudiants, el que potencialment necessitaran per a desenvolupar les seves activitats acadèmiques o professionals futures.
Els principals aspectes a tenir en compte en aquest context són, primer de tot, com dissenyar una plataforma sota el paradigma del CSCL, que es pugui utilitzar en situacions reals d'aprenentatge col·laboratiu complexe i a llarg termini, basades en el model d'aprenentatge de resolució de problemes. I que permet al professor una anàlisi del grup més eficaç així com donar el suport adequat als estudiants quan sigui necessari.
En segon lloc, com extreure coneixement pertinent de la col·laboració per donar consciència i retorn als estudiants a nivell individual i de rendiment del grup, així com per a propòsits d'avaluació.
L'assoliment d'aquests objectius impliquen el disseny d'un model conceptual d'interacció durant l'aprenentatge col·laboratiu que estructuri i classifiqui la informació generada en una aplicació col·laborativa en diferents nivells de descripció. A partir d'aquesta aproximació conceptual, els models computacionals hi donen resposta per a proporcionar una extracció eficaç del coneixement produït per l'individu i per l'activitat del grup, així com la possibilitat d'explotar aquest coneixement com una eina metacognitiva pel suport en temps real i regulat del procés d'aprenentatge col·laboratiu.
A més a més, les necessitats dels entorns CSCL han evolucionat en gran mesura durant els darrers anys d'acord amb uns requisits pedagògics i tecnològics cada cop més exigents. Els entorns d'aprenentatge col·laboratius virtuals ara ja no depenen de grups d'estudiants homogenis, continguts i recursos d'aprenentatge estàtics, ni pedagogies úniques, sinó que exigeixen una forta personalització i un alt grau de flexibilitat. En aquest nou escenari, les organitzacions educatives actuals necessiten estendre's i moure's cap a paradigmes d'ensenyament altament personalitzats, amb immediatesa i constantment, on cada paradigma incorpora el seu propi model pedagògic, el seu propi objectiu d'aprenentatge i incorpora els seus propis recursos educatius específics.
Les demandes de les organitzacions actuals també inclouen la integració efectiva, en termes de cost i temps, de sistemes d'aprenentatge llegats i externs, que pertanyen a altres institucions, departaments i cursos. Aquests sistemes llegats es troben implementats en llenguatges diferents, suportats per plataformes heterogènies i distribuïdes arreu, per anomenar alguns dels problemes més habituals. Tots aquests problemes representen certament un gran repte per la comunitat de recerca actual i futura. Per tant, els propers esforços han d'anar encarats a ajudar a desenvolupadors, recercaires, tecnòlegs i pedagogs a superar aquests exigents requeriments que es troben actualment en el domini del CSCL, així com proporcionar a les organitzacions educatives solucions ràpides i flexibles per a potenciar i millorar el rendiment i resultats de l'aprenentatge col·laboratiu. Aquesta tesi proposa un primer pas per aconseguir aquests objectius.
An important research topic in Computer Supported Collaborative Learning (CSCL) is to explore the importance of efficient management of event information generated from group activity in collaborative learning practices for its further use in extracting and providing knowledge on interaction behavior.
The essential issue here is first how to design a CSCL platform that can be used for real, long-term, complex collaborative problem solving situations and which enables the instructor to both analyze group interaction effectively and provide an adequate support when needed. Secondly, how to extract relevant knowledge from collaboration in order to provide learners with efficient awareness and feedback as regards individual and group performance and assessment. The achievement of these tasks involve the design of a conceptual framework of collaborative learning interaction that structures and classifies the information generated in a collaborative application at several levels of description. Computational models are then to realize this conceptual approach for an efficient management of the knowledge produced by the individual and group activity as well as the possibility of exploiting this knowledge further as a metacognitive tool for real-time coaching and regulating the collaborative learning process.
In addition, CSCL needs have been evolving over the last years accordingly with more and more demanding pedagogical and technological requirements. On-line collaborative learning environments no longer depend on homogeneous groups, static content and resources, and single pedagogies, but high customization and flexibility are a must in this context. As a result, current educational organizations' needs involve extending and moving to highly customized learning and teaching forms in timely fashion, each incorporating its own pedagogical approach, each targeting a specific learning goal, and each incorporating its specific resources.
These entire issues certainly represent a great challenge for current and future research in this field. Therefore, further efforts need to be made that help developers, technologists and pedagogists overcome the demanding requirements currently found in the CSCL domain as well as provide modern educational organizations with fast, flexible and effective solutions for the enhancement and improvement of the collaborative learning performance and outcomes. This thesis proposes a first step toward these goals.

Índex foliat:
The main contribution in this thesis is the exploration of the importance of an efficient management of information generated from group activity in Computer-Supported Collaborative Learning (CSCL) practices for its further use in extracting and providing knowledge on interaction behavior. To this end, the first step is to investigate a conceptual model for data analysis and management so as to identify the many kinds of indicators that describe collaboration and learning and classify them into high-level potential categories of effective collaboration. Indeed, there are more evident key discourse elements and aspects than those shown by the literature, which play an important role both for promoting student participation and enhancing group and individual performance, such as, the impact and effectiveness of students' contributions, among others, that are explored in this work. By making these elements explicit, the discussion model proposed accomplishes high students' participation rates and contribution quality in a more natural and effective way. This approach goes beyond a mere interaction analysis of asynchronous discussion in the sense that it builds a multi-functional model that fosters knowledge sharing and construction, develops a strong sense of community among students, provides tutors with a powerful tool for students' monitoring, discussion regulation, while it allows for peer facilitation through self, peer and group awareness and assessment.
The results of the research described so far motivates the development of a computational system as the translation from the conceptual model into a computer system that implements the management of the information and knowledge acquired from the group activity, so as to be efficiently fed back to the collaboration. The achievement of a generic, robust, flexible, interoperable, reusable computational model that meets the fundamental functional needs shared by any collaborative learning experience is largely investigated in this thesis. The systematic reuse of this computational model permits a fast adaptation to new learning and teaching requirements, such as learning by discussion, by relying on the most advanced software engineering processes and methodologies from the field of software reuse, and thus important benefits are expected in terms of productivity, quality, and cost.
Therefore, another important contribution is to explore and extend suitable software reuse techniques, such as Generic Programming, so as to allow the computational model to be successfully particularized in as many as situations as possible without losing efficiency in the process. In particular, based on domain analysis techniques, a high-level computational description and formalization of the CSCL domain are identified and modeled. Then, different specific-platform developments that realize the conceptual description are provided. It is also explored a certain level of automation by means of advanced techniques based on Service-Oriented Architectures and Web-services while passing from the conceptual specification to the desired realization, which greatly facilitates the development of CSCL applications using this computational model.
Based on the outcomes of these investigations, this thesis contributes with computational collaborative learning systems, which are capable of managing both qualitative and quantitative information and transforming it into useful knowledge for all the implicated parties in an efficient and clear way. This is achieved by both the specific assessment of each contribution by the tutor who supervises the discussion and by rich statistical information about student's participation. This statistical data is automatically provided by the system; for instance, statistical data sheds light on the students' engagement in the discussion forum or how much interest drew the student's intervention in the form of participation impact, level of passivity, proactivity, reactivity, and so on. The aim is to provide both a deeper understanding of the actual discussion process and a more objective assessment of individual and group activity.
This information is then processed and analyzed by means of a multivariate statistical model in order to extract useful knowledge about the collaboration. The knowledge acquired is communicated back to the members of the learning group and their tutor in appropriate formats, thus providing valuable awareness and feedback of group interaction and performance as well as may help identify and assess the real skills and intentions of participants. The most important benefit expected from the conceptual model for interaction data analysis and management is a great improvement and enhancement of the learning and teaching collaborative experiences.
Finally, the possibilities of using distributed and Grid technology to support real CSCL environments are also extensively explored in this thesis. The results of this investigation lead to conclude that the features provided by these technologies form an ideal context for supporting and meeting demanding requirements of collaborative learning applications. This approach is taken one step further for enhancing the possibilities of the computational model in the CSCL domain and it is successfully adopted on an empirical and application basis. From the results achieved, it is proved the feasibility of distributed technologies to considerably enhance and improve the collaborative learning experience. In particular, the use of Grid computing is successfully applied for the specific purpose of increasing the efficiency of processing a large amount of information from group activity log files.

Since the early 2000s, Service Oriented Architectures (SOAs) have played a key role in the development of complex applications within a virtual organization (VO) context. Grids and workflows have emerged as vital technologies for addressing the (SOA) paradigm. Given the variety of Grid middleware, scientific workflow systems and Grid workflows available, bringing the two technologies together in a flexible, reusable and generalized way has been largely overlooked, particularly from a scientific end user perspective. The lack of domain focus in this area has led to a slow uptake of Grid technologies. This thesis aims to design a framework for Grid-enabling workflows, which identifies the essential technological components, how these components fit together in layered architecture and the interactions between them. To produce such a framework, this thesis first investigates the definition of a Grid-workflow architecture and mapping Grid functionality to workflow nodes, focusing on striking a balance between performance, usability and the Grid functionality supported. Next, it presents an examination of framework extensions for supporting various forms of Grid heterogeneity, essential for ii VO based collaboration. Given the complex nature of Grid technologies, the work presented here investigates abstracting Grid based workflows through high-level definitions and resolution using semantic technologies. Finally, this thesis presents a way to resolves abstract Grid workflows using semantic technologies and intelligent, autonomous agents. The frameworks presented in this thesis are tested and evaluated within the context of domain-based case studies defined in the SIMDAT, BRIDGE and ARGUGRID EU funded research projects.

The Software as a Service (SaaS) model is a service-based model in which a desired service is assembled, delivered and consumed on demand. The IBHIS broker is a ‘proof of concept’ demonstration of SaaS which is based on services that deliver data. IBHIS has addressed a number of challenges for several aspects of servicebased software, especially the concept of a ‘broker service’ and service negotiation that is only used in establishing end-user access authorizations. This thesis investigates and develops an extended form of service-based broker, called CAPTAIN (Care Planning Through Auction-based Information Negotiation). It extends the concepts and role of the broker as used in IBHIS, and in particular, it extends the service negotiation function in order to demonstrate a full range of service characteristics. CAPTAIN uses the idea of the integrated care plan from healthcare to provide a case study. A care planner acting on behalf of a patient uses the broker to negotiate with providers to produce the integrated care plan for the patient with the broker and the providers agreeing on the terms and conditions relating to the supply of the services. We have developed a ‘proof of concept’ service-oriented broker architecture for CAPTAIN that includes planning, negotiation and service-based software models to provide a flexible care planning system. The CAPTAIN application has been evaluated that focuses on three features: functions, data access and negotiation. The CAPTAIN broker performs as planned, to produce the integrated care plan. The providers’ data sources are accessed to read and write data records during and after service negotiation. The negotiation model permits the broker to interact with the providers to produce an adaptable plan, based on the client’s needs. The primary outcome is an extendable service-oriented broker architecture that can enable more scalable and flexible distributed information management by adding interaction with the data sources.

La sécurité des systèmes d'information devient un enjeu préoccupant pour les organisations tant publiques que privées, car de tels systèmes sont pour la plupart universellement accessibles à partir de navigateurs Web. Parmi tous les aspects liés à la sécurité des systèmes d'information, c'est celui de la sécurité fonctionnelle qui est étudié dans cette Thèse sous l'angle de la mise en oeuvre de politiques de contrôle d'accès dans une architecture orientée services. L'élément de base de la solution proposée est un modèle générique qui introduit les concepts essentiels pour la conception de gestionnaires d'exécution de politiques de contrôle d'accès et qui établit une séparation nette entre le système d'information et les mécanismes de contrôle d'accès. L'instanciation de ce modèle conduit à un cadre d'applications qui comporte, entre autres, un filtre de contrôle d'accès dynamique. Cette Thèse présente également deux méthodes systématiques d'implémentation de ce filtre à partir de politiques écrites en ASTD, une notation graphique formelle basée sur les statecharts augmentés d'opérateurs d'une algèbre de processus. La notation ASTD est plus expressive que la norme RBAC et ses extensions. La première méthode repose sur une transformation de politiques de contrôle d'accès, instanciées à partir de patrons de base exprimés en ASTD, en des processus BPEL. La deuxième méthode est basée sur une interprétation de spécifications ASTD par des processus BPEL. Dans les deux cas, les processus BPEL s'exécutent dans un moteur d'exécution BPEL et interagissent avec le système d'information. Ces deux méthodes permettent une implémentation automatique d'un cadre d'applications à partir de la spécification de départ. Finalement, un prototype a été réalisé pour chacune des deux méthodes afin de montrer leur faisabilité au niveau fonctionnel et de comparer leurs performances au niveau système.

Les systèmes de communication multimédia modernes aspirent à fournir de nouveaux services tels que des communications multipoints. Néanmoins, l'apparition de dispositifs multimédias très diversifiés et le nombre croissant de clients ont révélé de nouveaux besoins pour les mécanismes et les protocoles. Dans une communication multimédia, les flux présentent des contraintes différentes et la QdS requise pour chaque flux n'est pas la même. De plus, dans une communication multipoint, tous les utilisateurs ne peuvent pas ou ne sont pas capables de recevoir la même QdS ; cette contrainte implique que les nouveaux mécanismes de communication doivent prendre en compte les besoins des utilisateurs pour fournir un service adéquat à chaque utilisateur, surtout pour éviter le gaspillage des ressources réseau. Cette thèse propose une architecture multipoint à QdS différentiée appelée M-FPTP. Basée sur des proxies client/serveur, elle relie plusieurs LANs multipoints à travers des liens point-à-point partiellement fiables. Cette architecture fournit une QdS différente à chaque LAN dépendant des besoins des utilisateurs. Pour ce faire, nous proposons un modèle du réseau appelé Arbre Hiérarchisé (AH) qui représente en même temps les performances du réseau et les contraintes de QdS des utilisateurs. Nonobstant, l'application de méthodes standard pour la création d'arbres sur un AH peut conduire à des problèmes de surcharge du degré de sortie dans la source. Pour résoudre ce problème, nous proposons alors un nouvel algorithme appelé Arbre de Plus Courts Chemins à Degré de Sortie Limité. Le déploiement de ce service nécessite, pour gérer les utilisateurs et le déploiement correct des proxies, un nouveau protocole appelé Protocole Simple de Session pour QdS multipoint. L'ensemble des solutions proposées a été modélisé, vérifié, validé et testé en utilisant UML 2.0 et l'outil TAU G2.

Service Oriented Architecture (SOA) is an architectural paradigm that allows building of infrastructures for diverse application interaction and integration via services across different platforms, domains of technology and locations. SOA differs from traditional architectures, as it focuses on integrating capabilities that are distributed and implemented using a mixture of technologies. SOA provides a set of methodologies and strategies to accomplish interoperability and integration among different technology stacks.   Vattenfall is the fifth the largest energy supplier within Europe. Having operational systems in different countries brings the challenge of integrating all these distributed systems and this integration is a vital requirement for Vattenfall. The company is currently using Microsoft proprietary products to achieve integration across different technological platform, but requires a better integration infrastructure which is easily extensible and cost effective.   This thesis investigates the impact of implementing Service Oriented Architecture (SOA) using open source or proprietary software products within Vattenfall, from technological and financial perspectives. For this purpose, different technical and non-technical function blocks are identified which are essential for the implementation of SOA. These function blocks are mapped with SOA solutions provided by Red Hat’s JBoss Open Source SOA Platform and Microsoft’s SOA Platform. After mapping, a vendor specific technical and non-technical comparative analysis is carried out based on the function blocks, highlighting the strengths and weaknesses of each vendor.   Finally, an evaluation scheme is purposed based on the technical comparative analysis of vendors, SOA solution cost and SOA competence required. The results from this evaluation scheme are used to recommend the best solution vendor for Vattenfall Nordic. Moreover, this evaluation scheme can also be used to facilitate management in arriving at an appropriate decision about implementation of SOA, while remaining within their requirements and constraints.

Since the early 2000s, Service Oriented Architectures (SOAs) have played a key role in the development of complex applications within a virtual organization (VO) context. Grids and workflows have emerged as vital technologies for addressing the (SOA) paradigm. Given the variety of Grid middleware, scientific workflow systems and Grid workflows available, bringing the two technologies together in a flexible, reusable and generalized way has been largely overlooked, particularly from a scientific end user perspective. The lack of domain focus in this area has led to a slow uptake of Grid technologies. This thesis aims to design a framework for Grid-enabling workflows, which identifies the essential technological components, how these components fit together in layered architecture and the interactions between them. To produce such a framework, this thesis first investigates the definition of a Grid-workflow architecture and mapping Grid functionality to workflow nodes, focusing on striking a balance between performance, usability and the Grid functionality supported. Next, it presents an examination of framework extensions for supporting various forms of Grid heterogeneity, essential for ii VO based collaboration. Given the complex nature of Grid technologies, the work presented here investigates abstracting Grid based workflows through high-level definitions and resolution using semantic technologies. Finally, this thesis presents a way to resolves abstract Grid workflows using semantic technologies and intelligent, autonomous agents. The frameworks presented in this thesis are tested and evaluated within the context of domain-based case studies defined in the SIMDAT, BRIDGE and ARGUGRID EU funded research projects.

Abstract Lissly.com is a monitoring service that monitors the presence of brands, companies and people in social media. As a complement to the web based tool, an application for smartphones is needed. This thesis presents the adaption of the web application to a smartphone implementation. This is done by creating a design document using object-oriented principles, and an implementation using the Objective-C programming language. The design document and the implementation forms a foundation for future development of the service.

Service-orientation and the underlying concept of service-oriented architectures are a means to successfully address the need for flexibility and interoperability of software applications, which in turn leads to improved IT support of business processes. With a growing level of diffusion, sophistication and maturity, the number of services and interdependencies is gradually rising. This increasingly requires companies to implement a systematic management of services along their entire lifecycle. Service lifecycle management (SLM), i.e., the management of services from the initiating idea to their disposal, is becoming a crucial success factor. Not surprisingly, the academic and practice communities increasingly postulate comprehensive IT support for SLM to counteract the inherent complexity. The topic is still in its infancy, with no comprehensive models available that help evaluating and designing IT support in SLM. This thesis presents a reference architecture for SLM and applies it to the evaluation and designing of SLM IT support in companies. The artifact, which largely resulted from consortium research efforts, draws from an extensive analysis of existing SLM applications, case studies, focus group discussions, bilateral interviews and existing literature. Formal procedure models and a configuration terminology allow adapting and applying the reference architecture to a company’s individual setting. Corresponding usage examples prove its applicability and demonstrate the arising benefits within various SLM IT support design and evaluation tasks. A statistical analysis of the knowledge embodied within the reference data leads to novel, highly significant findings. For example, contemporary standard applications do not yet emphasize the lifecycle concept but rather tend to focus on small parts of the lifecycle, especially on service operation. This forces user companies either into a best-of-breed or a custom-development strategy if they are to implement integrated IT support for their SLM activities. SLM software vendors and internal software development units need to undergo a paradigm shift in order to better reflect the numerous interdependencies and increasing intertwining within services’ lifecycles. The SLM architecture is a first step towards achieving this goal.

According to the service orientation design paradigm there are business (BS) and electronic services (ES). BS encapsulate business concerns. ES encapsulate computing systems, information systems and software applications. In environments with a high number of BS and ES the decision on which ES provides the most suitable support for a certain BS is not a trivial task. The objective of the thesis is to provide models, methods, and techniques for preselection of ES for a given BS. Preselection is about reducing the large amount of ES to a significant smaller amount under the consideration of a particular BS.

MSC Dissertation in Computer Engineering
Distributed objects was, until recently, the leading technology in the design and implementation of component-based architectures, such as the ones based on services, better known as Service-Oriented Architectures (SOA). Although established in the market for more than a decade, and therefore mature, these technologies have failed to overcome the porting of the SOA concept to the Web. Web services are a recent technology that has been growing in the last few years. Their acceptance has increased over enterprises and organizations as they seem to overcome the Web and interoperability related problems of the Distributed Objects technology. Web services provide interoperability between systems and that is undoubtedly a strength of this technology since this is a crucial aspect of nowadays business. Moreover, the widespread of services led to the recent introduction of the service composition concept, that although being a technology independent concept,is closely related to Web services and there is no tool support for other technologies. Nonetheless, distributed objects still play an important role in the development of distributed systems, namely due to performance issues that are important when it comes to the internals of a platform. However, the use of service composition in these distributed object-based platforms requires the exposure of their composing services as Web services. The main objective of this masters thesis is improve the state-of-the-art in the support for the composition of services originating from distributed objects-based platforms. Bearing in mind that these kind of platforms are composed by several services, the idea is to present a platform as a set of Web services in order to be able to orchestrate them.

De teknologiska framstegen inom mobiltelefoni de senaste åren, har bidragit till att människor kan utföra sysslor oberoende av plats. För företag som tillhandahåller webbtjänster är mobila applikationer någonting som kan utnyttjas för att öka användning av deras tjänst. I uppsatsen undersöks om detta stämmer eller ej.För företag blir det viktigt hur en mobil applikation integreras mot den befintliga webbtjänsten. Det är dessutom relevant för företag att veta hur applikationen påverkar användningen av den initiala webbtjänsten.I studien utvecklas en mobil applikation från grunden för att se vilka potentiella problem företag kan stöta på vid utveckling av en mobil applikation. Intervjuer görs med företag som utvecklat mobila applikationer till befintliga webbtjänster, för att undersöka hur de upplevt effekterna av applikationen efter lansering.Resultaten visar att lansering av en mobil applikation ofta görs till mer än en typ av mobiltelefon. För att underlätta integration av mobila applikationer mot företagets tjänst, undersöks i uppsatsen vilka förutsättningar som krävs av det underliggande systemet. Med en flexibel arkitektur kan företaget vid vidare utveckling spara resurser.Vidare visar resultaten att tjänster i helhet ser ökad användning vid implementering av en mobil applikation. Funktioner i tjänster tenderar dessutom att delas upp mellan den mobila applikationen och webbtjänsten.
The technological advancements in the mobile technology industry have enabled people to perform tasks regardless of time or place. For companies that provide web services, mobile applications can boost service usage. In this thesis we examine if the usage of a service tends to increase in general, by using mobile applications.For companies it is important to know how mobile applications can be integrated with an existing web service. It is also relevant to know about the mobile applications’ effects on the usage of the initial web service.In this study a mobile application is developed from scratch in order to explore potential difficulties that companies can run into while developing a mobile application. Interviews are made with companies that provide web services to their customers, in order to get answers on how mobile applications have affected usage of their respective web services.Results show that the launch of a mobile application is often done towards more than one mobile platform. In the study, we investigate which requirements that has to be met to ease integration of a mobile application to an existing web service. By implementing flexible back-end system architecture, companies can save resources for future development. Furthermore, results show that services in general tend to see increased usage after a mobile application has been launched. Service-specific functionality also tends to get split up between the mobile application and the initial web service.

This thesis is focused on service in frame of enterprise computing and composition of these services. This brings a number of issues in large spectra of perspectives and this thesis has the ambition these issues resolve. The goal of this thesis is considering the principles application of service oriented architecure and standard methodologies in composition of internally managed by process complex business service, which composes services in SAP information system and which use resources of IBM WebSphere Process Server and IBM WebSphere ESB Server. The basic presumption to goal achieve is precise identification and definition of service. Also important is the notion of composition. So what are especially logical links between services. Based on this service identification it is going to be clarified the options of its composition and it is going to be specified the importance of service definition and composition in enterprise computing area. After defining the services in computing context the thesis is going to be focused on composite business services. Composite business services are going to be analyzed from three perspectives: Engineering, Management and Governance. The benefit of thesis is answer to question if it is possible in specific environment with specific conditions to compose business services, which respect the criterions of three perspectives: Engineering, Management and Governance. If the composition of those business services will respect generally respected standards and recommendations in a defined environment. Thesis in its structure passes from general knowledge about services to knowledge about services in frame of enterprise computing. This knowledge is based on analysis and recommendations of methodologies which are focused on service oriented IT management. Knowledge of this analysis are became basis for definition of three perspectives. Principles defined in three perspectives are going to be verified in real experiment.

With the proliferation of fairly powerful mobile devices and ubiquitous wireless technology, traditional mobile ad hoc networks (MANETs) now migrate into a new era of service-oriented MANETs wherein a node can provide and receive service from other nodes it encounters and interacts with. This dissertation research concerns trust management and its applications for service-oriented MANETs to answer the challenges of MANET environments, including no centralized authority, dynamically changing topology, limited bandwidth and battery power, limited observations, unreliable communication, and the presence of malicious nodes who act to break the system functionality as well as selfish nodes who act to maximize their own gain. We propose a context-aware trust management model called CATrust for service-oriented ad hoc networks. The novelty of our design lies in the use of logit regression to dynamically estimate trustworthiness of a service provider based on its service behavior patterns in a context environment, treating channel conditions, node status, service payoff, and social disposition as 'context' information. We develop a recommendation filtering mechanism to effectively screen out false recommendations even in extremely hostile environments in which the majority recommenders are malicious. We demonstrate desirable convergence, accuracy, and resiliency properties of CATrust. We also demonstrate that CATrust outperforms contemporary peer-to-peer and Internet of Things trust models in terms of service trust prediction accuracy against collusion recommendation attacks. We validate the design of trust-based service management based on CATrust with a node-to-service composition and binding MANET application and a node-to-task assignment MANET application with multi-objective optimization (MOO) requirements. For either application, we propose a trust-based algorithm to effectively filter out malicious nodes exhibiting various attack behaviors by penalizing them with trust loss, which ultimately leads to high user satisfaction. Our trust-based algorithm is efficient with polynomial runtime complexity while achieving a close-to-optimal solution. We demonstrate that our trust-based algorithm built on CATrust outperforms a non-trust-based counterpart using blacklisting techniques and trust-based counterparts built on contemporary peer-to-peer trust protocols. We also develop a dynamic table-lookup method to apply the best trust model parameter settings upon detection of rapid MANET environment changes to maximize MOO performance.
Ph. D.

L’émergence avérée des dispositifs dynamiques et hétérogènes ouvre la voie à l’apparition d’un nouveau type d’applications, qualifié d’ubiquitaire, qui présente la capacité d’interagir avec les capteurs et les actionneurs pénétrant nos environnements d’une manière transparente. Dans ce travail de recherche, nous nous intéressons en particulier aux applications ubiquitaires déployées dans les maisons intelligentes. Les plateformes ubiquitaires orientées services sont largement utilisées pour exécuter ces applications. Ces plateformes présentent la capacité de fournir, d’une manière dynamique, des services en fonction des besoins des applications s’y exécutant. Ces services peuvent être simples correspondant à des dispositifs ou plus abstraits fournissant des fonctions de plus haut niveau. Les applications ubiquitaires partagent ces services pour réaliser des objectifs différents, parfois conflictuels. Ces conflits doivent être traités afin de maintenir les maisons dans des états cohérents. Cette thèse définit une approche pour la gestion des conflits entre les applications de la maison dans une plateforme orientée services. Cette approche est optimiste et gère les conflits à l’exécution via un modèle causal de l’environnement, nommé contexte. Cette approche s’articule principalement autour de trois axes : le premier axe se concentre sur la description des conflits dans un contexte modélisé sous la forme de composants orientés services ; le deuxième axe consiste en l’extension du modèle de programmation d’applications ubiquitaires par des mécanismes de verrouillage/déverrouillage ; le troisième axe se penche sur la gestion des conflits en adoptant une approche à trois phases (prévention, détection et résolution). La solution proposée a été développée sous la forme de composants iPOJO et intégrée dans la plateforme ubiquitaire domotique iCasa
The important emergence of dynamic and heterogeneous devices paves the way for the emergence of a new type of ubiquitous applications that has the ability to interact with sensors and actuators that penetrate our environments in a transparent way. In this research, we are particularly interested in the ubiquitous applications deployed in smart homes. Service-oriented platforms are widely used to run these applications. These platforms present the ability to dynamically provide services, according to the applications needs. These services can be simple, representing a device, or more abstract, providing higher level functions. Ubiquitous applications share these services to achieve different and sometimes conflicting goals. These conflicts need to be managed in order to keep the houses in consistent states. This thesis defines an approach for managing conflicts between home applications in a service-oriented platform. This approach is optimistic and addresses conflicts at runtime via a causal model of the environment, called context. This approach focuses mainly on three axes: the first axis focuses on the description of conflicts in a context modeled as service-oriented components; the second axis consist in the extension of the programming model of ubiquitous applications by locking/unlocking mechanisms; the third axis focuses on conflict management using a three-phase approach (prevention, detection and resolution). The proposed solution was developed as iPOJO components and integrated into the ubiquitous platform iCasa