{"title":"Reusable functional composition patterns for Web services","authors":"L. Melloul, A. Fox","doi":"10.1109/ICWS.2004.1314775","DOIUrl":"https://doi.org/10.1109/ICWS.2004.1314775","url":null,"abstract":"Developers write Web service composition programs in terms of functionalities (e.g., \"WebSearch\") to postpone choosing which services of the same functionality to invoke (Google or Yahoo). We provide a higher level of abstraction than this for higher reuse. We express high-level \"patterns\" (e.g., \"SearchAndCollectData\") as both objects that can be \"specialized\" to particular applications (\"SearchAnd-DownloadPapers\" vs. \"SearchAndAddBooksInCart\") and objects that are reusable in the construction of higher-level ones. Our approach lets developers write patterns in terms of high-level functionalities (e.g., \"CollectData \") and later decide on services to compose that have lower-level functionalities (e.g., \"DownloadPapers\" or \"addBooksIn-Carts\"). We describe our prototype and show an example of nested pattern specialization. We also discuss a reuse trade-off, showing that too much abstraction makes the pattern less expressive. Rather, we suggest developers capture what must be guaranteed in every context of invocation, regardless of the service selection.","PeriodicalId":135986,"journal":{"name":"Proceedings. IEEE International Conference on Web Services, 2004.","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132247857","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}
Ziyang Duan, A. Bernstein, P. M. Lewis, Shiyong Lu
{"title":"Semantics based verification and synthesis of BPEL4WS abstract processes","authors":"Ziyang Duan, A. Bernstein, P. M. Lewis, Shiyong Lu","doi":"10.1109/ICWS.2004.1314805","DOIUrl":"https://doi.org/10.1109/ICWS.2004.1314805","url":null,"abstract":"We introduce a logic model to formally specify the semantics of workflows and their composite tasks described as BPEL4WS abstract processes. Based on the model, we present a set of inference rules to deduce the strongest postcondition and weakest precondition of a workflow and demonstrate that automatic workflow verification is possible due to the restrictions on data manipulation in an abstract process. We then sketch an algorithm that automatically synthesizes a workflow given its specification and a task library.","PeriodicalId":135986,"journal":{"name":"Proceedings. IEEE International Conference on Web Services, 2004.","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132409496","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}
{"title":"Enhancing Web services with message-oriented middleware","authors":"P. Maheshwari, H. Tang, R. Liang","doi":"10.1109/ICWS.2004.1314778","DOIUrl":"https://doi.org/10.1109/ICWS.2004.1314778","url":null,"abstract":"This paper outlines the design and implementation of WSMQ, which is a message-oriented middleware specifically designed to enhance the reliability of Web services. Highlights of this application feature fault tolerance of Web services communication, Quality of Services including authentication and prioritization, security enhancement and performance improvements in Web services over the existing architecture. The implementation of these features aims to address the existing issues surrounding Web services, and further its advancement towards a new standard for distributed application development.","PeriodicalId":135986,"journal":{"name":"Proceedings. IEEE International Conference on Web Services, 2004.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116280542","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}
{"title":"Designing Web services with Tropos","authors":"Diana H. Lau, J. Mylopoulos","doi":"10.1109/ICWS.2004.1314752","DOIUrl":"https://doi.org/10.1109/ICWS.2004.1314752","url":null,"abstract":"We propose a methodology for designing Web services. The methodology is founded on Tropos (Perini et al., 2001 and Castro, et al., 2002), an agent-oriented software development technique, and supports early and late requirements analysis, as well as architectural and detailed design. An online retailer example is used for illustration of the proposed methodology. We also compare the generated design with a sample design presented in [BPT01].","PeriodicalId":135986,"journal":{"name":"Proceedings. IEEE International Conference on Web Services, 2004.","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128584195","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}
{"title":"Response time histograms for composite Web services","authors":"Johann Eder, H. Pichler","doi":"10.1109/ICWS.2004.1314963","DOIUrl":"https://doi.org/10.1109/ICWS.2004.1314963","url":null,"abstract":"Probabilistic duration representations can be used to forecast the response time of (composite) Web services, based on empirical data of past executions or calculated from control flow structures. The capability to choose the fastest among similar services or to optimize services based on probable process execution times are only two possible application areas.","PeriodicalId":135986,"journal":{"name":"Proceedings. IEEE International Conference on Web Services, 2004.","volume":"78 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127886607","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}
{"title":"Web services and multi-channel integration: a proposed framework","authors":"Jaishankar Ganesh, S. Padmanabhuni, D. Moitra","doi":"10.1109/ICWS.2004.1314725","DOIUrl":"https://doi.org/10.1109/ICWS.2004.1314725","url":null,"abstract":"This paper discusses a solution based on Web services and service oriented architecture involving interorganizational information systems in the context of multichannel integration in retailing industry. Distribution intensive industries such as retailing have seen a proliferation of distribution channels. This is in part triggered by the intense competition as well as the retailers' drive to reach the customers through all possible channels. As the number of channels for a retailer increases, managing the dynamics of customer behavior in the multichannel environment becomes complex. Customers have an option of interacting with retailers across a number of channels. Acquiring and retaining customers requires that relationship management applications should be able to accommodate the various channels. In this paper, we provide an overview of the benefits of using Web services in multichannel integration and related retail processes. We propose a reference service oriented architecture for usage of Web services involving inter and intra company systems for multichannel integration.","PeriodicalId":135986,"journal":{"name":"Proceedings. IEEE International Conference on Web Services, 2004.","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126453890","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}
{"title":"Provisioning resilient, adaptive Web services-based workflow: a semantic modeling approach","authors":"C. Patel, Kaustubh Supekar, Yugyung Lee","doi":"10.1109/ICWS.2004.1314773","DOIUrl":"https://doi.org/10.1109/ICWS.2004.1314773","url":null,"abstract":"Web Services are emerging technologies that enable application-to-application communication and reuse of autonomous services over the Web. Recent efforts, OWLS, model the semantics of Web Services that includes the capabilities of the service, the service interaction protocol, and the actual messages for service exchanges. However, there is a need to automate discovery, selection and execution of OWL-S services. Further, a framework that meets the quality of service (QoS) requirements for ad hoc Internet based services is rarely provided. In this paper, we have proposed a rule-based framework, called SetnWebQ, which manages workflows composed of Semantic Web Services. SemWebQ is capable of conducting QoS-based adaptive selection as well as dynamic binding and execution of Web Services according to the semantics of workflow, thereby rendering a resilient and adaptive Web based service flow. A series of experiments performed on the SemWebQ with real Web Services have confirmed the effectiveness of proposed framework with respect to adaptive selection and execution of the Web Services in Web based workflows.","PeriodicalId":135986,"journal":{"name":"Proceedings. IEEE International Conference on Web Services, 2004.","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127233827","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}
{"title":"An algorithm for Web service discovery through their composition","authors":"Lerina Aversano, G. Canfora, A. Ciampi","doi":"10.1109/ICWS.2004.23","DOIUrl":"https://doi.org/10.1109/ICWS.2004.23","url":null,"abstract":"The Web services stack of standards is designed to support the reuse and the interoperation of software components on the Web. A critical step in the process of developing applications based on the service oriented architecture is the service discovery. This paper shows how service composition can be used as a technique to support service discovery. The paper discusses the current state of research in this area and introduces a semantic matching algorithm that exploits the possibility to compose multiple services in order to satisfy a service request.","PeriodicalId":135986,"journal":{"name":"Proceedings. IEEE International Conference on Web Services, 2004.","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126754987","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}
{"title":"Adapting Web services in a heterogeneous environment","authors":"M. Fuchs","doi":"10.1109/ICWS.2004.1314794","DOIUrl":"https://doi.org/10.1109/ICWS.2004.1314794","url":null,"abstract":"For Web services to fulfil their promise in truly heterogeneous environments, the different base operations being included in Web services will need to appear in multiple Web Services with different names as well as different authorization and authentication mechanisms, different service level agreements, and even different formats. We describe service views and rule groups which together provide an adaptation layer at which these changes can be described and enforced. Service views include the ability to offer different views on WS components by altering the WSDL contract. Rule groups provide information directing these changes, as well as other policies to be automatically enforced underneath the services.","PeriodicalId":135986,"journal":{"name":"Proceedings. IEEE International Conference on Web Services, 2004.","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127488329","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}
{"title":"WSCE: a flexible Web Service Composition Environment","authors":"Xiulan Yu, Long Zhang, Ying Li, Ying Chen","doi":"10.1109/ICWS.2004.1314767","DOIUrl":"https://doi.org/10.1109/ICWS.2004.1314767","url":null,"abstract":"In this paper, we propose the concepts of virtual partner and inspector into the Web services composition. Virtual partner, as an IT level concept, is a Web service (pseudo Web service) using the same interface with the actual partner but different binding message. A virtual partner can be invoked directly by a business process described by BPEL, so that the BPEL programmer can test both application's functionality and non functionality performance early in the development cycle to avoid any problems in the final runtime, or test the selection of their partners in business level design. The IT virtual partners provide developers with a range of the techniques which let them explore every aspect of their program. Inspector is proposed when using the third-party process engine. An inspector itself is also a Web service. The programmer can register any required output information in it. The IT virtual partner and the inspector concepts have been integrated in our WSCE, a flexible Web Services Composition Environment for a business process. WSCE is a prototype of autonomic modeling and simulation environment. With the help of a third-party BPEL engine, it provides programmer with concepts and tools to facilitate business process programming.","PeriodicalId":135986,"journal":{"name":"Proceedings. IEEE International Conference on Web Services, 2004.","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128404456","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}