Relevant bibliographies by topics / Compostion and compatibility of web services

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Book chapters
  4. Conference papers

Academic literature on the topic 'Compostion and compatibility of web services'

Author: Grafiati
Published: 4 May 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Compostion and compatibility of web services.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Compostion and compatibility of web services"

1

Guermouche, Nawal, and Claude Godart. "Characterizing Compatibility of Timed Choreography." International Journal of Web Services Research 8, no. 2 (April 2011): 1–28. http://dx.doi.org/10.4018/jwsr.2011040101.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
3

Guermouche, Nawal, Olivier Perrin, and Christophe Ringeissen. "Timed Specification For Web Services Compatibility Analysis." Electronic Notes in Theoretical Computer Science 200, no. 3 (May 2008): 155–70. http://dx.doi.org/10.1016/j.entcs.2008.04.098.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Klai, Kais, Samir Tata, and Hanen Ochi. "Generic and Specific Compatibility Criteria for Web Service Composition." International Journal of Web Services Research 9, no. 4 (October 2012): 45–68. http://dx.doi.org/10.4018/jwsr.2012100103.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
8

GANGADHARAN, G. R., VINCENZO D'ANDREA, and MICHAEL WEISS. "SERVICE LICENSING COMPOSITION AND COMPATIBILITY ANALYSIS." International Journal of Cooperative Information Systems 17, no. 03 (September 2008): 301–17. http://dx.doi.org/10.1142/s0218843008001841.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
9

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
10

Sbaï, Zohra, and 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, no. 1 (January 2016): 27–42. http://dx.doi.org/10.4018/ijssmet.2016010102.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Compostion and compatibility of web services"

1

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.

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
Abstract:
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
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Compostion and compatibility of web services"

1

Zhou, Zhangbing, Sami Bhiri, Walid Gaaloul, Lei Shu, and Manfred Hauswirth. "Behavioral Compatibility of Web Services." In 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Masson, Benoît, Loïc Hélouët, and Albert Benveniste. "Compatibility of Data-Centric Web Services." In 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

De Backer, Manu. "On the Verification of Web Services Compatibility: A Petri Net Approach." In 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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
8

Truong, Hong-Linh, G. R. Gangadharan, Marco Comerio, Vincenzo D’Andrea, Flavio De Paoli, and Schahram Dustdar. "Reconciliation of Contractual Concerns of Web Services." In 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.

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
9

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles
10

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

Full text
Abstract:
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.
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Compostion and compatibility of web services"

1

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Compostion and compatibility of web services' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography