This paper introduces the concept of temporal logic of actions (short for TLA), with which we can formally specify the behavior of a service, and compose Web services. The approach is demonstrated by an example. A services composition algorithm is presented.
{"title":"Specify and Compose Web Services by TLA","authors":"Hongbing Wang, Hui Liu, Xiaohui Guo","doi":"10.1109/ICWS.2008.72","DOIUrl":"https://doi.org/10.1109/ICWS.2008.72","url":null,"abstract":"This paper introduces the concept of temporal logic of actions (short for TLA), with which we can formally specify the behavior of a service, and compose Web services. The approach is demonstrated by an example. A services composition algorithm is presented.","PeriodicalId":275591,"journal":{"name":"2008 IEEE International Conference on Web Services","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120936991","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 differentiation is a practical approach for service provider to deliver ldquogoodrdquo service quality to different customers or customer segments under limited computing resources. In this paper, we address the problem of differentiating business process services by effectively scheduling tasks inside business processes, where dynamic value of service request, process instance execution status and workload of service components are all taken into consideration. Corresponding framework architecture and a scheduling algorithm are purposed for this purpose.
{"title":"Service Differentiation for Business Process by Value Based Service Scheduling","authors":"Chen Wang, Qiming Tian, Xiaoyan Chen, Chun Ying","doi":"10.1109/ICWS.2008.137","DOIUrl":"https://doi.org/10.1109/ICWS.2008.137","url":null,"abstract":"Service differentiation is a practical approach for service provider to deliver ldquogoodrdquo service quality to different customers or customer segments under limited computing resources. In this paper, we address the problem of differentiating business process services by effectively scheduling tasks inside business processes, where dynamic value of service request, process instance execution status and workload of service components are all taken into consideration. Corresponding framework architecture and a scheduling algorithm are purposed for this purpose.","PeriodicalId":275591,"journal":{"name":"2008 IEEE International Conference on Web Services","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123723145","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}
This paper reports on an implementation for tool support of model-checking collaborating service compositions with deployment configurations under resource constraints.The implementation accepts UML Deployment Diagrams with an applied service deployment profile and one or more WS-BPEL orchestrations that are assigned to Web Servlets and servers in this deployment. Using model-checking techniques the tool can determine whether the configuration of deadlock-free service orchestration processes introduce deadlock scenarios when combined with resource constraints of a deployment environment. The implementation is built upon a tool suite, called WS-Engineer, which is aimed at assisting service engineers in constructing and testing various aspects of a service engineering approach, including orchestration, choreography and deployment artifacts. The tool integrates as a plug-in for Eclipse, alongside the IBM Rational software architect tool suite and others. A case study based upon a complex service grid solution, for analyzing chemical markup patterns, is used to demonstrate the accessible and practical nature of the solution.
{"title":"Tool Support for Safety Analysis of Service Composition and Deployment Models","authors":"H. Foster","doi":"10.1109/ICWS.2008.12","DOIUrl":"https://doi.org/10.1109/ICWS.2008.12","url":null,"abstract":"This paper reports on an implementation for tool support of model-checking collaborating service compositions with deployment configurations under resource constraints.The implementation accepts UML Deployment Diagrams with an applied service deployment profile and one or more WS-BPEL orchestrations that are assigned to Web Servlets and servers in this deployment. Using model-checking techniques the tool can determine whether the configuration of deadlock-free service orchestration processes introduce deadlock scenarios when combined with resource constraints of a deployment environment. The implementation is built upon a tool suite, called WS-Engineer, which is aimed at assisting service engineers in constructing and testing various aspects of a service engineering approach, including orchestration, choreography and deployment artifacts. The tool integrates as a plug-in for Eclipse, alongside the IBM Rational software architect tool suite and others. A case study based upon a complex service grid solution, for analyzing chemical markup patterns, is used to demonstrate the accessible and practical nature of the solution.","PeriodicalId":275591,"journal":{"name":"2008 IEEE International Conference on Web Services","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128406636","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}
In many decades, many organizations, especially large consulting companies, have been designing, implementing and managing business solutions for every industry around the globe. But due to numerous limitations in process, tooling and skills, most of those solutions were made very specific to individual industry and client needs at its early design stage. Therefore, reuse and more importantly, managing the ever changing business requirements, become almost impossible. Service-orientation and architecture, model-driven business development provides us a new and powerful approach to facilitate asset based industry solution design and development. To further accelerate this, this tutorial will discuss an innovative approach that take advantage of many proven best software engineering practices, from object/component based technology, meta-data driven architecture types (archetypes) that are used to model the common structural and in some cases non-structural business entities such as customer, product, payment, etc. In order to address the consequences introduced by abstracting those common elements out of the specific industry model and be able to enable easy and meta-data based transformation, we properly decompose business components/services into a multi-layered business architecture. Therefore, process/components/services can be decomposed accordingly to facilitate the decomposition and abstraction, while maintaining certain level of necessary traceability across various artifacts. In the realization phase, existing assets/operational systems will be mapped and transformed to the required business components and services to best leverage those existing valuable industry/client investments. To support such a SOA based, model and business driven development process, existing tooling, especially the necessary transformation and integration capability, needs to be significantly enhanced. This tutorial will also present some recommendation based on some recent design and implementation, and they could be used to guide future tooling alignment and integration effort across software modeling, implementation and solution products. In addition, we will present how to leverage existing internal or external assets or product offerings and the open industry reference models and standards (such as ACCORD, ebXML, ARTS/IxRetail). This work is based on authors' collective experience in leading the large end-to-end client engagements across many industries, while promoting various industry leading software engineering best practices.
{"title":"Common Business Components and Services toward More Agile and Flexible Industry Solutions and Assets","authors":"M. Luo","doi":"10.1109/ICWS.2008.147","DOIUrl":"https://doi.org/10.1109/ICWS.2008.147","url":null,"abstract":"In many decades, many organizations, especially large consulting companies, have been designing, implementing and managing business solutions for every industry around the globe. But due to numerous limitations in process, tooling and skills, most of those solutions were made very specific to individual industry and client needs at its early design stage. Therefore, reuse and more importantly, managing the ever changing business requirements, become almost impossible. Service-orientation and architecture, model-driven business development provides us a new and powerful approach to facilitate asset based industry solution design and development. To further accelerate this, this tutorial will discuss an innovative approach that take advantage of many proven best software engineering practices, from object/component based technology, meta-data driven architecture types (archetypes) that are used to model the common structural and in some cases non-structural business entities such as customer, product, payment, etc. In order to address the consequences introduced by abstracting those common elements out of the specific industry model and be able to enable easy and meta-data based transformation, we properly decompose business components/services into a multi-layered business architecture. Therefore, process/components/services can be decomposed accordingly to facilitate the decomposition and abstraction, while maintaining certain level of necessary traceability across various artifacts. In the realization phase, existing assets/operational systems will be mapped and transformed to the required business components and services to best leverage those existing valuable industry/client investments. To support such a SOA based, model and business driven development process, existing tooling, especially the necessary transformation and integration capability, needs to be significantly enhanced. This tutorial will also present some recommendation based on some recent design and implementation, and they could be used to guide future tooling alignment and integration effort across software modeling, implementation and solution products. In addition, we will present how to leverage existing internal or external assets or product offerings and the open industry reference models and standards (such as ACCORD, ebXML, ARTS/IxRetail). This work is based on authors' collective experience in leading the large end-to-end client engagements across many industries, while promoting various industry leading software engineering best practices.","PeriodicalId":275591,"journal":{"name":"2008 IEEE International Conference on Web Services","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130667270","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}
WS-Security is an essential component of the Web services protocol stack. WS-Security provides end-to-end security properties (integrity, confidentiality, and authentication) through open XML standards. End-to-end message security assures the participation of non-secure transport intermediaries in message exchanges, which is a key advantage for Web-based systems and service-oriented architectures. However, point-to-point message security based on TLS (transport layer security) is known to significantly outperform WS-Security. In this paper we analyze the overhead of the WS-Security protocol processing stages and evaluate existing and new techniques for WS-Security signature performance optimizations to speed up end-to-end message integrity assurance and authentication.
{"title":"An Overview and Evaluation of Web Services Security Performance Optimizations","authors":"Robert A. van Engelen, Wei Zhang","doi":"10.1109/ICWS.2008.102","DOIUrl":"https://doi.org/10.1109/ICWS.2008.102","url":null,"abstract":"WS-Security is an essential component of the Web services protocol stack. WS-Security provides end-to-end security properties (integrity, confidentiality, and authentication) through open XML standards. End-to-end message security assures the participation of non-secure transport intermediaries in message exchanges, which is a key advantage for Web-based systems and service-oriented architectures. However, point-to-point message security based on TLS (transport layer security) is known to significantly outperform WS-Security. In this paper we analyze the overhead of the WS-Security protocol processing stages and evaluate existing and new techniques for WS-Security signature performance optimizations to speed up end-to-end message integrity assurance and authentication.","PeriodicalId":275591,"journal":{"name":"2008 IEEE International Conference on Web Services","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130628330","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}
Thanks to the advent of smart devices and the emergence of 3G/4G wireless technologies, services over mobile phones are becoming in many respects similar to those available over the PC based internet. Indeed mobile Web-based services, such as search, maps, presence, messaging, emails, productivity, social networking, and entertainment are becoming available in high-end phones from several device manufacturers. Mobile computing, however, promises richer applications and services based on location and context. Web technologies are being adapted and extended to support emerging mobile Internet services. However, location based mobile services present new significant challenges in terms of implementation and management complexity. In this presentation we will discuss the business trends of mobile services. Through a discussion of current projects at IBM Research, we will also present examples of the technology trends supporting scalable location based services.
{"title":"Mobile Services Business and Technology Trends","authors":"C. Gonzales","doi":"10.1109/ICWS.2008.142","DOIUrl":"https://doi.org/10.1109/ICWS.2008.142","url":null,"abstract":"Thanks to the advent of smart devices and the emergence of 3G/4G wireless technologies, services over mobile phones are becoming in many respects similar to those available over the PC based internet. Indeed mobile Web-based services, such as search, maps, presence, messaging, emails, productivity, social networking, and entertainment are becoming available in high-end phones from several device manufacturers. Mobile computing, however, promises richer applications and services based on location and context. Web technologies are being adapted and extended to support emerging mobile Internet services. However, location based mobile services present new significant challenges in terms of implementation and management complexity. In this presentation we will discuss the business trends of mobile services. Through a discussion of current projects at IBM Research, we will also present examples of the technology trends supporting scalable location based services.","PeriodicalId":275591,"journal":{"name":"2008 IEEE International Conference on Web Services","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131200525","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}
The specification, design and implementation of web service applications need to address three major aspects: Orchestration of Services, Conversation and Choreography. In distributed computing, abstractions such as scripts have been used to abstract patterns of communication hiding low level details. In this paper, we demonstrate an approach of integrating orchestration with scripting to depict a pattern of communication or conversations among various agents.
{"title":"Choreography = Orchestration with Scripts + Conversations","authors":"A. Bhattacharjee, R. Shyamasundar","doi":"10.1109/ICWS.2008.129","DOIUrl":"https://doi.org/10.1109/ICWS.2008.129","url":null,"abstract":"The specification, design and implementation of web service applications need to address three major aspects: Orchestration of Services, Conversation and Choreography. In distributed computing, abstractions such as scripts have been used to abstract patterns of communication hiding low level details. In this paper, we demonstrate an approach of integrating orchestration with scripting to depict a pattern of communication or conversations among various agents.","PeriodicalId":275591,"journal":{"name":"2008 IEEE International Conference on Web Services","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128311870","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}
Central to the notion of dynamic binding and loose coupling that underlie service-oriented architectures is dynamic service discovery. At the heart of most service discovery mechanisms is a matchmaking algorithm that matches a semantic query to a set of compatible web service advertisements. These advertisements also describe service semantics as a set of OWL-S terms. Most current matchmaking algorithms are based on semantic matching of input and output terms alone. However, a complete description of the service profile also includes preconditions and effects and in order to find a true match the matchmaker needs to match on these aspects of the advertisement as well. In this paper, we make the case for augmenting existing matchmaking algorithms with preconditions and effects in the context of Web Services. Further, we propose an algorithm for condition matching that is layered on the top of input-output term matching that overcomes the limitations of existing work. Although the problem of condition matching is NP-Complete, we can overcome this limitation by using a set of heuristics that gives us results in polynomial time. We also analyze complexity of the algorithm by comparing it with brute force approach of matching. We show that our algorithm yields results more efficiently than brute force matching but with the same accuracy.
{"title":"On Extending Semantic Matchmaking to Include Preconditions and Effects","authors":"U. Bellur, H. Vadodaria","doi":"10.1109/ICWS.2008.18","DOIUrl":"https://doi.org/10.1109/ICWS.2008.18","url":null,"abstract":"Central to the notion of dynamic binding and loose coupling that underlie service-oriented architectures is dynamic service discovery. At the heart of most service discovery mechanisms is a matchmaking algorithm that matches a semantic query to a set of compatible web service advertisements. These advertisements also describe service semantics as a set of OWL-S terms. Most current matchmaking algorithms are based on semantic matching of input and output terms alone. However, a complete description of the service profile also includes preconditions and effects and in order to find a true match the matchmaker needs to match on these aspects of the advertisement as well. In this paper, we make the case for augmenting existing matchmaking algorithms with preconditions and effects in the context of Web Services. Further, we propose an algorithm for condition matching that is layered on the top of input-output term matching that overcomes the limitations of existing work. Although the problem of condition matching is NP-Complete, we can overcome this limitation by using a set of heuristics that gives us results in polynomial time. We also analyze complexity of the algorithm by comparing it with brute force approach of matching. We show that our algorithm yields results more efficiently than brute force matching but with the same accuracy.","PeriodicalId":275591,"journal":{"name":"2008 IEEE International Conference on Web Services","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128463427","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}
Distributed SOA computing environments usually use SOAP intermediaries that sit between senders and receivers to mediate SOAP messages. The intermediaries may add support services to the SOAP message exchange, such as routing, logging, and security. The typical processing by a SOAP intermediary is parsing the incoming SOAP messages, checking the data in each message, and then serializing the messages to put them back into the network. DOM is one of the popular interfaces to navigate an XML tree. Existing DOM implementations are not efficient for SOAP intermediary processing. Existing DOM implementations parse XML data to create tree data and traverse the tree data for serialization. Typically, a SOAP intermediary rarely modifies the tree data. In such situations, creating the tree data and serializing it back into XML data is computationally expensive. We propose a DOM implementation based on a hybrid data representation that uses both literal XML and DOM objects. In our implementation, a SOAP intermediary stores the original literal XML representation and reuses it to avoid traversing all of the tree data during serialization. We prototyped the DOM implementation and evaluated its performance.
{"title":"Lazy XML Parsing/Serialization Based on Literal and DOM Hybrid Representation","authors":"Toshiro Takase, Keishi Tajima","doi":"10.1109/ICWS.2008.89","DOIUrl":"https://doi.org/10.1109/ICWS.2008.89","url":null,"abstract":"Distributed SOA computing environments usually use SOAP intermediaries that sit between senders and receivers to mediate SOAP messages. The intermediaries may add support services to the SOAP message exchange, such as routing, logging, and security. The typical processing by a SOAP intermediary is parsing the incoming SOAP messages, checking the data in each message, and then serializing the messages to put them back into the network. DOM is one of the popular interfaces to navigate an XML tree. Existing DOM implementations are not efficient for SOAP intermediary processing. Existing DOM implementations parse XML data to create tree data and traverse the tree data for serialization. Typically, a SOAP intermediary rarely modifies the tree data. In such situations, creating the tree data and serializing it back into XML data is computationally expensive. We propose a DOM implementation based on a hybrid data representation that uses both literal XML and DOM objects. In our implementation, a SOAP intermediary stores the original literal XML representation and reuses it to avoid traversing all of the tree data during serialization. We prototyped the DOM implementation and evaluated its performance.","PeriodicalId":275591,"journal":{"name":"2008 IEEE International Conference on Web Services","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123060036","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}
The rapid adoption of model-driven design (MDD) methodology in SOA-based solution design requires an adaptive tooling environment that can systematically improve designers' productivity. Ideally, the environment should be flexible enough to both handle frequently changing requirements and support new features without intensive coding efforts. In this paper, we provide a coding-free enablement framework to realize such extensible tooling environments based on a mathematical abstraction of key models in SOA solution design using graph theory definition. This abstraction formalizes the SOA modeling logic and semantics, and also guides the implementation of an extensible and customizable tooling environment. As a case study, we illustrate how our framework is able to transform the development style from Java programming to text editing through our implementation of a UML 2.0 based SOA modeling environment using IBMpsilas Rational Software Architect (RSA) development platform.
{"title":"Coding-Free Model-Driven Enablement Framework and Engineering Practices of a Context-Aware SOA Modeling Environment","authors":"N. Zhou, Yi-Min Chee, Liang-Jie Zhang","doi":"10.1109/ICWS.2008.77","DOIUrl":"https://doi.org/10.1109/ICWS.2008.77","url":null,"abstract":"The rapid adoption of model-driven design (MDD) methodology in SOA-based solution design requires an adaptive tooling environment that can systematically improve designers' productivity. Ideally, the environment should be flexible enough to both handle frequently changing requirements and support new features without intensive coding efforts. In this paper, we provide a coding-free enablement framework to realize such extensible tooling environments based on a mathematical abstraction of key models in SOA solution design using graph theory definition. This abstraction formalizes the SOA modeling logic and semantics, and also guides the implementation of an extensible and customizable tooling environment. As a case study, we illustrate how our framework is able to transform the development style from Java programming to text editing through our implementation of a UML 2.0 based SOA modeling environment using IBMpsilas Rational Software Architect (RSA) development platform.","PeriodicalId":275591,"journal":{"name":"2008 IEEE International Conference on Web Services","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134040248","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
扫码关注我们
求助内容：
应助结果提醒方式：