发布求助
文献互助 智能选刊 最新文献

2006 IEEE International Conference on Web Services (ICWS'06)最新文献

筛选
英文 中文
Fortified Web Services Contracts for Trusted Components 可信组件的强化Web服务契约
2006 IEEE International Conference on Web Services (ICWS'06) Pub Date : 2006-09-18 DOI: 10.1109/ICWS.2006.66
Avi Jencmen, A. Yehudai
{"title":"Fortified Web Services Contracts for Trusted Components","authors":"Avi Jencmen, A. Yehudai","doi":"10.1109/ICWS.2006.66","DOIUrl":"https://doi.org/10.1109/ICWS.2006.66","url":null,"abstract":"Web services provide a standard means of interoperating between different software applications, running on a variety of platforms and/or frameworks. While the concepts of Web services are aimed at providing a standard means to support interoperable machine-to-machine interaction over a network, they do not solve the problem of trust between service requesters and providers. A trusted component is defined as a reusable software element possessing specified and guaranteed property qualities. The highly reusable nature of a Web service emphasizes the need for a \"trust ensuring\" mechanism between the requester and the provider of the service. The focus of this paper is to suggest a fortified Web services architecture introducing the concept of contracts to increase the level of trust between the requester and the provider of the requested service. In order to achieve this goal a new language is introduced into the fortified Web services architecture: WS-Contract. WS-Contract is a machine-processable specification of the Web service semantics, formally supporting the different levels of contract information. It defines the pre-and post conditions of the Web services interface, the synchronization policy of the service and the QoS parameters that should be maintained between the requester agent and the provider agent. WS-Contract relies, wherever possible, on existing Web services standards to build the necessary \"trust ensuring\" mechanism for Web services","PeriodicalId":408032,"journal":{"name":"2006 IEEE International Conference on Web Services (ICWS'06)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130051028","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
A Formal Model forWeb Service Choreography Description Language (WS-CDL) web服务编排描述语言(WS-CDL)的正式模型
2006 IEEE International Conference on Web Services (ICWS'06) Pub Date : 2006-09-18 DOI: 10.1109/ICWS.2006.3
Hongli Yang, Xiangpeng Zhao, Z. Qiu, G. Pu, Shuling Wang
{"title":"A Formal Model forWeb Service Choreography Description Language (WS-CDL)","authors":"Hongli Yang, Xiangpeng Zhao, Z. Qiu, G. Pu, Shuling Wang","doi":"10.1109/ICWS.2006.3","DOIUrl":"https://doi.org/10.1109/ICWS.2006.3","url":null,"abstract":"We propose a language CDL as a formal model of simplified WS-CDL. The operational semantics of CDL is given, and static validation and verification of choreographies is studied. Some properties of the proposed model are verified using the SPIN model-checker, which illustrates the potential usage and benefits of the formal model","PeriodicalId":408032,"journal":{"name":"2006 IEEE International Conference on Web Services (ICWS'06)","volume":"569 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116204409","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 89
Process Guided Service Composition in Building SoA Solutions:A Data Driven Approach 构建SoA解决方案中的过程导向服务组合:数据驱动方法
2006 IEEE International Conference on Web Services (ICWS'06) Pub Date : 2006-09-18 DOI: 10.1109/ICWS.2006.104
Wei Tan, Zhong Tian, Fangyan Rao, Li Wang, Ru Fang
{"title":"Process Guided Service Composition in Building SoA Solutions:A Data Driven Approach","authors":"Wei Tan, Zhong Tian, Fangyan Rao, Li Wang, Ru Fang","doi":"10.1109/ICWS.2006.104","DOIUrl":"https://doi.org/10.1109/ICWS.2006.104","url":null,"abstract":"Solution design has been more of an art than an engineering discipline. Lots of researchers and practitioners have proposed and exercised different kinds of approaches with varied success. Most of these methods seem to have focused on building new solutions from scratch. However, enterprise solutions today are mostly built on top of an existing IT infrastructure. The notion of SoA is trying to pave a way to integrate heterogeneous components together to meet new business needs. When a new requirement is given to a system developer in the form of business processes, it would be ideal if she/he can make the best of existing services for many reasons. In this paper we propose a data driven approach to provide service composition guidance to implement the given requirement. Based on the relations among business domain data and service domain data, we can generate additional data mediations according to three composition rules. With these data relations and composition rules, we give a formal approach to devise choreography of services from current service portfolio, plus additional data mediation artifacts to realize a given requirement. Our work can be seen as an effort to bridge the gap between business and service domain","PeriodicalId":408032,"journal":{"name":"2006 IEEE International Conference on Web Services (ICWS'06)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126771891","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
ComposingWeb Services with Nondeterministic Behavior 组合具有不确定行为的web服务
2006 IEEE International Conference on Web Services (ICWS'06) Pub Date : 2006-09-18 DOI: 10.1109/ICWS.2006.45
D. Berardi, Giuseppe De Giacomo, Massimo Mecella, Diego Calvanese
{"title":"ComposingWeb Services with Nondeterministic Behavior","authors":"D. Berardi, Giuseppe De Giacomo, Massimo Mecella, Diego Calvanese","doi":"10.1109/ICWS.2006.45","DOIUrl":"https://doi.org/10.1109/ICWS.2006.45","url":null,"abstract":"The promise of Web services is to enable the composition of new distributed applications/solutions: when no available service can satisfy a client request, (parts of) available services can be composed and orchestrated in order to satisfy such a request. Service composition involves two different issues: the synthesis, in order to synthesize, either manually or automatically, a specification of how coordinating the component services to fulfill the client request, and the orchestration, i.e., how executing the previous obtained specification by suitably supervising and monitoring both the control flow and the data flow among the involved services. In this work, we address the automatic composition synthesis when the behavior of the available services is non-deterministic, and hence is not fully controllable by the orchestrator. The service behavior is modeled by the possible conversations the service can have with its clients. The presence of nondeterministic conversations stems naturally when modeling services in which the result of each interaction with its client on the state of the service can not be foreseen","PeriodicalId":408032,"journal":{"name":"2006 IEEE International Conference on Web Services (ICWS'06)","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127354039","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 34
Recovery Policies for Enhancing Web Services Reliability 提高Web服务可靠性的恢复策略
2006 IEEE International Conference on Web Services (ICWS'06) Pub Date : 2006-09-18 DOI: 10.1109/ICWS.2006.110
A. Erradi, P. Maheshwari, V. Tosic
{"title":"Recovery Policies for Enhancing Web Services Reliability","authors":"A. Erradi, P. Maheshwari, V. Tosic","doi":"10.1109/ICWS.2006.110","DOIUrl":"https://doi.org/10.1109/ICWS.2006.110","url":null,"abstract":"Web services are gaining acceptance as a standards-based approach for integrating loosely coupled services often distributed over a network. Hence, achieving high levels of reliability and availability in spite of service or infrastructure failures poses unique set of challenges. However, Web services middleware provide limited constructs for specifying faults detection and recovery actions. Additionally, faults-handling logic often gets scattered and tangled with the service logic. Consequently, this negatively impacts maintainability and adaptability. To address these requirements for reliable and fault tolerant Web services execution, we propose set extensible recovery policies to declaratively specify how to handle and recover from typical faults in Web services composition. The identified constructs were incorporated into a lightweight service management middleware named MASC (manageable and adaptive service composition) to transparently enact the fault management policies and facilitate the monitoring, configuration and control of managed services. Several experimental results with a service based supply chain management system illustrate the effectiveness of our approach to providing reliable and uninterrupted services","PeriodicalId":408032,"journal":{"name":"2006 IEEE International Conference on Web Services (ICWS'06)","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133340703","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 76
Optimal Adaptation in Web Processes with Coordination Constraints 具有协调约束的Web过程的最优自适应
2006 IEEE International Conference on Web Services (ICWS'06) Pub Date : 2006-09-18 DOI: 10.1109/ICWS.2006.97
Kunal Verma, Prashant Doshi, K. Gomadam, J. Miller, A. Sheth
{"title":"Optimal Adaptation in Web Processes with Coordination Constraints","authors":"Kunal Verma, Prashant Doshi, K. Gomadam, J. Miller, A. Sheth","doi":"10.1109/ICWS.2006.97","DOIUrl":"https://doi.org/10.1109/ICWS.2006.97","url":null,"abstract":"We present methods for optimally adapting Web processes to exogenous events while preserving inter-service constraints that necessitate coordination. For example, in a supply chain process, orders placed by a manufacturer may get delayed in arriving. In response to this event, the manufacturer has the choice of either waiting out the delay or changing the supplier. Additionally, there may be compatibility constraints between the different orders, thereby introducing the problem of coordination between them if the manufacturer chooses to change the suppliers. We focus on formulating the decision making models of the managers, who must adapt to external events while satisfying the coordination constraints, using Markov decision processes. Our methods range from being centralized and globally optimal in their adaptation but not scalable, to decentralized that is suboptimal but scalable to multiple managers. We also develop a hybrid approach that improves on the performance of the decentralized approach with a minimal loss of optimality","PeriodicalId":408032,"journal":{"name":"2006 IEEE International Conference on Web Services (ICWS'06)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133660839","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 50
Bridging Trust Relationships with Web Service Enhancements 用Web服务增强桥接信任关系
2006 IEEE International Conference on Web Services (ICWS'06) Pub Date : 2006-09-18 DOI: 10.1109/ICWS.2006.40
Zhengping Wu, A. Weaver
{"title":"Bridging Trust Relationships with Web Service Enhancements","authors":"Zhengping Wu, A. Weaver","doi":"10.1109/ICWS.2006.40","DOIUrl":"https://doi.org/10.1109/ICWS.2006.40","url":null,"abstract":"With the development of Web technology and distributed systems, online collaborations are becoming more common and more demanding. Web services now provide standard mechanisms to enable online interactions. Yet security, privacy and trust-related protection mechanisms for Web services need additional development. In an interconnected network environment, physical connections with proper security protections are required for bridging two autonomous networks. Likewise, collaborating organizations need mechanisms for bridging extant relationships among cooperating parties that provide proper protection for privacy and trust. A trust establishment mechanism for Web services must therefore ensure privacy and owner control at all times due to the subjectivity of trust relationships. This paper describes an indirect trust establishment mechanism to bridge and build new trust relationships from extant trust relationships providing privacy protection and owner control simultaneously","PeriodicalId":408032,"journal":{"name":"2006 IEEE International Conference on Web Services (ICWS'06)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133679469","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
Metadata-Based XML Serialization for Embedded C++ 基于元数据的嵌入式c++ XML序列化
2006 IEEE International Conference on Web Services (ICWS'06) Pub Date : 2006-09-18 DOI: 10.1109/ICWS.2006.91
S. Payrits, Peter Dornbach, István Zólyomi
{"title":"Metadata-Based XML Serialization for Embedded C++","authors":"S. Payrits, Peter Dornbach, István Zólyomi","doi":"10.1109/ICWS.2006.91","DOIUrl":"https://doi.org/10.1109/ICWS.2006.91","url":null,"abstract":"Mapping XML document schemas and Web service interfaces to programming languages has an important role in effective creation of quality Web service implementations. This paper presents a novel way to map XML data to the C++ programming language with emphasis on use in mobile and embedded systems. The proposed solution offers more flexibility and more compact code that is critical in embedded environments. The paper describes the concept and the architecture of the solution and compares it with existing solutions","PeriodicalId":408032,"journal":{"name":"2006 IEEE International Conference on Web Services (ICWS'06)","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121505924","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Modelling End-to-end Quality-of-Service for Transaction-Based Services in Multi-Domain Environments 多领域环境中基于事务的服务的端到端服务质量建模
2006 IEEE International Conference on Web Services (ICWS'06) Pub Date : 2006-09-18 DOI: 10.1109/ICWS.2006.94
R. Mei, H. B. Meeuwissen
{"title":"Modelling End-to-end Quality-of-Service for Transaction-Based Services in Multi-Domain Environments","authors":"R. Mei, H. B. Meeuwissen","doi":"10.1109/ICWS.2006.94","DOIUrl":"https://doi.org/10.1109/ICWS.2006.94","url":null,"abstract":"Next-generation service offerings will integrate information from multiple interconnected servers. For the commercial success of these services, the ability to deliver good end-to-end quality-of-service (QoS) is crucial. Today, no mature solutions exist for the problem of realizing high and guaranteed end-to-end QoS for transaction-based services in multi-domain environments. Service level agreements (SLAs) are a well-recognized concept to obtain QoS guarantees, but currently no satisfactory solutions exist for SPs to determine the set of combinations of per-domain SLAs that they need to negotiate with the other domain owners to deliver the desired end-to-end QoS. To this end, in this paper we introduce the new concept called SLA negotiation space, i.e. the set of combinations of per-domain SLAs that SPs need to negotiate with other domain owners to realize desired end-to-end QoS levels. In addition, to identify the SLA negotiation space, we propose a modelling framework to quantify the complex relation between the per-domain SLA parameters and the end-to-end QoS. The practical usefulness of our results is demonstrated by a realistic example","PeriodicalId":408032,"journal":{"name":"2006 IEEE International Conference on Web Services (ICWS'06)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122601508","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 24
A Method for Formal Verification of Service Interoperability 服务互操作性的正式验证方法
2006 IEEE International Conference on Web Services (ICWS'06) Pub Date : 2006-09-18 DOI: 10.1109/ICWS.2006.9
S. Pokraev, D. Quartel, M. Steen, M. Reichert
{"title":"A Method for Formal Verification of Service Interoperability","authors":"S. Pokraev, D. Quartel, M. Steen, M. Reichert","doi":"10.1109/ICWS.2006.9","DOIUrl":"https://doi.org/10.1109/ICWS.2006.9","url":null,"abstract":"Service interoperability is a major obstacle in realizing the SOA vision. Interoperability is the capability of multiple, autonomous and heterogeneous systems to use each other's services effectively. It is about the meaningful sharing of functionality and information that leads to the achievement of a common goal. In this paper we identify requirements for semantic and pragmatic interoperability. We further propose a method for assessing whether a composite system meets these requirements","PeriodicalId":408032,"journal":{"name":"2006 IEEE International Conference on Web Services (ICWS'06)","volume":"89 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128583747","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 17
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信