首页 > 最新文献

Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)最新文献

英文 中文
A self-management approach for service developers of PaaS 面向PaaS服务开发人员的自我管理方法
Hao Wei, Jin Shao, Bang Liu, Haiwen Liu, Qianxiang Wang, Hong Mei
SaaS (Software as a Service) has been widely recognized as a new kind of service. Meanwhile, PaaS (Platform as a Service) is emerging in recent years. The management of service on PaaS platform is quite different from that of traditional services. This paper analyzed the service management activities of PaaS and proposed an intuitive and easy approach to the service management activities such as deploying, monitoring and controlling. All these can be taken by the service developers themselves. Based on the proposed approach, a flexible and scalable self-management framework is implemented. The key characteristics of the framework are the using of static analysis technique and runtime monitoring technique. The framework is used in a real PaaS—“SASEP” (Service Aided Software Engineering Platform). SASEP collects plenty of services, which are all closely related with software development and maintenance.
SaaS(软件即服务)作为一种新型服务已被广泛认可。与此同时,PaaS(平台即服务)也在近几年兴起。PaaS平台上的服务管理与传统的服务管理有很大的不同。分析了PaaS的服务管理活动,提出了一种直观、简便的服务管理活动的部署、监控和控制方法。所有这些都可以由服务开发人员自己完成。在此基础上,实现了一个灵活、可扩展的自我管理框架。该框架的主要特点是采用了静态分析技术和运行时监控技术。该框架被用于一个真正的PaaS——“SASEP”(服务辅助软件工程平台)。SASEP收集了大量的服务,这些服务都与软件开发和维护密切相关。
{"title":"A self-management approach for service developers of PaaS","authors":"Hao Wei, Jin Shao, Bang Liu, Haiwen Liu, Qianxiang Wang, Hong Mei","doi":"10.1109/SOSE.2011.6139096","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139096","url":null,"abstract":"SaaS (Software as a Service) has been widely recognized as a new kind of service. Meanwhile, PaaS (Platform as a Service) is emerging in recent years. The management of service on PaaS platform is quite different from that of traditional services. This paper analyzed the service management activities of PaaS and proposed an intuitive and easy approach to the service management activities such as deploying, monitoring and controlling. All these can be taken by the service developers themselves. Based on the proposed approach, a flexible and scalable self-management framework is implemented. The key characteristics of the framework are the using of static analysis technique and runtime monitoring technique. The framework is used in a real PaaS—“SASEP” (Service Aided Software Engineering Platform). SASEP collects plenty of services, which are all closely related with software development and maintenance.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121028144","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}
引用次数: 5
Business document interoperability as a service 业务文档作为服务的互操作性
Christian Pichler, C. Huemer, M. Wimmer
Standardized business documents are a prerequisite for successful information exchange in electronic business transactions. The United Nations Centre for Trade Facilitation and eBusiness (UN/CEFACT) provides a conceptual modeling approach, called Core Components, used by Business Partners (BPs) for defining business document models (BDMs). These BDMs are essential for defining service interfaces in service-oriented systems. However, in such a highly dynamic environment with ever-changing market demands, BPs are confronted with the need to revise their BDMs resulting in new versions of BDMs. Furthermore, BPs may dictate the use of new versions of BDMs. However, small- and medium-sized enterprises (SMEs) may not always adopt new BDM versions due to the cost and effort involved, inhibiting electronic information exchange. In this paper, we present a framework for dealing with interoperability issues in service-oriented systems through providing BPs with Business Document Interoperability as a Service. Having such a framework at hand provides SMEs with a low-cost and light-weight approach for dealing with evolving market requirements and hence evolving business documents. Furthermore, we present a prototypical implementation as well as an evaluation of the framework proposed.
标准化的商业文档是电子商务交易中成功交换信息的先决条件。联合国贸易便利化和电子商务中心(UN/CEFACT)提供了一种称为核心组件的概念建模方法,由业务伙伴(bp)用于定义业务文档模型(bdm)。这些bdm对于在面向服务的系统中定义服务接口至关重要。然而,在市场需求不断变化的高度动态环境中,bp面临着修改其bdm的需求,从而产生新版本的bdm。此外,bp可能要求使用新版本的bdm。然而,由于涉及的成本和工作量,中小型企业(SMEs)可能并不总是采用新的BDM版本,从而抑制了电子信息交换。在本文中,我们提出了一个框架,通过向bp提供业务文档互操作性即服务来处理面向服务系统中的互操作性问题。有了这样一个框架,中小企业就可以以低成本和轻量级的方式处理不断变化的市场需求,从而处理不断变化的业务文件。此外,我们还提出了一个原型实现以及对所提出的框架的评估。
{"title":"Business document interoperability as a service","authors":"Christian Pichler, C. Huemer, M. Wimmer","doi":"10.1109/SOSE.2011.6139123","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139123","url":null,"abstract":"Standardized business documents are a prerequisite for successful information exchange in electronic business transactions. The United Nations Centre for Trade Facilitation and eBusiness (UN/CEFACT) provides a conceptual modeling approach, called Core Components, used by Business Partners (BPs) for defining business document models (BDMs). These BDMs are essential for defining service interfaces in service-oriented systems. However, in such a highly dynamic environment with ever-changing market demands, BPs are confronted with the need to revise their BDMs resulting in new versions of BDMs. Furthermore, BPs may dictate the use of new versions of BDMs. However, small- and medium-sized enterprises (SMEs) may not always adopt new BDM versions due to the cost and effort involved, inhibiting electronic information exchange. In this paper, we present a framework for dealing with interoperability issues in service-oriented systems through providing BPs with Business Document Interoperability as a Service. Having such a framework at hand provides SMEs with a low-cost and light-weight approach for dealing with evolving market requirements and hence evolving business documents. Furthermore, we present a prototypical implementation as well as an evaluation of the framework proposed.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127150339","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}
引用次数: 0
Scientific workflows composition and deployment on SOA frameworks 在SOA框架上进行科学的工作流组合和部署
Y. Liu, I. Gorton, A. Wynne, Anand Kulkarni
Scientific workflows normally consist of multiple applications acquiring and transforming data, running data intensive analyses and visualizing the results for scientific discovery. In this paper, we present our application of Service-Oriented Architecture (SOA) to compose and deploy systems biology workflows. In developing this application, our solution uses MeDICi a middleware framework built on SOA platforms as an integration layer. We discuss our experience and lessons learnt about this solution that are generally applicable to scientific workflows in other domains.
科学工作流程通常由多个应用程序组成,包括获取和转换数据、运行数据密集型分析以及将科学发现的结果可视化。在本文中,我们介绍了我们的应用面向服务的体系结构(SOA)来组合和部署系统生物学工作流。在开发此应用程序时,我们的解决方案使用MeDICi一个构建在SOA平台上的中间件框架作为集成层。我们讨论了我们从这个解决方案中学到的经验和教训,这些经验和教训通常适用于其他领域的科学工作流程。
{"title":"Scientific workflows composition and deployment on SOA frameworks","authors":"Y. Liu, I. Gorton, A. Wynne, Anand Kulkarni","doi":"10.1109/SOSE.2011.6139101","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139101","url":null,"abstract":"Scientific workflows normally consist of multiple applications acquiring and transforming data, running data intensive analyses and visualizing the results for scientific discovery. In this paper, we present our application of Service-Oriented Architecture (SOA) to compose and deploy systems biology workflows. In developing this application, our solution uses MeDICi a middleware framework built on SOA platforms as an integration layer. We discuss our experience and lessons learnt about this solution that are generally applicable to scientific workflows in other domains.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125326035","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}
引用次数: 1
Using structural testing information to support monitoring activities 使用结构测试信息来支持监控活动
M. Eler, M. Delamaro, P. Masiero
Third party services can change without notification as they are usually under the control of external providers. Unexpected changes can clash the integrity of a composition and monitoring approaches have been proposed to detect such changes. Many of these approaches are based on executing all test cases of a regression test set to check whether the behavior of the monitored service remains the same. Such strategy, however, can be very expensive as costs may be associated to the testing activity. In this paper we propose using structural testing information to detect structural changes of monitored services and select only a reduced number of test cases of the regression test set to be executed. We also present three exploratory case studies to evaluate our approach.
第三方服务可以在没有通知的情况下进行更改,因为它们通常处于外部提供者的控制之下。意想不到的更改可能会影响组合的完整性,因此建议采用监控方法来检测此类更改。这些方法中的许多都基于执行回归测试集的所有测试用例,以检查被监视服务的行为是否保持不变。然而,这种策略可能非常昂贵,因为成本可能与测试活动相关。在本文中,我们提出使用结构测试信息来检测被监测服务的结构变化,并只选择回归测试集中较少数量的测试用例来执行。我们还提出了三个探索性案例研究来评估我们的方法。
{"title":"Using structural testing information to support monitoring activities","authors":"M. Eler, M. Delamaro, P. Masiero","doi":"10.1109/SOSE.2011.6139089","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139089","url":null,"abstract":"Third party services can change without notification as they are usually under the control of external providers. Unexpected changes can clash the integrity of a composition and monitoring approaches have been proposed to detect such changes. Many of these approaches are based on executing all test cases of a regression test set to check whether the behavior of the monitored service remains the same. Such strategy, however, can be very expensive as costs may be associated to the testing activity. In this paper we propose using structural testing information to detect structural changes of monitored services and select only a reduced number of test cases of the regression test set to be executed. We also present three exploratory case studies to evaluate our approach.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116390888","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}
引用次数: 1
Cloud testing tools 云测试工具
Xiaoying Bai, Muyang Li, Bin Chen, W. Tsai, J. Gao
Cloud platform provides an infrastructure for resource sharing, software hosting and service delivering in a pay-per-use approach. To test the cloud-based software systems, techniques and tools are necessary to address unique quality concerns of the cloud infrastructure such as massive scalability and dynamic configuration. The tools can also be built on the cloud platform to benefit from virtualized platform and services, massive resources, and parallelized execution. The paper makes a survey of representative approaches and typical tools for cloud testing. It identifies the needs for cloud testing tools including multi-layer testing, SLA-based testing, large scale simulation, and on-demand test environment. To address the needs, it investigates the new architecture and techniques for designing testing tools for the cloud and in the cloud. Tool implementations are surveyed considering different approaches including migrated conventional tools, research tools, commercial tools and facilities like benchmark and testbed. Based on the analysis of state-of-the-art practices, the paper further investigates future trend of testing tool research and development from both capability and usability perspectives.
云平台以按次付费的方式为资源共享、软件托管和服务交付提供了基础设施。为了测试基于云的软件系统,需要技术和工具来解决云基础设施的独特质量问题,例如大规模可伸缩性和动态配置。这些工具还可以构建在云平台上,以受益于虚拟化平台和服务、海量资源和并行执行。本文综述了云测试的代表性方法和典型工具。它确定了对云测试工具的需求,包括多层测试、基于sla的测试、大规模模拟和按需测试环境。为了满足这些需求,本文研究了为云和云中设计测试工具的新体系结构和技术。工具实现的调查考虑了不同的方法,包括迁移的传统工具、研究工具、商业工具和基准和测试平台等设施。本文在分析现有实践的基础上,从能力和可用性两个角度进一步探讨了测试工具研究与开发的未来趋势。
{"title":"Cloud testing tools","authors":"Xiaoying Bai, Muyang Li, Bin Chen, W. Tsai, J. Gao","doi":"10.1109/SOSE.2011.6139087","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139087","url":null,"abstract":"Cloud platform provides an infrastructure for resource sharing, software hosting and service delivering in a pay-per-use approach. To test the cloud-based software systems, techniques and tools are necessary to address unique quality concerns of the cloud infrastructure such as massive scalability and dynamic configuration. The tools can also be built on the cloud platform to benefit from virtualized platform and services, massive resources, and parallelized execution. The paper makes a survey of representative approaches and typical tools for cloud testing. It identifies the needs for cloud testing tools including multi-layer testing, SLA-based testing, large scale simulation, and on-demand test environment. To address the needs, it investigates the new architecture and techniques for designing testing tools for the cloud and in the cloud. Tool implementations are surveyed considering different approaches including migrated conventional tools, research tools, commercial tools and facilities like benchmark and testbed. Based on the analysis of state-of-the-art practices, the paper further investigates future trend of testing tool research and development from both capability and usability perspectives.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130067674","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}
引用次数: 107
Unified management of control flow and data mismatches in web service composition 统一管理web服务组合中的控制流和数据不匹配
S. Ali, P. Roop, I. Warren, Z. Bhatti
The two main aspects of the web service composition problem are control flow and data mismatches. Several approaches have been reported in the literature to tackle the former; while the latter, and equally relevant aspect for the correct compositional behavior, has either been ignored or addressed to a very limited extent. This paper describes a formal approach based on model checking, that guarantees the correct interaction of services in a composition by managing control flow and resolving data mismatches at semantic, syntactic and structural levels, in a unified manner. A tableau based algorithm is used to generate and explore compositions in a goal-directed fashion, that proves or disproves the existence of a service orchestrator. Successful synthesis of the orchestrator confirms that the required functionality is realizable. Data models to detect and resolve data mismatches are generated using WSDL documents and regular expressions. Experimental results provide strong testimony that the approach can be effectively applied in a practical setting.
web服务组合问题的两个主要方面是控制流和数据不匹配。文献中报道了几种方法来解决前者;而后者,以及与正确构图行为同样相关的方面,要么被忽视,要么在非常有限的程度上得到重视。本文描述了一种基于模型检查的形式化方法,通过统一地管理控制流和解决语义、语法和结构层面的数据不匹配,保证了组合中服务的正确交互。基于表的算法用于以目标导向的方式生成和探索组合,从而证明或否定服务编排器的存在。协调器的成功合成确认了所需的功能是可实现的。用于检测和解决数据不匹配的数据模型是使用WSDL文档和正则表达式生成的。实验结果有力地证明了该方法可以有效地应用于实际环境。
{"title":"Unified management of control flow and data mismatches in web service composition","authors":"S. Ali, P. Roop, I. Warren, Z. Bhatti","doi":"10.1109/SOSE.2011.6139097","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139097","url":null,"abstract":"The two main aspects of the web service composition problem are control flow and data mismatches. Several approaches have been reported in the literature to tackle the former; while the latter, and equally relevant aspect for the correct compositional behavior, has either been ignored or addressed to a very limited extent. This paper describes a formal approach based on model checking, that guarantees the correct interaction of services in a composition by managing control flow and resolving data mismatches at semantic, syntactic and structural levels, in a unified manner. A tableau based algorithm is used to generate and explore compositions in a goal-directed fashion, that proves or disproves the existence of a service orchestrator. Successful synthesis of the orchestrator confirms that the required functionality is realizable. Data models to detect and resolve data mismatches are generated using WSDL documents and regular expressions. Experimental results provide strong testimony that the approach can be effectively applied in a practical setting.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130790668","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
Transforming dynamic behavior specifications from activity diagrams to BPEL 将动态行为规范从活动图转换为BPEL
Nasser Mustafa, G. Bochmann
The Service-Oriented Architecture (SOA) provided by the Web Services standards supports Model-Driven Development, it allows global business process models described in the Business Process Modeling Notation (BPMN) or as UML Activity Diagrams to be transformed into Web Services components specified by WSDL and/or BPEL. We have experimented the transformation of UML Activity Diagrams to several BPEL processes using the IBM Rational Software Architect (RSA) tool. These diagrams were derived from the specification of global system behavior where each activity may represent some collaboration between several system components in distributed systems. The derived component behaviors assure that the global behavior will be realized by coordinating the actions of the components through the exchange of asynchronous messages. In this paper, we describe how this method can be adapted to the context where the system components will be implemented as BPEL processes. We found out that the IBM Rational tool does not support some important asynchronous message exchange scenarios, and we describe here how the generated BPEL processes can be manually adapted. We also discuss some difficulties that arise in relation with input message buffering. since we assume that the received messages remain in a buffer pool until they are required by the destination process. This message buffering is largely provided by the BPEL execution environment. We explain in this paper how all these problems can be resolved by simple modifications of the automatically generated component behaviors in BPEL.
Web服务标准提供的面向服务的体系结构(SOA)支持模型驱动的开发,它允许将以业务流程建模符号(BPMN)或UML活动图描述的全局业务流程模型转换为由WSDL和/或BPEL指定的Web服务组件。我们已经尝试了使用IBM Rational Software Architect (RSA)工具将UML活动图转换为几个BPEL过程。这些图来源于全局系统行为的规范,其中每个活动可能表示分布式系统中几个系统组件之间的一些协作。派生的组件行为确保通过异步消息的交换协调组件的操作来实现全局行为。在本文中,我们将描述如何将此方法调整到系统组件将作为BPEL流程实现的上下文中。我们发现IBM Rational工具不支持一些重要的异步消息交换场景,我们在这里描述了如何手动调整生成的BPEL流程。我们还讨论了与输入消息缓冲相关的一些困难。因为我们假设接收到的消息在目标进程需要之前一直保存在缓冲池中。此消息缓冲主要由BPEL执行环境提供。我们将在本文中解释如何通过简单修改BPEL中自动生成的组件行为来解决所有这些问题。
{"title":"Transforming dynamic behavior specifications from activity diagrams to BPEL","authors":"Nasser Mustafa, G. Bochmann","doi":"10.1109/SOSE.2011.6139121","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139121","url":null,"abstract":"The Service-Oriented Architecture (SOA) provided by the Web Services standards supports Model-Driven Development, it allows global business process models described in the Business Process Modeling Notation (BPMN) or as UML Activity Diagrams to be transformed into Web Services components specified by WSDL and/or BPEL. We have experimented the transformation of UML Activity Diagrams to several BPEL processes using the IBM Rational Software Architect (RSA) tool. These diagrams were derived from the specification of global system behavior where each activity may represent some collaboration between several system components in distributed systems. The derived component behaviors assure that the global behavior will be realized by coordinating the actions of the components through the exchange of asynchronous messages. In this paper, we describe how this method can be adapted to the context where the system components will be implemented as BPEL processes. We found out that the IBM Rational tool does not support some important asynchronous message exchange scenarios, and we describe here how the generated BPEL processes can be manually adapted. We also discuss some difficulties that arise in relation with input message buffering. since we assume that the received messages remain in a buffer pool until they are required by the destination process. This message buffering is largely provided by the BPEL execution environment. We explain in this paper how all these problems can be resolved by simple modifications of the automatically generated component behaviors in BPEL.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123566229","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
A process algebra for environment-based specification of web services 基于环境的web服务规范的流程代数
Lixing Li, Zhi Jin, Ge Li
It is now well-accepted that formal methods are helpful for many problems raised in Web Service area. In this paper, we propose a new process algebra to formalize the environment-based specification of Web Services. From our point of view, the capability of a Web Service is considered in terms of the effects it imposes on the environment during its execution. The environment is composed of numbers of environment entities. For each entity, we first use the algebraic specification language CASL to describe its data(static) aspect, and then use our new process algebra to formally specify its dynamic behavior aspect. Based on that, a Web Service is specified as a process, and we can easily characterize its interaction with the environment. Furthermore, a behavior equivalence between two web services is established by using the notion of strong bisimulation in the new process algebra, some important properties of this relation are proved as well.
对于Web服务领域中出现的许多问题,形式化方法都是有帮助的,这一点已经得到了广泛的认可。在本文中,我们提出了一种新的过程代数来形式化基于环境的Web服务规范。从我们的观点来看,Web服务的功能是根据它在执行期间对环境施加的影响来考虑的。环境是由许多环境实体组成的。对于每个实体,我们首先使用代数规范语言CASL来描述其数据(静态)方面,然后使用我们的新过程代数来正式指定其动态行为方面。基于此,Web服务被指定为一个进程,我们可以很容易地描述它与环境的交互。在此基础上,利用新过程代数中的强双模拟概念,建立了两个web服务之间的行为等价关系,并证明了这种关系的一些重要性质。
{"title":"A process algebra for environment-based specification of web services","authors":"Lixing Li, Zhi Jin, Ge Li","doi":"10.1109/SOSE.2011.6139119","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139119","url":null,"abstract":"It is now well-accepted that formal methods are helpful for many problems raised in Web Service area. In this paper, we propose a new process algebra to formalize the environment-based specification of Web Services. From our point of view, the capability of a Web Service is considered in terms of the effects it imposes on the environment during its execution. The environment is composed of numbers of environment entities. For each entity, we first use the algebraic specification language CASL to describe its data(static) aspect, and then use our new process algebra to formally specify its dynamic behavior aspect. Based on that, a Web Service is specified as a process, and we can easily characterize its interaction with the environment. Furthermore, a behavior equivalence between two web services is established by using the notion of strong bisimulation in the new process algebra, some important properties of this relation are proved as well.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131587536","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}
引用次数: 1
A ranking method for social-annotation-based service discovery 基于社会注释的服务发现排序方法
D. Qu, Xudong Liu, Hailong Sun, Zicheng Huang
With the rapid growth of Web services, service discovery becomes an important and difficult issue. Traditional UDDI-based and WSDL-based methods of service discovery have low precision, and semantic-based service discovery methods are usually inefficient and time-consuming. We observe that social annotations can optimize both precision and efficiency of service discovery. In this paper, we propose a social-annotation-based service discovery method by using a learning to rank method, and propose two algorithms, Query Annotation Relevance (QAR) and Service Annotation Ranking (SAR), to calculate the dynamic Query-dependent feature and the static Query-independent feature respectively. Our experiments show that our method is effective for improving service discovery performance.
随着Web服务的快速发展,服务发现成为一个重要而困难的问题。传统的基于uddi和基于wsdl的服务发现方法精度较低,而基于语义的服务发现方法通常效率低下且耗时。我们观察到社交注释可以优化服务发现的精度和效率。本文提出了一种基于社交标注的服务发现方法,并提出了查询标注相关性(Query Annotation Relevance, QAR)和服务标注排序(service Annotation Ranking, SAR)两种算法,分别计算动态查询依赖特征和静态查询独立特征。实验结果表明,该方法可以有效地提高服务发现的性能。
{"title":"A ranking method for social-annotation-based service discovery","authors":"D. Qu, Xudong Liu, Hailong Sun, Zicheng Huang","doi":"10.1109/SOSE.2011.6139099","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139099","url":null,"abstract":"With the rapid growth of Web services, service discovery becomes an important and difficult issue. Traditional UDDI-based and WSDL-based methods of service discovery have low precision, and semantic-based service discovery methods are usually inefficient and time-consuming. We observe that social annotations can optimize both precision and efficiency of service discovery. In this paper, we propose a social-annotation-based service discovery method by using a learning to rank method, and propose two algorithms, Query Annotation Relevance (QAR) and Service Annotation Ranking (SAR), to calculate the dynamic Query-dependent feature and the static Query-independent feature respectively. Our experiments show that our method is effective for improving service discovery performance.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126479128","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}
引用次数: 0
Evaluation of server virtualization technologies for Green IT 绿色IT服务器虚拟化技术评价
Lu Liu, Osama Masfary, Jianxin Li
Service oriented computing (SOC) and cloud computing paradigm has emerged as an approach which enables ubiquitous, on-demand network accesses to a shared pool of flexibly reconfigurable computing resources. The increasing trends of electrical consumption within data centres are a growing concern for business owners as they are quickly becoming a large fraction of the total cost of ownership. There are several challenges and opportunities within a data centre to lower the electrical costs and improve the energy efficiency. Since servers and air conditioners represent the top users of electrical power in the data centre, this research sets out to explore methods from each subsystem of the data centre as part of an overall energy efficient solution. In this paper, we investigate the current trends of Green IT awareness and how the deployment of IT equipment and Site Infrastructure equipment optimization techniques which can offer a solution to a global issue by reducing carbon emissions.
面向服务的计算(SOC)和云计算范式已经作为一种方法出现,它使无处不在的、按需的网络访问能够灵活地重新配置计算资源的共享池。数据中心内电力消耗的增长趋势越来越受到企业所有者的关注,因为它们正迅速成为总拥有成本的很大一部分。数据中心在降低电力成本和提高能源效率方面存在一些挑战和机遇。由于服务器和空调代表了数据中心电力的最大用户,因此本研究着手探索数据中心的每个子系统的方法,作为整体节能解决方案的一部分。在本文中,我们研究了绿色IT意识的当前趋势,以及如何部署IT设备和现场基础设施设备优化技术,这些技术可以通过减少碳排放来提供解决全球问题的方案。
{"title":"Evaluation of server virtualization technologies for Green IT","authors":"Lu Liu, Osama Masfary, Jianxin Li","doi":"10.1109/SOSE.2011.6139095","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139095","url":null,"abstract":"Service oriented computing (SOC) and cloud computing paradigm has emerged as an approach which enables ubiquitous, on-demand network accesses to a shared pool of flexibly reconfigurable computing resources. The increasing trends of electrical consumption within data centres are a growing concern for business owners as they are quickly becoming a large fraction of the total cost of ownership. There are several challenges and opportunities within a data centre to lower the electrical costs and improve the energy efficiency. Since servers and air conditioners represent the top users of electrical power in the data centre, this research sets out to explore methods from each subsystem of the data centre as part of an overall energy efficient solution. In this paper, we investigate the current trends of Green IT awareness and how the deployment of IT equipment and Site Infrastructure equipment optimization techniques which can offer a solution to a global issue by reducing carbon emissions.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132567125","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
期刊
Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)
全部 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