Widget aggregators such as iGoogle and Netvibes are broadly adopted by the mass market. They enable end-users to personalize their environment with their preferred services (Widgets). However, the usage in an enterprise context is not yet investigated. In this paper, we firstly show that in addition to personalization capability, the integration of business processes should be considered. Secondly, we propose a new Widget aggregator that enables the end-user to personalize a business process by chaining Widgets according to his/her needs and habits. Thirdly, we introduce a new approach for specifying an end-user process; an approach which enables even ordinary end-users, without computing skills, to define their processes. Finally, we validate these concepts by implementing and testing a prototype. As a consequence, this work does not only impact Widget aggregators, but it also innovates in end-user service creation research by proposing an intuitive tool, understandable even by ordinary end-users, for specifying their processes (composite services).
{"title":"Business Process Personalization Through Web Widgets","authors":"N. Laga, E. Bertin, N. Crespi","doi":"10.1109/ICWS.2010.22","DOIUrl":"https://doi.org/10.1109/ICWS.2010.22","url":null,"abstract":"Widget aggregators such as iGoogle and Netvibes are broadly adopted by the mass market. They enable end-users to personalize their environment with their preferred services (Widgets). However, the usage in an enterprise context is not yet investigated. In this paper, we firstly show that in addition to personalization capability, the integration of business processes should be considered. Secondly, we propose a new Widget aggregator that enables the end-user to personalize a business process by chaining Widgets according to his/her needs and habits. Thirdly, we introduce a new approach for specifying an end-user process; an approach which enables even ordinary end-users, without computing skills, to define their processes. Finally, we validate these concepts by implementing and testing a prototype. As a consequence, this work does not only impact Widget aggregators, but it also innovates in end-user service creation research by proposing an intuitive tool, understandable even by ordinary end-users, for specifying their processes (composite services).","PeriodicalId":170573,"journal":{"name":"2010 IEEE International Conference on Web Services","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133146636","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}
BPEL (Business Process Execution Language) enacts a process-oriented web service orchestration, and multi-business processes can be regarded as BPEL composition. A business process can be regarded as a complex set of interactions among Web services to achieve a defined goal. The achievement of distributed agreement among multiple-participant services is an orthogonal problem outside the scope of BPEL, so the rationality for distributed coordination of multi-business processes is an urgent issue to study. The definition of the message exchanges that take place between the process and each one of its partners lack the precise definition which is required for performing a formal analysis and reasoning. An integrated approach supporting a formal verification of multi-business interactions is proposed. This paper first examines a rigorous approach for the formalization of the execution semantics of business process in the Pi-calculus. Then transforms the Pi-calculus expressions into equivalent SMV code and verifies the system whether a process satisfies given properties automatically using the NuSMV model checker, and the approach is illustrated using a concrete case study subsequently. The approach supports creating robust multi-business processes which are distributed or span multiple vendors and platforms.
{"title":"Towards a Formal Verification Approach for Business Process Coordination","authors":"Min Yuan, Zhiqiu Huang, Xiang Li, Yan Yan","doi":"10.1109/ICWS.2010.100","DOIUrl":"https://doi.org/10.1109/ICWS.2010.100","url":null,"abstract":"BPEL (Business Process Execution Language) enacts a process-oriented web service orchestration, and multi-business processes can be regarded as BPEL composition. A business process can be regarded as a complex set of interactions among Web services to achieve a defined goal. The achievement of distributed agreement among multiple-participant services is an orthogonal problem outside the scope of BPEL, so the rationality for distributed coordination of multi-business processes is an urgent issue to study. The definition of the message exchanges that take place between the process and each one of its partners lack the precise definition which is required for performing a formal analysis and reasoning. An integrated approach supporting a formal verification of multi-business interactions is proposed. This paper first examines a rigorous approach for the formalization of the execution semantics of business process in the Pi-calculus. Then transforms the Pi-calculus expressions into equivalent SMV code and verifies the system whether a process satisfies given properties automatically using the NuSMV model checker, and the approach is illustrated using a concrete case study subsequently. The approach supports creating robust multi-business processes which are distributed or span multiple vendors and platforms.","PeriodicalId":170573,"journal":{"name":"2010 IEEE International Conference on Web Services","volume":"220 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122520366","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}
Service-oriented computing promises to create flexible business processes and applications on demand by dynamically assembling loosely coupled services within and across organizations. Quality requirements play a central role in service sourcing and, together with Service Level Agreements, facilitate service selection and measurement of service delivery effectiveness. This empowers customers to make better decisions when faced with multiple service offerings and varying service costs. However, existing business process modeling languages provide little support for quality requirements annotation and specification. This paper argues that quality requirements are a central aspect of business process modeling specification, and thus proposes to incorporate time, cost and reliability quality requirements as extensions to the Business Process Modeling Notation (BPMN). These quality requirements are evaluated based on analytical model using reduction rules. An example of online purchasing business process is illustrated to demonstrate the applicability of the proposed approach.
{"title":"Extending BPMN for Supporting Customer-Facing Service Quality Requirements","authors":"Kawther A. Saeedi, Liping Zhao, P. Sampaio","doi":"10.1109/ICWS.2010.116","DOIUrl":"https://doi.org/10.1109/ICWS.2010.116","url":null,"abstract":"Service-oriented computing promises to create flexible business processes and applications on demand by dynamically assembling loosely coupled services within and across organizations. Quality requirements play a central role in service sourcing and, together with Service Level Agreements, facilitate service selection and measurement of service delivery effectiveness. This empowers customers to make better decisions when faced with multiple service offerings and varying service costs. However, existing business process modeling languages provide little support for quality requirements annotation and specification. This paper argues that quality requirements are a central aspect of business process modeling specification, and thus proposes to incorporate time, cost and reliability quality requirements as extensions to the Business Process Modeling Notation (BPMN). These quality requirements are evaluated based on analytical model using reduction rules. An example of online purchasing business process is illustrated to demonstrate the applicability of the proposed approach.","PeriodicalId":170573,"journal":{"name":"2010 IEEE International Conference on Web Services","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124963187","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}
A service-oriented application is composed of several web services to provide complex functionality that a single web service cannot provide. A set of services along with their control flows can be frequently used in multiple applications. Such services form a service composition pattern which is well tested in the numerous adoptions. Reusing service composition patterns in service composition provides an efficient way to improve the quality of new applications. To facilitate the documentation of service composition patterns, we propose an approach to automatically recognize service composition patterns from various applications. We identify service composition patterns by locating a set of associated services commonly used by different applications and recovering the control flows among the set of associated services.
{"title":"An Approach for Mining Web Service Composition Patterns from Execution Logs","authors":"Ran Tang, Ying Zou","doi":"10.1109/ICWS.2010.35","DOIUrl":"https://doi.org/10.1109/ICWS.2010.35","url":null,"abstract":"A service-oriented application is composed of several web services to provide complex functionality that a single web service cannot provide. A set of services along with their control flows can be frequently used in multiple applications. Such services form a service composition pattern which is well tested in the numerous adoptions. Reusing service composition patterns in service composition provides an efficient way to improve the quality of new applications. To facilitate the documentation of service composition patterns, we propose an approach to automatically recognize service composition patterns from various applications. We identify service composition patterns by locating a set of associated services commonly used by different applications and recovering the control flows among the set of associated services.","PeriodicalId":170573,"journal":{"name":"2010 IEEE International Conference on Web Services","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124731381","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}
When two Web services work together, they exchange messages in a predefined interface process. Two interface processes should be compatible when they can work properly. Our idea to fix incompatibility problem in service processes is to change an incompatible process so that the new process can simulate a compatible process. We consider not only the control flow but also the data flow in modeling the processes into FSMs. We present a technique that not only detects the incompatibility, but also provides resolution strategies to generate the new process.
{"title":"Compatibility and Reparation of Web Service Processes","authors":"Yuhong Yan, Ali Aït-Bachir, Min Chen, Kai Zhang","doi":"10.1109/ICWS.2010.41","DOIUrl":"https://doi.org/10.1109/ICWS.2010.41","url":null,"abstract":"When two Web services work together, they exchange messages in a predefined interface process. Two interface processes should be compatible when they can work properly. Our idea to fix incompatibility problem in service processes is to change an incompatible process so that the new process can simulate a compatible process. We consider not only the control flow but also the data flow in modeling the processes into FSMs. We present a technique that not only detects the incompatibility, but also provides resolution strategies to generate the new process.","PeriodicalId":170573,"journal":{"name":"2010 IEEE International Conference on Web Services","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125198709","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}
Mobile agent technology has been evolving since late 1990s and its development is essentially independent of developments in distributed computing technology such as SOA, Semantic web and Web services. Incorporating mobile agents bring undeniable benefits to a distributed application. Present mobile agent technology fails to leverage the interoperable web infrastructure developed in a standard compliant manner. Here we fuse Workflow, Web 2.0, SOA and WS-BPEL and create a distributed computing environment (ACtive E-commerce Framework called ACEF) that permit creation of inter operable, infrastructure leveraging migratable code for design of active internet application.
{"title":"Development of a Novel Software Architecture for Active Internet Applications Based on Fusion of Mobile Agent, Web Services and BPEL Technologies","authors":"V. D. Pillai","doi":"10.1109/ICWS.2010.86","DOIUrl":"https://doi.org/10.1109/ICWS.2010.86","url":null,"abstract":"Mobile agent technology has been evolving since late 1990s and its development is essentially independent of developments in distributed computing technology such as SOA, Semantic web and Web services. Incorporating mobile agents bring undeniable benefits to a distributed application. Present mobile agent technology fails to leverage the interoperable web infrastructure developed in a standard compliant manner. Here we fuse Workflow, Web 2.0, SOA and WS-BPEL and create a distributed computing environment (ACtive E-commerce Framework called ACEF) that permit creation of inter operable, infrastructure leveraging migratable code for design of active internet application.","PeriodicalId":170573,"journal":{"name":"2010 IEEE International Conference on Web Services","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128838285","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}
One benefit of Software-as-a-Service (SaaS) is the ability to rapidly deploy iterative improvements without requiring users to upgrade the application on their machine. However, the need to rapidly "develop and test" different versions of an application implies that developers need branch isolation to protect the system from local changes to both data and meta-data in the same way that they traditionally use branch-isolation to protect the system from source-code changes. Providing branch-isolation for source-code changes has well-known solutions, but these solutions do not extend well to providing isolation for changes to data and meta-data. Everett provides developers the ability to safely – and concurrently – change database values with new business logic or evolve data schema in various ways while sharing the same database.
{"title":"Everett: Providing Branch-Isolation for a Data Evolution Service","authors":"A. Leff, J. Rayfield","doi":"10.1109/ICWS.2010.50","DOIUrl":"https://doi.org/10.1109/ICWS.2010.50","url":null,"abstract":"One benefit of Software-as-a-Service (SaaS) is the ability to rapidly deploy iterative improvements without requiring users to upgrade the application on their machine. However, the need to rapidly \"develop and test\" different versions of an application implies that developers need branch isolation to protect the system from local changes to both data and meta-data in the same way that they traditionally use branch-isolation to protect the system from source-code changes. Providing branch-isolation for source-code changes has well-known solutions, but these solutions do not extend well to providing isolation for changes to data and meta-data. Everett provides developers the ability to safely – and concurrently – change database values with new business logic or evolve data schema in various ways while sharing the same database.","PeriodicalId":170573,"journal":{"name":"2010 IEEE International Conference on Web Services","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114439625","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}
H. Yu, N. Benn, S. Dietze, C. Pedrinaci, Dong Liu, J. Domingue, R. Siebes
Nowadays, more and more distributed digital TV and TV-related resources are published on the Web, such as Electronic Personal TV Guide (EPG) data. To enable applications to access these resources easily, the TV resource data is commonly provided by Web service technologies. The huge variety of data related to the TV domain and the wide range of services that provide it, raises the need to have a broker to discover, select and orchestrate services to satisfy the runtime requirements of applications that invoke these services. The variety of data and heterogeneous nature of the service capabilities makes it a challenging domain for automated web-service discovery and composition. To overcome these issues, we propose a two-stage service annotation approach, which is resolved by integrating Linked Services and IRS-III semantic web services framework, to complete the lifecycle of service annotating, publishing, deploying, discovering, orchestration and dynamic invocation. This approach satisfies both developer’s and application’s requirements to use Semantic Web Services (SWS) technologies manually and automatically.
如今，越来越多的分布式数字电视和电视相关资源被发布到网络上，例如电子个人电视指南(Electronic Personal TV Guide, EPG)数据。为了使应用程序能够方便地访问这些资源，电视资源数据通常由Web服务技术提供。与电视域相关的数据种类繁多，提供这些数据的服务种类繁多，因此需要有一个代理来发现、选择和编排服务，以满足调用这些服务的应用程序的运行时需求。数据的多样性和服务功能的异构性使其成为自动化web服务发现和组合的一个具有挑战性的领域。为了克服这些问题，我们提出了一种两阶段服务注释方法，该方法通过集成链接服务和IRS-III语义web服务框架来解决，以完成服务注释、发布、部署、发现、编排和动态调用的生命周期。这种方法同时满足开发人员和应用程序手动和自动使用语义Web服务(SWS)技术的需求。
{"title":"Two-Staged Approach for Semantically Annotating and Brokering TV-related Services","authors":"H. Yu, N. Benn, S. Dietze, C. Pedrinaci, Dong Liu, J. Domingue, R. Siebes","doi":"10.1109/ICWS.2010.97","DOIUrl":"https://doi.org/10.1109/ICWS.2010.97","url":null,"abstract":"Nowadays, more and more distributed digital TV and TV-related resources are published on the Web, such as Electronic Personal TV Guide (EPG) data. To enable applications to access these resources easily, the TV resource data is commonly provided by Web service technologies. The huge variety of data related to the TV domain and the wide range of services that provide it, raises the need to have a broker to discover, select and orchestrate services to satisfy the runtime requirements of applications that invoke these services. The variety of data and heterogeneous nature of the service capabilities makes it a challenging domain for automated web-service discovery and composition. To overcome these issues, we propose a two-stage service annotation approach, which is resolved by integrating Linked Services and IRS-III semantic web services framework, to complete the lifecycle of service annotating, publishing, deploying, discovering, orchestration and dynamic invocation. This approach satisfies both developer’s and application’s requirements to use Semantic Web Services (SWS) technologies manually and automatically.","PeriodicalId":170573,"journal":{"name":"2010 IEEE International Conference on Web Services","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125554295","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}
There are two approaches to specifying the composition of Web services: orchestration and choreography. Previous works in Web services selection are mostly based on the orchestration model which focuses on the interactions with a single party. However, in many application scenarios, business goals are achieved by a number of pair-wise interactions among a set of Web services, and there does not exist a single entity that is in charge of selecting Web services for all tasks. Each Web service will autonomously perform Web services selection. In such a choreographic environment, we study the kind of information that each Web service should provide to its partner Web services and how each Web service should perform Web service selection so as to maximize the chance of successfully accomplishing a business goal. The proposed approach is evaluated by simulation, and the experimental results show that our proposed method is close to centralized method and better than the other two distributed Web services selection methods.
{"title":"Web Services Selection in Support of Reliable Web Service Choreography","authors":"San-Yih Hwang, Wen-Po Liao, Chien-Hsiang Lee","doi":"10.1109/ICWS.2010.79","DOIUrl":"https://doi.org/10.1109/ICWS.2010.79","url":null,"abstract":"There are two approaches to specifying the composition of Web services: orchestration and choreography. Previous works in Web services selection are mostly based on the orchestration model which focuses on the interactions with a single party. However, in many application scenarios, business goals are achieved by a number of pair-wise interactions among a set of Web services, and there does not exist a single entity that is in charge of selecting Web services for all tasks. Each Web service will autonomously perform Web services selection. In such a choreographic environment, we study the kind of information that each Web service should provide to its partner Web services and how each Web service should perform Web service selection so as to maximize the chance of successfully accomplishing a business goal. The proposed approach is evaluated by simulation, and the experimental results show that our proposed method is close to centralized method and better than the other two distributed Web services selection methods.","PeriodicalId":170573,"journal":{"name":"2010 IEEE International Conference on Web Services","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129378275","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}
Web Services communicate through XML-encoded messages and suffer from substantial overhead due to verbose encoding of transferred messages and extensive (de)serialization at the end-points. We demonstrate that response caching is an effective approach to reduce Internet latency and server load. Our Tantivy middleware layer reduces the volume of data transmitted without semantic interpretation of service requests or responses and thus improves the service response time. Tantivy achieves this reduction through the combined use of caching of recent responses and data compression techniques to decrease the data representation size. These benefits do not compromise the strict consistency semantics. Tantivy also decreases the overhead of message parsing via storage of application-level data objects rather than XML-representations. Furthermore, we demonstrate how the use of aspect-oriented programming techniques provides modularity and transparency in the implementation. Experimental evaluations based on the WSTest benchmark suite demonstrate that our Tantivy system gives significant performance improvements compared to non-caching techniques.
{"title":"An Aspect-Oriented Approach to Consistency-Preserving Caching and Compression of Web Service Response Messages","authors":"Wubin Li, Johan Tordsson, E. Elmroth","doi":"10.1109/ICWS.2010.83","DOIUrl":"https://doi.org/10.1109/ICWS.2010.83","url":null,"abstract":"Web Services communicate through XML-encoded messages and suffer from substantial overhead due to verbose encoding of transferred messages and extensive (de)serialization at the end-points. We demonstrate that response caching is an effective approach to reduce Internet latency and server load. Our Tantivy middleware layer reduces the volume of data transmitted without semantic interpretation of service requests or responses and thus improves the service response time. Tantivy achieves this reduction through the combined use of caching of recent responses and data compression techniques to decrease the data representation size. These benefits do not compromise the strict consistency semantics. Tantivy also decreases the overhead of message parsing via storage of application-level data objects rather than XML-representations. Furthermore, we demonstrate how the use of aspect-oriented programming techniques provides modularity and transparency in the implementation. Experimental evaluations based on the WSTest benchmark suite demonstrate that our Tantivy system gives significant performance improvements compared to non-caching techniques.","PeriodicalId":170573,"journal":{"name":"2010 IEEE International Conference on Web Services","volume":"101 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132772790","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：