Bibliographies thématiques / Compostion and compatibility of web services

Littérature scientifique sur le sujet « Compostion and compatibility of web services »

Auteur : Grafiati

Publié le 4 mai 2024

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Compostion and compatibility of web services ».

À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.

Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.

Articles de revues sur le sujet "Compostion and compatibility of web services"

Guermouche, Nawal, et Claude Godart. « Characterizing Compatibility of Timed Choreography ». International Journal of Web Services Research 8, n^o 2 (avril 2011) : 1–28. http://dx.doi.org/10.4018/jwsr.2011040101.

Texte intégral

Résumé :

Web services are the main pillar of the Service Oriented Computing (SOC) paradigm which enables application integration within and across business organizations. One of the most important features of Web services is the idea of choreography which captures collaborative processes involving multiple services. In this context, compatibility analysis of choreography is a central point to investigate. The compatibility of a choreography means the capability of a set of Web services to interact by exchanging messages in a safe way. Whether a set of services are compatible depends not only on their sequences of messages but also on quantitative properties like timed properties. In this paper, the authors investigate a model checking based approach that checks the compatibility of a choreography in which Web services support asynchronous timed communications.

Styles APA, Harvard, Vancouver, ISO, etc.

CHAE, HEUNG SEOK, JOON-SANG LEE et JUNGHO BAE. « AN APPROACH TO CHECKING BEHAVIORAL COMPATIBILITY BETWEEN WEB SERVICES ». International Journal of Software Engineering and Knowledge Engineering 18, n^o 02 (mars 2008) : 223–41. http://dx.doi.org/10.1142/s0218194008003647.

Texte intégral

Résumé :

This paper proposes an approach to checking behavioral compatibility between Web services. If Web service B can be used in replacement of Web service A in such a way that the replacement is transparent to clients, Web service B is compatible to Web service A. We use state machines with guarded transitions to specify behaviors of Web services. To check compatibility between two Web services, we propose an extended version of the conventional methods rule, which has been used in object-oriented paradigm. To support our approach, we have implemented a tool. First, the tool constructs a state machine for a Web service whose behavior is expressed in WSDL and WSCI. Then, the tool can verify compatibility between Web services by using the extended methods rule.

Styles APA, Harvard, Vancouver, ISO, etc.

Guermouche, Nawal, Olivier Perrin et Christophe Ringeissen. « Timed Specification For Web Services Compatibility Analysis ». Electronic Notes in Theoretical Computer Science 200, n^o 3 (mai 2008) : 155–70. http://dx.doi.org/10.1016/j.entcs.2008.04.098.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Seridi Bouchelaghem, Hassina, et Mohamed Said Mehdi Mendjel. « Decidability of compatibility for data-centric web services ». International Journal of Computer Aided Engineering and Technology 14, n^o 4 (2021) : 530. http://dx.doi.org/10.1504/ijcaet.2021.10037112.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Mendjel, Mohamed Said Mehdi, et Hassina Seridi Bouchelaghem. « Decidability of compatibility for data-centric web services ». International Journal of Computer Aided Engineering and Technology 14, n^o 4 (2021) : 530. http://dx.doi.org/10.1504/ijcaet.2021.115354.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Shi, Yuliang. « Compatibility and Substitutability Analysis of Web Services Composition ». Journal of Computer Research and Development 44, n^o 11 (2007) : 1955. http://dx.doi.org/10.1360/crad20071120.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Klai, Kais, Samir Tata et Hanen Ochi. « Generic and Specific Compatibility Criteria for Web Service Composition ». International Journal of Web Services Research 9, n^o 4 (octobre 2012) : 45–68. http://dx.doi.org/10.4018/jwsr.2012100103.

Texte intégral

Résumé :

For automatically composing Web services in a correct manner, information about their behaviors (an abstract model) has to be published in a repository. This abstract model must be sufficient to decide whether two, or more, services are compatible (the composition is possible) is possible without including any additional information that can be used to disclose the privacy of these services. The compatibility between two Web services can be based either on some generic properties (e.g. deadlock freeness of the composite Web service) or on a specific property expressed with a formal logic. In this paper, the authors address this problem by considering these two kinds of compatibility criteria. The first criterion is defined by different variants of the well-known soundness property on open workflow nets. These properties guarantee the absence of livelocks, deadlocks and other anomalies that can be formulated without domain knowledge. The second criterion is defined by the designer formally by using the Linear Temporal Logic. The proposed approach addresses the automatic abstraction of Web services and the checking of their compatibility using their abstract models only. To abstract Web services, the authors use the symbolic observation graph (SOG) approach that preserves necessary information for service composition and hides private information. The authors show how the SOG can be adapted and used so that the verification of generic and specific compatibility criteria can be performed on the composition of the abstract models of Web services instead of the original composite service.

Styles APA, Harvard, Vancouver, ISO, etc.

GANGADHARAN, G. R., VINCENZO D'ANDREA et MICHAEL WEISS. « SERVICE LICENSING COMPOSITION AND COMPATIBILITY ANALYSIS ». International Journal of Cooperative Information Systems 17, n^o 03 (septembre 2008) : 301–17. http://dx.doi.org/10.1142/s0218843008001841.

Texte intégral

Résumé :

Services enable the transformation of the World Wide Web as distributed interoperable systems interacting beyond organizational boundaries. Service licensing enables broader usage of services and a means for designing business strategies and relationships. A service license describes the terms and conditions for the use and access of the service in a machine interpretable way that services could be able to understand. Service-based applications are largely grounded on composition of independent services. In that scenario, license compatibility is a complex issue, requiring careful attention before attempting to merge licenses. The permissions and the prohibitions imposed by the licenses of services would deeply impact the composition. Thus, service licensing requires a comprehensive analysis on composition of these rights and requirements conforming to the nature of operations performed and compensation of services used in composition. In this paper, we analyze the compatibility of service license by describing a matchmaking algorithm. Further, we illustrate the composability of service licenses by creating a composite service license that is compatible with the licenses being composed.

Styles APA, Harvard, Vancouver, ISO, etc.

Axelrod, Amittai. « Box : Natural Language Processing Research Using Amazon Web Services ». Prague Bulletin of Mathematical Linguistics 104, n^o 1 (1 octobre 2015) : 27–38. http://dx.doi.org/10.1515/pralin-2015-0011.

Texte intégral

Résumé :

Abstract We present a publicly-available state-of-the-art research and development platform for Machine Translation and Natural Language Processing that runs on the Amazon Elastic Compute Cloud. This provides a standardized research environment for all users, and enables perfect reproducibility and compatibility. Box also enables users to use their hardware budget to avoid the management and logistical overhead of maintaining a research lab, yet still participate in global research community with the same state-of-the-art tools.

Styles APA, Harvard, Vancouver, ISO, etc.

Sbaï, Zohra, et Rawand Guerfel. « CTL Model Checking of Web Services Composition based on Open Workflow Nets Modeling ». International Journal of Service Science, Management, Engineering, and Technology 7, n^o 1 (janvier 2016) : 27–42. http://dx.doi.org/10.4018/ijssmet.2016010102.

Texte intégral

Résumé :

Web services composition (WSC) has an enormous potential for the organizations in the B2B area. In fact, different services collaborate through the exchange of messages to implement complex business processes. BPEL is one of the most used languages to develop such cooperation. However, it has been proved that its use is complex and can require some expertise in XML syntax. Even its graphical representation is not evident to handle. This is why the authors propose to model Web services using oWF-nets, a subclass of Petri nets, and then, to translate them to BPEL. Whilst, a WSC is with added value only if the involved services are compatible. So in this context, across the translation proposed the researchers develop a verification layer of the WSC compatibility. Hence, they propose a framework named D&A4WSC which allows to model the WSC by oWF-nets, to check their compatibility with the model checker NuSMV and to translate them if they are compatible in BPEL processes using the oWFN2BPEL compiler. D&A4WSC permits, furthermore, to formally analyze a BPEL process.

Styles APA, Harvard, Vancouver, ISO, etc.

Plus de sources

Thèses sur le sujet "Compostion and compatibility of web services"

Serrai, Walid. « Évaluation de performances de solutions pour la découverte et la composition des services web ». Electronic Thesis or Diss., Paris Est, 2020. http://www.theses.fr/2020PESC0032.

Texte intégral

Résumé :

Les systèmes logiciels accessibles via le web sont construits en utilisant des services web existants et distribués qui s'interagissent par envoi de messages. Le service web expose ses fonctionnalités à travers une interface décrite dans un format manipulable par ordinateur. Les autres systèmes interagissent, sans intervention humaine, avec le service web selon une procédure prescrite en utilisant les messages d’un protocole.Les services web peuvent être déployés sur des plateformes cloud. Ce type de déploiement occasionne un grand nombre de services à gérer au niveau de mêmes répertoires soulevant différents problèmes : Comment gérer efficacement ces services afin de faciliter leur découverte pour une éventuelle composition. En effet, étant donné un répertoire, comment définir une architecture voire une structure de données permettant d’optimiser la découverte des services, leur composition et leur gestion.La découverte de services consiste à trouver un ou plusieurs services satisfaisant les critères du client. La composition de services consiste quant à elle à trouver un nombre de services pouvant être exécutés selon un schéma et satisfaisant les contraintes du client. Comme le nombre de services augmente sans cesse, la demande pour la conception d’architectures permettant d’offrir non seulement un service de qualité mais aussi un temps de réponse rapide pour la découverte, la sélection et la composition, est de plus en plus intense. Ces architectures doivent de plus être facilement gérables et maintenables dans le temps. L’exploration de communautés et de structures d’index corrélée avec l’utilisation de mesures multi critères pourrait offrir une solution efficace à condition de bien choisir les structures de données, les types de mesures, et les techniques appropriés. Dans cette thèse, des solutions sont proposées pour la découverte, la sélection de services et leur composition de telle façon à optimiser la recherche en termes de temps de réponse et de pertinence des résultats. L’évaluation des performances des solutions proposées est conduite en utilisant des plateformes de simulations
Software systems accessible via the web are built using existing and distributed web services that interact by sending messages. The web service exposes its functionalities through an interface described in a computer-readable format. Other systems interact, without human intervention, with the web service according to a prescribed procedure using the messages of a protocol. Web services can be deployed on cloud platforms. This type of deployment causes a large number of services to be managed at the level of the same directories raising different problems: How to manage these services effectively to facilitate their discovery for a possible composition. Indeed, given a directory, how to define an architecture or even a data structure to optimize the discovery of services, their composition, and their management. Service discovery involves finding one or more services that meet the client’s criteria. The service composition consists of finding many services that can be executed according to a scheme and that satisfy the client’s constraints. As the number of services is constantly increasing, the demand for the design of architectures to provide not only quality service but also rapid responsetime for discovery, selection, and composition, is getting more intense. These architectures must also be easily manageable and maintainable over time. The exploration of communities and index structures correlated with the use of multi-criteria measures could offer an effective solution provided that the data structures, the types of measures, are chosen correctly, and the appropriate techniques. In this thesis, solutions are proposed for the discovery, the selection of services and their composition in such a way as to optimizethe search in terms of response time and the relevance of the results. The performance evaluation of the proposed solutions is carried out using simulation platforms

Styles APA, Harvard, Vancouver, ISO, etc.

Eslamichalandar, Maryam. « Web Service Composition Compatibility : adaptation in the presence of Business Protocol Evolution ». Thesis, Paris, CNAM, 2013. http://www.theses.fr/2013CNAM0998/document.

Texte intégral

Résumé :

Avec l’utilisation croissante d’architectures logicielles indépendantes de la plate-forme et du langage dans le paradigme de l’architecture orientée services (SOA), la technologie de services web permet l’interopérabilité dynamique et flexible des processus métiers aussi bien au niveau intra qu’inter-organisationnel. Bien que la normalisation des services web permet de réduire l’hétérogénéité et rend plus facile leur interopérabilité, il y a toujours besoin de vérifier leur compatibilité en particulier dans le contexte inter-entreprises. Deux services sont compatibles si une collaboration entre eux est accomplie avec succès et que chacun puisse atteindre ses résultats attendus (états finaux). L’approche typique devant permettre à des services incompatibles d’interagir correctement est l’adaptation du service. L’adaptation consiste dans ce contexte à faire face principalement aux discordances relevées au niveau des interfaces de service (incompatibilités entre signatures de services) ainsi qu’aux discordances qui ont lieu au niveau des protocoles métiers (incompatibilité dans l’ordre des messages échangés entre services). On distingue deux principales techniques d’adaptation: modification de service ou synthèse d’un composant adaptateur. L’adaptation en termes de modification de service exige l’application de certaines mesures d’optimisation pour supporter les spécifications du service partenaire. Dans le cas où l’adaptation traite de la création d’un adaptateur, un composant autonome modère les interactions entre les deux services de sorte que l’interopérabilité soit obtenue. En d’autres termes, l’adaptateur compense les différences entre interfaces de services par conversion de données (c’est-à-dire par transformation de message) et celles entre protocoles métiers en réorganisant les échanges de messages ou en générant un message manquant.Nous nous concentrons ici sur le problème de la reconfiguration dynamique de l’adaptateur en presence d’évolution de protocols métiers. Après avoir traité de la vérification d’un adaptateur en exploitant des techniques structurelles existantes développées dans le cadre de la théorie des réseaux de Petri, nous établissons une identification des patrons de mise à jour d’adaptateurs ainsi que la mise en correspondance de ces patrons avec les différents types d’évolutions possibles au niveau des protocoles métiers des services web. Ce travail a abouti à la proposition d’un algorithme permettant, d’une part de détecter les patrons d’évolution adéquats suite à une évolution d’un des protocoles métier des services partenaires et, d’autre part et sous certaines conditions, la mise à jour à la volée de la specification du nouvel adaptateur obtenu ainsi que sa verification.Enfin, les expérimentations réalisées sur un prototype montrent les avantages en termes de temps et de coût de l'approche dynamique proposée par rapport aux méthodes statiques conduisant systématiquement à la regeneration complète de l’adaptateur
The advent of Web service technologies in the paradigm of Service oriented architecture (SOA) enables dynamic and flexible interoperation of distributed business processes within and across organization boundaries. One of the challenges in working with heterogeneous and autonomous Web services is the need to ensure their interoperability and compatibility. The typical approach for enabling incompatible services to interact is service adaptation. The need for adaptation in Web services comes from the heterogeneity at the levels of service interface and business protocol. The service interface incompatibilities include service signature mismatches (e.g., message and operation name, number; the type of input/output message parameters of operations; and the parameter value constraint). The mismatches at the business protocol (or service behavior) level arise from the order constraints that services impose on messages exchanges (e.g., deadlock where both partner services are mutually waiting to receive some message from the other, and unspecified reception in which one service sends a message while the partner is not expecting it). In service interaction through adaptation, an adapter mediates the interactions between two services with potentially different interfaces and business protocols such that the interoperability is achieved, i.e., adapter compensates for the differences between their interfaces by data mappings, and between their business protocols by rearranging the messages exchanges or generating a missing message. In this dissertation, we focus on how to cope with the dynamic evolution of business protocol P of a given service (i.e., P is changed to P') that is adapted by an adapter in the context of service interaction. Web service specifications constantly evolve. For variety of reasons, service providers may change their business protocols. Therefore, it is important to understand the potential impacts of the changes arising from the evolution of service business protocol on the adapter.We present an approach to automatically detect the effects of business protocols evolution on the adapter and, if possible, to suggest fixes to update the specification of adapter on-the-fly. Besides, we propose a technique to verify the correctness of new adapter which is dynamically re-configured. Finally, we describe a prototype tool where experimentations show the benefits of proposed approach in terms of time and cost compared to the static methods aiming for complete regeneration of adapter or manual inspection and adaption of the adapter with respect to changes in the business protocols

Styles APA, Harvard, Vancouver, ISO, etc.

Ponge, Julien Nicolas Computer Science &amp Engineering Faculty of Engineering UNSW. « Model based analysis of time-aware web services interactions ». Publisher:University of New South Wales. Computer Science & ; Engineering, 2009. http://handle.unsw.edu.au/1959.4/43525.

Texte intégral

Résumé :

Web services are increasingly gaining acceptance as a framework for facilitating application-to-application interactions within and across enterprises. It is commonly accepted that a service description should include not only the interface, but also the business protocol supported by the service. The present work focuses on the formalization of the important category of protocols that include time-related constraints (called timed protocols), and the impact of time on compatibility and replaceability analysis. We formalized the following timing constraints: CInvoke constraints define time windows of availability while MInvoke constraints define expirations deadlines. We extended techniques for compatibility and replaceability analysis between timed protocols by using a semantic-preserving mapping between timed protocols and timed automata, leading to the novel class of protocol timed automata (PTA). Specifically, PTA exhibit silent transitions that cannot be removed in general, yet they are closed under complementation, making every type of compatibility or replaceability analysis decidable. Finally, we implemented our approach in the context of a larger project called ServiceMosaic, a model-driven framework for web service life-cycle management.

Styles APA, Harvard, Vancouver, ISO, etc.

Elabd, Emad. « Compliance of Web services over a high level specification ». Thesis, Lyon 1, 2011. http://www.theses.fr/2011LYO10122/document.

Texte intégral

Résumé :

Actuellement, la technologie des services Web évolue rapidement, en étant soutenue par les grands acteurs du domaine des systèmes d'information. Les applications basés sur services Web sont faiblement couplées et utilisables de façon automatique via l'utilisation d'un ensemble de normes basées sur XML. Hormis la description syntaxique des messages, il est nécessaire d’avoir une description sémantique du comportement des services. En effet, lors de la conception d'un service ou lors d'une composition de services, il est important de vérifier la conformité avec un cahier des charges. L’enrichissement des descriptions des services par l’inclusion de leurs comportements est de plus en plus important. Ce comportement peut être décrit par des protocoles métier représentant les séquences possibles d'échanges de messages. Les services Web utilisent des politiques de contrôle d'accès (ACP) pour restreindre l'accès à des consommateurs autorisés. Ces politiques doivent faire partie de la description du service. Dans cette thèse, l'analyse d'interopérabilité en termes de contrôle d’accès après la formalisation des services Web annotés avec les politiques de contrôle d’accès est réalisée. Nous présentons une approche pour intégrer les outils de vérification dans l'architecture de contrôle d’accès de façon à garantir une interaction sans erreurs. Les politiques et les crédits sont présentés comme une ontologie afin de bénéficier de la flexibilité offerte par subsomption sur des concepts. La chorégraphie des services Web est utilisée dans la phase de conception d’applications pair à pair complexes dans lesquelles chaque pair peut être implémenté par un service Web. Par conséquent, la sélection des services Web pour l’implémentation de chorégraphie en utilisant l’approche de vérification de compatibilité avec contrôle d'accès est l'un des objectifs de notre recherche. Dans ce travail, les modèles de protocole métier du service Web sont étendus en ajoutant des informations au message sur chaque transition du service dans lequel ce message sera envoyé ou reçu. Nous définissons et vérifions la compatibilité des services Web afin de voir si (et comment) plusieurs services peuvent avoir des interactions en fonction de leurs protocoles. Cette approche aidera les concepteurs à choisir des services Web de manière simple et à vérifier s’ils peuvent mettre en œuvre la chorégraphie nécessaire en vérifiant la compatibilité avec notre approche
Currently, Web services technology is rapidly move forward supported by major players in the field of information systems. Web services applications are loosely coupled and usable in an automatic way via the use of a set of standards based on XML. Beside the syntactic description of messages, there is a need for the semantic description of the behavior of services. Indeed, whether in the design of a service or composition of services, it is important to check compliance with a set of specifications. Enriching services descriptions by including their behaviors is becoming more and more important. This behavior can be described by business protocols representing the possible sequences of message exchanges. Web services use access control policies (ACP) to restrict the access to authorized consumer. These policies should be a part of the service description. In this thesis, the interoperability analysis in terms of AC after the formalization of the Web services annotated with the access control (AC) is performed. In addition, we present an approach for embedding the checking tools in the AC enforcement architecture to guarantee the errors free interaction. The ACP and the credentials are presented as ontology in order to benefit from the flexibility offered by subsumption on concepts. Web services choreography is used in the design phase of complex peer-to-peer applications in which each peer can be implemented by a Web service. Therefore, selecting Web services for choreography implementation using the compatibility checking approach with access control is one of the objectives of our research. In this work, the business protocol models of the Web service are extended by adding information to the message on each transition about the service in which this message will sent to or received from. We define and verify Web service compatibility in order to see if (and how) several services can have interactions based on their protocols. This approach will help the designers to select Web services in an easy way and verify if they can implement the required choreography or not by checking the compatibly using our approach

Styles APA, Harvard, Vancouver, ISO, etc.

Chapitres de livres sur le sujet "Compostion and compatibility of web services"

Zhou, Zhangbing, Sami Bhiri, Walid Gaaloul, Lei Shu et Manfred Hauswirth. « Behavioral Compatibility of Web Services ». Dans On the Move to Meaningful Internet Systems : OTM 2008 Workshops, 27–28. Berlin, Heidelberg : Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-88875-8_13.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Klai, Kais, et Hanen Ochi. « Checking Compatibility of Web Services Behaviorally ». Dans Fundamentals of Software Engineering, 267–82. Berlin, Heidelberg : Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40213-5_17.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Masson, Benoît, Loïc Hélouët et Albert Benveniste. « Compatibility of Data-Centric Web Services ». Dans Lecture Notes in Computer Science, 32–47. Berlin, Heidelberg : Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-29834-9_4.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

De Backer, Manu. « On the Verification of Web Services Compatibility : A Petri Net Approach ». Dans On the Move to Meaningful Internet Systems 2004 : OTM 2004 Workshops, 810–21. Berlin, Heidelberg : Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-30470-8_95.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Fujinami, Hiroya, et Ichiro Hasuo. « Efficient Matching with Memoization for Regexes with Look-around and Atomic Grouping ». Dans Programming Languages and Systems, 90–118. Cham : Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-57267-8_4.

Texte intégral

Résumé :

AbstractRegular expression (regex) matching is fundamental in many applications, especially in web services. However, matching by backtracking—preferred by most real-world implementations for its practical performance and backward compatibility—can suffer from so-called catastrophic backtracking, which makes the number of backtracking super-linear and leads to the well-known ReDoS vulnerability. Inspired by a recent algorithm by Davis et al. that runs in linear time for (non-extended) regexes, we study efficient backtracking matching for regexes with two common extensions, namely look-around and atomic grouping. We present linear-time backtracking matching algorithms for these extended regexes. Their efficiency relies on memoization, much like the one by Davis et al.; we also strive for smaller memoization tables by carefully trimming their range. Our experiments—we used some real-world regexes with the aforementioned extensions—confirm the performance advantage of our algorithms.

Styles APA, Harvard, Vancouver, ISO, etc.

T.M., Kalpana, et S. Gopalakrishnan. « Green Economic and Secure Libraries on Cloud ». Dans Web-Based Services, 945–63. IGI Global, 2016. http://dx.doi.org/10.4018/978-1-4666-9466-8.ch042.

Texte intégral

Résumé :

Libraries are considered storehouses of knowledge in the form of books and other resources. Introduction of computers and information and communication technology paved the way for resources in electronic format. Hence, storage of library resources is categorized in two ways namely physical storage and electronic storage. The advantages of e-format are multiple users, increasing availability of free resource, sharing, storing, accessibility, retrieval, flexibility, compatibility, and so forth. As an evolutionary change in adapting to the electronic dissemination, electronic data can be stored virtually, externally, and retrieved in cloud computing. For cloud storage users, service providers and tools are considered as major components of the service architecture. Tool connects cloud storage server and thin client platform through the Internet. Green computing and green production technology are utilizing minimum resources and maximum production in an eco-friendly way. Data warehousing is collection of data, categorizing, filtering, eliminating replica data, format compatibility; security of data retrieval gives economic storage of files. Warehoused data with extract, transform, and load (ETL) tools are retrieved by data mining. This chapter discusses various architecture, service providers, models of service, certifications, billing models, security issues, solutions to security issues and eco-friendly economic storage.

Styles APA, Harvard, Vancouver, ISO, etc.

Kasemsap, Kijpokin. « The Role of Cloud Computing Adoption in Global Business ». Dans Web-Based Services, 1611–40. IGI Global, 2016. http://dx.doi.org/10.4018/978-1-4666-9466-8.ch071.

Texte intégral

Résumé :

This chapter introduces the role of cloud computing adoption in global business, thus explaining the application overview of cloud computing, the adoption of Information and Communication Technology (ICT), and the Technology, Organization, and Environment (TOE) framework related to technological context, organizational context, and environmental context. In addition, technological context includes the relative advantage, uncertainty, compatibility, and trialability. Organizational context includes the size, top management support, innovation, and prior technology experience. Environmental context includes competitive pressure, industry, market scope, and supplier computing support. Adopting cloud computing in global business will significantly enhance organizational performance and achieve business goals in the digital age.

Styles APA, Harvard, Vancouver, ISO, etc.

Truong, Hong-Linh, G. R. Gangadharan, Marco Comerio, Vincenzo D’Andrea, Flavio De Paoli et Schahram Dustdar. « Reconciliation of Contractual Concerns of Web Services ». Dans Handbook of Research on Service-Oriented Systems and Non-Functional Properties, 298–321. IGI Global, 2012. http://dx.doi.org/10.4018/978-1-61350-432-1.ch013.

Texte intégral

Résumé :

There exist many works addressing service contracts fully or partially. They often mention the same notion with different languages and terminologies. This causes several problems in the specification, negotiation, and monitoring of contractual concerns in service-oriented environments, in particular in the Internet-scale and cloud computing environments. With the objective of reconciling contractual concerns, in this chapter, we will analyze the strengths and weaknesses of existing languages and standards for describing service contracts. We will present our research efforts for dealing with multiple contract specifications and semantics mismatching when identifying, specifying, negotiating, and establishing service contracts for service composition in the Internet and cloud computing environments. We will explore the issues of service contracts compatibility and present our solutions. Furthermore, we will analyze crucial points in monitoring and enforcement emerging contractual terms for Internet-based and cloud-based services that so far have not been in the research focus.

Styles APA, Harvard, Vancouver, ISO, etc.

Sbai, Zohra. « Applying Formal Methods to Verify Web Services Orchestration and Choreography ». Dans Multidisciplinary Approaches to Service-Oriented Engineering, 221–43. IGI Global, 2018. http://dx.doi.org/10.4018/978-1-5225-5951-1.ch011.

Texte intégral

Résumé :

The contribution presented in this chapter is to provide a formal framework ensuring the model checking based verification of the Composition of Web Services (WSC). For this, the authors propose first to model the web services composition by an interaction of open workflow nets: a special class of Petri nets. Then, they detail how to check behavioral properties specified in temporal logic using the model checker NuSMV. A WSC is with added value only if the involved services are compatible. So, in this context, across the translation proposed, the authors develop a verification layer of the WSC compatibility. This work is developed in a framework named D&A4WSC which allows to model the WSC by oWF-nets and to check their compatibility by invoking the model checker NuSMV. Furthermore, the authors extended D&A4WSC so that it permits a web services choreography described in a WS-CDL specification. For this they developed a translation from WS-CDL to a composition of oWF-nets, so that one can verify this choreography by the aforementioned approach.

Styles APA, Harvard, Vancouver, ISO, etc.

Li, Shing-Han, Shi-Ming Huang, David C. Yen et Cheng-Chun Chang. « Migrating Legacy Systems to Web Services Architecture ». Dans Advances in Database Research, 282–306. IGI Global, 2009. http://dx.doi.org/10.4018/978-1-60566-172-8.ch015.

Texte intégral

Résumé :

The lifecycle of information system (IS) became relatively shorter compared with earlier days as a result of information technology (IT) revolution and advancement. It is tremendous difficult for an old architecture to catch up with the dynamic changes occurred in the market. To match with the fast pace of challenges, enterprises have to use the technology/concept of information system reengineering (ISR) to preserve the value of their legacy systems. Consequently, web services-based systems with Service- Oriented Architecture (SOA) are widely accepted as one of the possible solutions for an enterprise information system to retain/keep its old legacy systems. Using this aforementioned architecture, enterprise information systems tend to be more flexible and agile to fit into the capricious business environment, and thus, be easier to integrate with additional applications. In other words, it is indeed an essential requirement for an enterprise to establish such a system to further improve corporation’s productivity and operational efficiency. In specific, the requirement is simply to migrate the legacy systems to be SOA architecture. However, it is a trade-off between the value of legacy systems and the compatibility with SOA to decide whether this alternative is a feasible one. The purpose of this manuscript is to propose a migrating solution to convert the architecture of the legacy system into SOA with a systematic approach. This proposed methodology is different from the traditional object-oriented approaches, which migrates the system to have a services-oriented focus without incorporating general objected-oriented (OO) or functional oriented feature. In this study, a case study and information capacity theory were employed to verify/validate that this approach is indeed an effective and a practicable one.

Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Compostion and compatibility of web services"

Lavarack, Tristan, et Marijke Coetzee. « Considering web services security policy compatibility ». Dans 2010 Information Security for South Africa (ISSA). IEEE, 2010. http://dx.doi.org/10.1109/issa.2010.5588269.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Sheng, Quan Z., Jian Yu, Zakaria Maamar, Wei Jiang et Xitong Li. « Compatibility Checking of Heterogeneous Web Service Policies Using VDM++ ». Dans 2009 IEEE Congress on Services (SERVICES). IEEE, 2009. http://dx.doi.org/10.1109/services-i.2009.87.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Yang, Yanping, Mingan Zhang, Xiqing Ye, Houwu Chen et Xinke Lian. « Protocol Compatibility Verification for Web Services Interaction ». Dans 2009 Fifth International Conference on Semantics, Knowledge and Grid. IEEE, 2009. http://dx.doi.org/10.1109/skg.2009.86.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Klai, Kais, et Hanen Ochi. « Checking Compatibility of Web Services Using SOGs ». Dans 2012 IEEE 19th International Conference on Web Services (ICWS). IEEE, 2012. http://dx.doi.org/10.1109/icws.2012.113.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Becker, Karin, Andre Lopes, Dejan S. Milojicic, Jim Pruyne et Sharad Singhal. « Automatically Determining Compatibility of Evolving Services ». Dans 2008 IEEE International Conference on Web Services (ICWS). IEEE, 2008. http://dx.doi.org/10.1109/icws.2008.43.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Foster, H., S. Uchitel, J. Magee et J. Kramer. « Compatibility verification for Web service choreography ». Dans Proceedings. IEEE International Conference on Web Services, 2004. IEEE, 2004. http://dx.doi.org/10.1109/icws.2004.1314806.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Yan, Yuhong, Ali Aït-Bachir, Min Chen et Kai Zhang. « Compatibility and Reparation of Web Service Processes ». Dans 2010 IEEE International Conference on Web Services (ICWS). IEEE, 2010. http://dx.doi.org/10.1109/icws.2010.41.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Borovskiy, Vadym, Juergen Mueller, Matthieu-Patrick Schapranow et Alexander Zeier. « Ensuring service backwards compatibility with Generic Web Services ». Dans 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems, PESOS. IEEE, 2009. http://dx.doi.org/10.1109/pesos.2009.5068827.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Klai, Kais, Hanen Ochi et Samir Tata. « Formal Abstraction and Compatibility Checking of Web Services ». Dans 2013 IEEE International Conference on Web Services (ICWS). IEEE, 2013. http://dx.doi.org/10.1109/icws.2013.31.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Maamar, Zakaria, Quan Z. Sheng, Hamdi Yahyaoui, Djamal Benslimane et Fenglin Liu. « On checking the compatibility of web services' policies ». Dans Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007). IEEE, 2007. http://dx.doi.org/10.1109/pdcat.2007.39.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!