首页 > 最新文献

2011 IEEE International Conference on Web Services最新文献

英文 中文
WebNeg: A Genetic Algorithm Based Approach for Service Negotiation 基于遗传算法的服务协商方法
Pub Date : 2011-07-04 DOI: 10.1109/ICWS.2011.55
Khayyam Hashmi, Amal Alhosban, Zaki Malik, B. Medjahed
Automated negotiation among Web services not only provides an effective way for the services to bargain for their optimal customizations, but also allows the discovery of overlooked potential solutions. A number of negotiation supporting techniques have been used to find solutions that are acceptable to all parties in the negotiation. However, employing these solutions for automated negotiations among Web services has its own challenges. In this paper, we present the design of a Negotiation Web service that would be used by both the consumers and providers of Web services for conducting negotiations. This negotiation service uses a genetic algorithm(GA) based approach for finding acceptable solutions in multi-party and multi-objective negotiations. In addition to the traditional genetic operators of crossover and mutation, the search is enhanced using anew operator called the Norm. Norm operator represents the cumulative knowledge of all the parties involved in the negotiation process. GA performance with the new Norm operator is compared to the traditional GA, hill-climber and random search techniques. Experimental results indicate the practicality of our approach in facilitating the negotiations involved in a Web service composition process. Specifically, the proposed GA with Norm operator performs better than other approaches.
Web服务之间的自动协商不仅为服务提供了一种有效的方式来协商它们的最佳定制,而且还允许发现被忽视的潜在解决方案。一些谈判支持技巧被用来寻找谈判各方都能接受的解决办法。然而,将这些解决方案用于Web服务之间的自动协商有其自身的挑战。在本文中,我们提出了协商Web服务的设计,Web服务的消费者和提供者都可以使用它来进行协商。此协商服务使用基于遗传算法(GA)的方法在多方和多目标协商中寻找可接受的解决方案。除了传统的交叉和突变的遗传算子,搜索增强了新的算子称为规范。规范算子代表谈判过程中各方知识的累积。将新范数算子与传统遗传算法、爬坡算法和随机搜索算法的性能进行了比较。实验结果表明,我们的方法在促进Web服务组合过程中涉及的协商方面具有实用性。具体而言,采用Norm算子的遗传算法的性能优于其他方法。
{"title":"WebNeg: A Genetic Algorithm Based Approach for Service Negotiation","authors":"Khayyam Hashmi, Amal Alhosban, Zaki Malik, B. Medjahed","doi":"10.1109/ICWS.2011.55","DOIUrl":"https://doi.org/10.1109/ICWS.2011.55","url":null,"abstract":"Automated negotiation among Web services not only provides an effective way for the services to bargain for their optimal customizations, but also allows the discovery of overlooked potential solutions. A number of negotiation supporting techniques have been used to find solutions that are acceptable to all parties in the negotiation. However, employing these solutions for automated negotiations among Web services has its own challenges. In this paper, we present the design of a Negotiation Web service that would be used by both the consumers and providers of Web services for conducting negotiations. This negotiation service uses a genetic algorithm(GA) based approach for finding acceptable solutions in multi-party and multi-objective negotiations. In addition to the traditional genetic operators of crossover and mutation, the search is enhanced using anew operator called the Norm. Norm operator represents the cumulative knowledge of all the parties involved in the negotiation process. GA performance with the new Norm operator is compared to the traditional GA, hill-climber and random search techniques. Experimental results indicate the practicality of our approach in facilitating the negotiations involved in a Web service composition process. Specifically, the proposed GA with Norm operator performs better than other approaches.","PeriodicalId":118512,"journal":{"name":"2011 IEEE International Conference on Web Services","volume":"195 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132640702","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}
引用次数: 13
On the Optimal Petri Net Representation for Service Composition 服务组合的最优Petri网表示
Pub Date : 2011-07-04 DOI: 10.1109/ICWS.2011.40
Yin Wang, Ahmed Nazeem, R. Swaminathan
Service composition has received significant attention in the research community, and the focus has been on service semantics and composition algorithms. Surprisingly, the problem of representation of the composition outcome has been largely ignored. Ad-hoc workflows are often employed, which typically sacrifice alternative paths and parallelism for the sake of simple representation. In this paper, we show how theory of regions, which was originally developed to derive Petri nets from finite state automata, can be applied to find the optimal representation of composition. To apply the theory, we first propose an automaton-based composition framework that incorporates most existing composition techniques without changing the service semantics or its description language. Then based on the special requirements of the composition representation, we develop our own Petri net synthesis algorithm that combines the benefits of two well known algorithms from the theory of regions. We demonstrate that AND/OR workflow nets can limit the concurrency even for simple input/output based service composition, while our Petri net representation is optimal in terms of flexibility and parallelism. Our experimental evaluations include a case study on composing Google Checkout Service, and the study on Oracle BPEL samples, for which our algorithm obtains better concurrent representations for almost all non-trivial cases.
服务组合在研究界受到了极大的关注,其重点一直放在服务语义和组合算法上。令人惊讶的是,作文结果的代表性问题在很大程度上被忽视了。Ad-hoc工作流经常被采用,为了简单的表示,它通常会牺牲可选路径和并行性。在本文中,我们展示了如何将区域理论(最初是为了从有限状态自动机导出Petri网而开发的)应用于寻找组合的最佳表示。为了应用该理论,我们首先提出了一个基于自动化的组合框架,该框架在不改变服务语义或其描述语言的情况下集成了大多数现有的组合技术。然后,根据组合表示的特殊要求,我们开发了自己的Petri网合成算法,该算法结合了区域理论中两种知名算法的优点。我们证明了AND/OR工作流网络即使对于简单的基于输入/输出的服务组合也可以限制并发性,而我们的Petri网表示在灵活性和并行性方面是最佳的。我们的实验评估包括组合谷歌Checkout Service的案例研究,以及对Oracle BPEL示例的研究,在这些案例中,我们的算法为几乎所有重要案例获得了更好的并发表示。
{"title":"On the Optimal Petri Net Representation for Service Composition","authors":"Yin Wang, Ahmed Nazeem, R. Swaminathan","doi":"10.1109/ICWS.2011.40","DOIUrl":"https://doi.org/10.1109/ICWS.2011.40","url":null,"abstract":"Service composition has received significant attention in the research community, and the focus has been on service semantics and composition algorithms. Surprisingly, the problem of representation of the composition outcome has been largely ignored. Ad-hoc workflows are often employed, which typically sacrifice alternative paths and parallelism for the sake of simple representation. In this paper, we show how theory of regions, which was originally developed to derive Petri nets from finite state automata, can be applied to find the optimal representation of composition. To apply the theory, we first propose an automaton-based composition framework that incorporates most existing composition techniques without changing the service semantics or its description language. Then based on the special requirements of the composition representation, we develop our own Petri net synthesis algorithm that combines the benefits of two well known algorithms from the theory of regions. We demonstrate that AND/OR workflow nets can limit the concurrency even for simple input/output based service composition, while our Petri net representation is optimal in terms of flexibility and parallelism. Our experimental evaluations include a case study on composing Google Checkout Service, and the study on Oracle BPEL samples, for which our algorithm obtains better concurrent representations for almost all non-trivial cases.","PeriodicalId":118512,"journal":{"name":"2011 IEEE International Conference on Web Services","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115277495","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}
引用次数: 9
An Abstract Transaction Model for Testing the Web Services Transactions 一个用于测试Web服务事务的抽象事务模型
Pub Date : 2011-07-04 DOI: 10.1109/ICWS.2011.98
Ruben Casado, J. Tuya, M. Younas
Transactions are a fundamental technology for building efficient and reliable web service based applications. Various models and protocols have been developed by academic and industrial research community in order to effectively manage web services transactions. We propose a novel abstract model for dynamically modeling distinct web services transaction protocols. Model-based testing techniques can be used on the abstract model in order to automatically generate test scenarios.
事务是构建高效、可靠的基于web服务的应用程序的基本技术。为了有效地管理web服务事务,学术界和工业界已经开发了各种模型和协议。我们提出了一种新的抽象模型,用于动态建模不同的web服务事务协议。基于模型的测试技术可以在抽象模型上使用,以便自动生成测试场景。
{"title":"An Abstract Transaction Model for Testing the Web Services Transactions","authors":"Ruben Casado, J. Tuya, M. Younas","doi":"10.1109/ICWS.2011.98","DOIUrl":"https://doi.org/10.1109/ICWS.2011.98","url":null,"abstract":"Transactions are a fundamental technology for building efficient and reliable web service based applications. Various models and protocols have been developed by academic and industrial research community in order to effectively manage web services transactions. We propose a novel abstract model for dynamically modeling distinct web services transaction protocols. Model-based testing techniques can be used on the abstract model in order to automatically generate test scenarios.","PeriodicalId":118512,"journal":{"name":"2011 IEEE International Conference on Web Services","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115532670","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}
引用次数: 8
Toward Semantics Empowered Biomedical Web Services 迈向语义授权的生物医学网络服务
Pub Date : 2011-07-04 DOI: 10.1109/ICWS.2011.123
Jia Zhang, R. Madduri, Wei Tan, Kevin Deichl, J. Alexander, Ian T Foster
caGrid has accumulated a repository of biomedical services, however, how a cancer researcher can find proper services in the caGrid when needed remains a big challenge. This research aims to enhance the cyber infrastructure of caGrid, by developing a mechanism that turns caGrid services into semantic-aware interoperable services. We proposed a service semantics model, and developed a technique that automatically extracts semantic metadata from static WSDL service descriptions. Such semantic information is stored as loosely coupled annotations that can be queried using semantic Web techniques, to enhance services discovery and composition. We also proposed a two-phase discovery technique that helps users quickly identify interested service operations. This paper also reports our examinations over available techniques and recommends a feasible infrastructure for biomedical service reuse. A prototyping system is developed as a proof of concept.
caGrid已经积累了一个生物医学服务库,然而,癌症研究人员如何在需要时在caGrid中找到适当的服务仍然是一个巨大的挑战。本研究旨在通过开发一种将混合网格服务转化为语义感知互操作服务的机制来增强混合网格的网络基础设施。我们提出了一个服务语义模型,并开发了一种从静态WSDL服务描述中自动提取语义元数据的技术。这些语义信息存储为松散耦合的注释,可以使用语义Web技术进行查询,从而增强服务的发现和组合。我们还提出了一种两阶段发现技术,帮助用户快速识别感兴趣的服务操作。本文还报告了我们对现有技术的研究,并推荐了一种可行的生物医学服务重用基础设施。开发了原型系统作为概念验证。
{"title":"Toward Semantics Empowered Biomedical Web Services","authors":"Jia Zhang, R. Madduri, Wei Tan, Kevin Deichl, J. Alexander, Ian T Foster","doi":"10.1109/ICWS.2011.123","DOIUrl":"https://doi.org/10.1109/ICWS.2011.123","url":null,"abstract":"caGrid has accumulated a repository of biomedical services, however, how a cancer researcher can find proper services in the caGrid when needed remains a big challenge. This research aims to enhance the cyber infrastructure of caGrid, by developing a mechanism that turns caGrid services into semantic-aware interoperable services. We proposed a service semantics model, and developed a technique that automatically extracts semantic metadata from static WSDL service descriptions. Such semantic information is stored as loosely coupled annotations that can be queried using semantic Web techniques, to enhance services discovery and composition. We also proposed a two-phase discovery technique that helps users quickly identify interested service operations. This paper also reports our examinations over available techniques and recommends a feasible infrastructure for biomedical service reuse. A prototyping system is developed as a proof of concept.","PeriodicalId":118512,"journal":{"name":"2011 IEEE International Conference on Web Services","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115543571","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}
引用次数: 20
An Event Driven Model for Context-Aware Service 上下文感知服务的事件驱动模型
Pub Date : 2011-07-04 DOI: 10.1109/ICWS.2011.125
Tong Mo, Weiping Li, Weijie Chu, Zhonghai Wu
Context-aware service is a new service mode that can provide appropriate service automatically to improve service level based on context information. In context-aware service, service is provided based on the current scene of customer. The scene is identified by context, and scene transition is caused by the change of context. Current research focuses on modeling service with context directly. However, the fact is that the vast majority of context change does not cause the change of scene, and monitoring context to determine the scene directly is inefficient, especially of the multi-context application. We use event which is defined by context as the motivation of scene change and propose an event driven model of context-aware service: EDM. A case of smart home service is discussed to show how to use EDM to do the requirement analysis, design, and implementation of context-aware service. Experimental results show that this approach can effectively reduce the number of scene determination in multi-context application.
上下文感知服务是一种基于上下文信息自动提供适当服务以提高服务水平的新型服务模式。在情境感知服务中,服务是基于客户的当前场景提供的。场景是通过语境来识别的,场景的转换是由语境的变化引起的。目前的研究主要集中在直接使用上下文对服务进行建模。然而,事实是,绝大多数上下文的变化并不会引起场景的变化,直接通过监控上下文来确定场景是低效的,特别是对于多上下文的应用。我们使用上下文定义的事件作为场景变化的动机,提出了一种上下文感知服务的事件驱动模型:EDM。讨论了智能家居服务的一个案例,展示了如何使用EDM进行上下文感知服务的需求分析、设计和实现。实验结果表明,该方法可以有效地减少多上下文应用中的场景确定次数。
{"title":"An Event Driven Model for Context-Aware Service","authors":"Tong Mo, Weiping Li, Weijie Chu, Zhonghai Wu","doi":"10.1109/ICWS.2011.125","DOIUrl":"https://doi.org/10.1109/ICWS.2011.125","url":null,"abstract":"Context-aware service is a new service mode that can provide appropriate service automatically to improve service level based on context information. In context-aware service, service is provided based on the current scene of customer. The scene is identified by context, and scene transition is caused by the change of context. Current research focuses on modeling service with context directly. However, the fact is that the vast majority of context change does not cause the change of scene, and monitoring context to determine the scene directly is inefficient, especially of the multi-context application. We use event which is defined by context as the motivation of scene change and propose an event driven model of context-aware service: EDM. A case of smart home service is discussed to show how to use EDM to do the requirement analysis, design, and implementation of context-aware service. Experimental results show that this approach can effectively reduce the number of scene determination in multi-context application.","PeriodicalId":118512,"journal":{"name":"2011 IEEE International Conference on Web Services","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123460109","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
A Hierarchical Approach to Service Negotiation 服务协商的分层方法
Pub Date : 2011-07-04 DOI: 10.1109/ICWS.2011.117
G. Bruns, M. Cortes
Service negotiation allows a service client to negotiate with a service provider on the terms of service. Much existing work on service negotiation assumes that a provider will define its negotiation strategy in terms of the state of its resources. This approach can lead to complex strategy and assumes, unrealistically, that providers have full knowledge and control of their resources. We propose a hierarchical model of service negotiation in which negotiation strategy is defined in terms of sub-negotiations with internal or external agents. This model helps to manage the complexity of negotiation strategy by allowing it to be decomposed, with each component having well-defined scope. In this paper we present our hierarchical negotiation model, and a negotiation protocol and negotiation policy language based on it.
服务协商允许服务客户端与服务提供者就服务条款进行协商。关于服务协商的许多现有工作都假设提供者将根据其资源的状态定义其协商策略。这种方法可能导致复杂的策略,并不切实际地假设提供者拥有充分的知识和对其资源的控制。我们提出了一种服务谈判的分层模型,其中谈判策略是根据与内部或外部代理的子谈判来定义的。该模型允许对协商策略进行分解,每个组件都具有良好定义的范围,从而有助于管理协商策略的复杂性。本文提出了分层协商模型,并在此基础上提出了协商协议和协商策略语言。
{"title":"A Hierarchical Approach to Service Negotiation","authors":"G. Bruns, M. Cortes","doi":"10.1109/ICWS.2011.117","DOIUrl":"https://doi.org/10.1109/ICWS.2011.117","url":null,"abstract":"Service negotiation allows a service client to negotiate with a service provider on the terms of service. Much existing work on service negotiation assumes that a provider will define its negotiation strategy in terms of the state of its resources. This approach can lead to complex strategy and assumes, unrealistically, that providers have full knowledge and control of their resources. We propose a hierarchical model of service negotiation in which negotiation strategy is defined in terms of sub-negotiations with internal or external agents. This model helps to manage the complexity of negotiation strategy by allowing it to be decomposed, with each component having well-defined scope. In this paper we present our hierarchical negotiation model, and a negotiation protocol and negotiation policy language based on it.","PeriodicalId":118512,"journal":{"name":"2011 IEEE International Conference on Web Services","volume":"2013 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127375479","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}
引用次数: 10
A Service-Oriented Framework for Hybrid Immersive Web Applications 面向服务的混合沉浸式Web应用程序框架
Pub Date : 2011-07-04 DOI: 10.1109/ICWS.2011.115
Lijun Mei, Yimin Wang, Qicheng Li, Jian Wang, Ziyu Zhu
Immersive Web (IW for short) applications such as Second Life and SimCity are increasingly popular among individual users and companies. However, it is difficult to build a hybrid Immersive Web application, because of the different architectures used for building such IW applications. In this paper, we propose a service-oriented framework to support the mashup of heterogeneous IW applications for hybrid IW applications. We first model each object in IW (e.g., a virtual album or a virtual room) as an IW Object Service (IWOS) located by a unique URL with standardized service interfaces. As such, one IW application can use an IWOS instance in another IW application. Moreover, non-IW applications (e.g., an online album system) can also access an IWOS instance via its service interface. We further propose a service-oriented framework to manipulate these IWOS instances, to support the transition of these objects mainly between different IW applications, and to enable the transition between IW applications and non-IW applications. Our framework also includes the fundamental services to build hybrid IW applications. Finally, we provide examples to demonstrate the advantages of our framework, and conduct a qualitative analysis to show the effectiveness.
沉浸式网络(简称IW)应用程序,如Second Life和SimCity,在个人用户和公司中越来越受欢迎。然而,构建混合型沉浸式Web应用程序很困难,因为用于构建此类IW应用程序的体系结构不同。在本文中,我们提出了一个面向服务的框架,以支持混合IW应用程序的异构IW应用程序的混搭。我们首先将IW中的每个对象(例如,虚拟相册或虚拟房间)建模为IW对象服务(IWOS),该服务由具有标准化服务接口的唯一URL定位。因此,一个IW应用程序可以在另一个IW应用程序中使用IWOS实例。此外,非iw应用程序(例如,在线相册系统)也可以通过其服务接口访问IWOS实例。我们进一步提出了一个面向服务的框架来操作这些IWOS实例,主要支持这些对象在不同IW应用程序之间的转换,并支持IW应用程序与非IW应用程序之间的转换。我们的框架还包括构建混合IW应用程序的基本服务。最后,通过实例说明了该框架的优点,并进行了定性分析,证明了该框架的有效性。
{"title":"A Service-Oriented Framework for Hybrid Immersive Web Applications","authors":"Lijun Mei, Yimin Wang, Qicheng Li, Jian Wang, Ziyu Zhu","doi":"10.1109/ICWS.2011.115","DOIUrl":"https://doi.org/10.1109/ICWS.2011.115","url":null,"abstract":"Immersive Web (IW for short) applications such as Second Life and SimCity are increasingly popular among individual users and companies. However, it is difficult to build a hybrid Immersive Web application, because of the different architectures used for building such IW applications. In this paper, we propose a service-oriented framework to support the mashup of heterogeneous IW applications for hybrid IW applications. We first model each object in IW (e.g., a virtual album or a virtual room) as an IW Object Service (IWOS) located by a unique URL with standardized service interfaces. As such, one IW application can use an IWOS instance in another IW application. Moreover, non-IW applications (e.g., an online album system) can also access an IWOS instance via its service interface. We further propose a service-oriented framework to manipulate these IWOS instances, to support the transition of these objects mainly between different IW applications, and to enable the transition between IW applications and non-IW applications. Our framework also includes the fundamental services to build hybrid IW applications. Finally, we provide examples to demonstrate the advantages of our framework, and conduct a qualitative analysis to show the effectiveness.","PeriodicalId":118512,"journal":{"name":"2011 IEEE International Conference on Web Services","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114766169","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
Modeling Business Process of Web Services with an Extended STRIPS Operations to Detection Feature Interaction Problems Runtime 基于扩展条带操作的Web服务业务流程建模以检测特征交互问题运行时
Pub Date : 2011-07-04 DOI: 10.1109/ICWS.2011.73
Jiuyun Xu, Kun Chen, Youxiang Duan, S. Reiff-Marganiec
Service-Oriented Computing is benefit of interoperation among services. Current service-oriented computing research is much more concerning the low level interoperation among services, such as service discovery, service composition etc. However, the high level research issue-the feature interaction problem is also challenging the interoperation of service-oriented computing. Traditional feature interaction methods are focused on the service design phrase with formal methods or software engineering analysis. Autonomy and distribution of service deploying style have made the needs of runtime detecting and resolving feature interaction in SOC research community. This paper investigates the detection of feature interactions in web services at runtime and proposes ESTRIPs, an extended STRIPS operation conflict-free of services in business process detection method, which reasons from OWL-S and SWRL combined with runtime SOAP messages. First, we give the model of the feature interaction problem in business process during its execution and then the ESTRIPS method given in detail. The implementation of a prototype is illustrated. Using a real world scenario shows the plausibility of our method of detecting feature interactions of business process.
面向服务的计算是服务间互操作的优势。当前面向服务的计算研究更多地关注服务之间的底层互操作,如服务发现、服务组合等。然而,高层次的特征交互问题也对面向服务计算的互操作提出了挑战。传统的特征交互方法主要集中在服务设计阶段,采用形式化方法或软件工程分析。服务部署方式的自治和分布使得SOC研究社区对运行时检测和解决特征交互产生了需求。本文研究了web服务运行时特征交互的检测,提出了基于OWL-S和SWRL结合运行时SOAP消息的业务流程无冲突检测方法ESTRIPs。首先给出了业务流程执行过程中特征交互问题的模型,然后详细给出了ESTRIPS方法。举例说明了一个原型的实现。使用真实场景显示了我们检测业务流程的功能交互的方法的合理性。
{"title":"Modeling Business Process of Web Services with an Extended STRIPS Operations to Detection Feature Interaction Problems Runtime","authors":"Jiuyun Xu, Kun Chen, Youxiang Duan, S. Reiff-Marganiec","doi":"10.1109/ICWS.2011.73","DOIUrl":"https://doi.org/10.1109/ICWS.2011.73","url":null,"abstract":"Service-Oriented Computing is benefit of interoperation among services. Current service-oriented computing research is much more concerning the low level interoperation among services, such as service discovery, service composition etc. However, the high level research issue-the feature interaction problem is also challenging the interoperation of service-oriented computing. Traditional feature interaction methods are focused on the service design phrase with formal methods or software engineering analysis. Autonomy and distribution of service deploying style have made the needs of runtime detecting and resolving feature interaction in SOC research community. This paper investigates the detection of feature interactions in web services at runtime and proposes ESTRIPs, an extended STRIPS operation conflict-free of services in business process detection method, which reasons from OWL-S and SWRL combined with runtime SOAP messages. First, we give the model of the feature interaction problem in business process during its execution and then the ESTRIPS method given in detail. The implementation of a prototype is illustrated. Using a real world scenario shows the plausibility of our method of detecting feature interactions of business process.","PeriodicalId":118512,"journal":{"name":"2011 IEEE International Conference on Web Services","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124668423","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}
引用次数: 4
Has WS-I's Work Resulted in Ws-* Interoperability? Ws- i的工作是否导致了Ws-*的互操作性?
Pub Date : 2011-07-04 DOI: 10.1109/ICWS.2011.42
Andreas Schönberger, Johannes Schwalb, G. Wirtz
Recently, the Web Services Interoperability Organization(WS-I) has announced to have completed its interoperability standards work. The latest deliverables include the so-called "Basic Security Profile" and the "Reliable SecureProfile". This gives rise to the question whether or not Web Services adopters can rely on interoperability of Web Services stacks, in particular in terms of security and reliability features. To answer this question, we thoroughly analyze two important Web Services stacks for interoperability of WS-Security and WS-Reliable Messaging features. Our analysis shows that security and reliability features are far from being implemented in an interoperable manner. Additionally, we reveal that some of those interoperability problems are not even covered by WS-I profiles and therefore conclude that WS-I's work has not yet resulted in Web Services interoperability.
最近,Web服务互操作性组织(WS-I)宣布已经完成了其互操作性标准工作。最新的成果包括所谓的“基本安全概要”和“可靠安全概要”。这就产生了一个问题,即Web服务采用者是否可以依赖Web服务堆栈的互操作性,特别是在安全性和可靠性特性方面。为了回答这个问题,我们将全面分析两个重要的Web服务堆栈,以实现WS-Security和WS-Reliable消息传递功能的互操作性。我们的分析表明,安全性和可靠性特性远远没有以可互操作的方式实现。此外,我们揭示了其中一些互操作性问题甚至没有被WS-I配置文件所涵盖,因此得出WS-I的工作尚未导致Web服务互操作性的结论。
{"title":"Has WS-I's Work Resulted in Ws-* Interoperability?","authors":"Andreas Schönberger, Johannes Schwalb, G. Wirtz","doi":"10.1109/ICWS.2011.42","DOIUrl":"https://doi.org/10.1109/ICWS.2011.42","url":null,"abstract":"Recently, the Web Services Interoperability Organization(WS-I) has announced to have completed its interoperability standards work. The latest deliverables include the so-called \"Basic Security Profile\" and the \"Reliable SecureProfile\". This gives rise to the question whether or not Web Services adopters can rely on interoperability of Web Services stacks, in particular in terms of security and reliability features. To answer this question, we thoroughly analyze two important Web Services stacks for interoperability of WS-Security and WS-Reliable Messaging features. Our analysis shows that security and reliability features are far from being implemented in an interoperable manner. Additionally, we reveal that some of those interoperability problems are not even covered by WS-I profiles and therefore conclude that WS-I's work has not yet resulted in Web Services interoperability.","PeriodicalId":118512,"journal":{"name":"2011 IEEE International Conference on Web Services","volume":"319 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116423459","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}
引用次数: 8
Verifying OWL-S Service Process Models 验证OWL-S服务流程模型
Pub Date : 2011-07-04 DOI: 10.1109/ICWS.2011.101
Yuzhang Feng, M. Kirchberg
OWL-S is an ontology that provides the necessary vocabulary for describing various components of Web services so that automated discovery, composition and invocation of Web services can be made possible. The main component, the process model, describes the interaction protocol between a Web service and its clients. Such protocol includes not only the inputs, outputs, preconditions and results of the service, but also the control flow and data flow within the service. In this paper, we propose an approach to verify various properties of the process model of an OWL-S service. We define a set of mapping rules to translate a process model into a process algebra model and use a dedicated model checker to check the properties of the translated model. We handle not only the control flow of the process model, but also the binding-based data flow. Pre-conditions and results are also included in our approach. As a case study, we use a reasonably complex online book shopping Web service.
OWL-S是一种本体,它为描述Web服务的各种组件提供了必要的词汇表,从而使Web服务的自动发现、组合和调用成为可能。主要组件,即流程模型,描述了Web服务与其客户端之间的交互协议。该协议不仅包括服务的输入、输出、前提条件和结果,还包括服务中的控制流和数据流。在本文中,我们提出了一种验证OWL-S服务的流程模型的各种属性的方法。我们定义了一组映射规则来将流程模型转换为流程代数模型,并使用专用的模型检查器来检查转换模型的属性。我们不仅处理流程模型的控制流,而且处理基于绑定的数据流。前提条件和结果也包括在我们的方法中。作为案例研究,我们使用一个相当复杂的在线图书购物Web服务。
{"title":"Verifying OWL-S Service Process Models","authors":"Yuzhang Feng, M. Kirchberg","doi":"10.1109/ICWS.2011.101","DOIUrl":"https://doi.org/10.1109/ICWS.2011.101","url":null,"abstract":"OWL-S is an ontology that provides the necessary vocabulary for describing various components of Web services so that automated discovery, composition and invocation of Web services can be made possible. The main component, the process model, describes the interaction protocol between a Web service and its clients. Such protocol includes not only the inputs, outputs, preconditions and results of the service, but also the control flow and data flow within the service. In this paper, we propose an approach to verify various properties of the process model of an OWL-S service. We define a set of mapping rules to translate a process model into a process algebra model and use a dedicated model checker to check the properties of the translated model. We handle not only the control flow of the process model, but also the binding-based data flow. Pre-conditions and results are also included in our approach. As a case study, we use a reasonably complex online book shopping Web service.","PeriodicalId":118512,"journal":{"name":"2011 IEEE International Conference on Web Services","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130821115","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}
引用次数: 6
期刊
2011 IEEE International Conference on Web Services
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1