{"title":"An Operational Model and Language Support for Securing Web Services","authors":"Gwan-Hwan Hwang, Yu-Hsuan Chang, Tao-Ku Chang","doi":"10.1109/ICWS.2007.40","DOIUrl":"https://doi.org/10.1109/ICWS.2007.40","url":null,"abstract":"In this paper, we propose an operational model to support the security of Web services. In addition to satisfying the basic security requirements, including authentication, confidentiality, data integrity, and nonrepudiation, the proposed model supports security mechanisms such as element-wise encryption and temporal-based element-wise digital signatures. Furthermore, the proposed model supports a flexible key specification scheme called explicit key definition, which can be used to define three different types of keys: static keys, dynamically selected keys, and keys applied to digital signatures. The service requester can determine the identity of the keys used without negotiating with the service provider. The implementation and experimental results demonstrate the feasibility of the proposed system.","PeriodicalId":208234,"journal":{"name":"IEEE International Conference on Web Services (ICWS 2007)","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130921615","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":"Handling User Preferences and Added Value in Discovery of Semantic Web Services","authors":"L. Kovács, A. Micsik, Peter Pallinger","doi":"10.1109/ICWS.2007.96","DOIUrl":"https://doi.org/10.1109/ICWS.2007.96","url":null,"abstract":"This paper presents the discovery engine implemented for the INFRAWEBS project, which combines a traditional IR-based pre-filtering step and a logic-based matching implemented in Prolog. The logic-based step of discovery uses a novel technique based on Prolog-style unification of terms. This approach performs well in finding matches of intersection type, and it also provides possibilities to compare, rank and explain these matches. Furthermore, it can support matching and ranking based on users' preferences compared to the added value offered by services.","PeriodicalId":208234,"journal":{"name":"IEEE International Conference on Web Services (ICWS 2007)","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128916355","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}
K. Ono, Yuichi Nakamura, Fumiko Satoh, T. Tateishi
{"title":"Verifying the Consistency of Security Policies by Abstracting into Security Types","authors":"K. Ono, Yuichi Nakamura, Fumiko Satoh, T. Tateishi","doi":"10.1109/ICWS.2007.187","DOIUrl":"https://doi.org/10.1109/ICWS.2007.187","url":null,"abstract":"The service-oriented architecture (SOA) makes application development easier, because applications can be built from existing services with a bottom-up methodology. However, it is difficult to determine if a desired new service can be built from existing services. Not only the functional consistency of the existing services, but also the consistency of their non-functional (such as security) aspects must be verified. Message protection is an aspect of security. Every service needs an appropriate security policy defining the protection of messages exchanged between the parties to the service. Because of the intricacy of the Web services security policy language, it is difficult to verify the consistency of the security policies. We are developing a method to verify the consistency of security policies by abstracting them. Each security policy is abstracted, and then attached as a security type to the corresponding service in the application model. The security type denotes a security level for message protection. The security developer defines the possible abstraction methods. In this paper, we define the constraint of abstraction methods based on the semantics of the policy language. And also we state verifying the consistency of security types by using information flow analysis.","PeriodicalId":208234,"journal":{"name":"IEEE International Conference on Web Services (ICWS 2007)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127654971","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":"Efficient Web Services Composition and Optimization Techniques","authors":"Kwangcheol Shin, Sang-Yong Han","doi":"10.1109/ICWS.2007.83","DOIUrl":"https://doi.org/10.1109/ICWS.2007.83","url":null,"abstract":"In this paper, we suggest a simple but efficient solution for the Web service composition. When we search Web services for composition, we visit the service which gives the biggest number of new responses, because then there is a higher probability to invoke more other Web services. And also we suggest optimization techniques to get optimized composition result. Optimization processes consist of two phases: one is to remove unnecessary Web services and the other is to find the best starting point of a composition. Test results show that the proposed composing and optimization methods can compose Web services in optimal length in fast way.","PeriodicalId":208234,"journal":{"name":"IEEE International Conference on Web Services (ICWS 2007)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134502010","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. Jain, C. Pu, S. Iyengar, M. Blake, Carl K. Chang
{"title":"Services Computing in Daily Work: Service Engineering vs. Software Engineering","authors":"H. Jain, C. Pu, S. Iyengar, M. Blake, Carl K. Chang","doi":"10.1109/ICWS.2007.163","DOIUrl":"https://doi.org/10.1109/ICWS.2007.163","url":null,"abstract":"Today, more and more software are augmented with service-oriented packaging. At the same time, more and more business and government services are provided and offered in the form of software. However, there are debates on whether and how much service engineering has in common with software engineering.","PeriodicalId":208234,"journal":{"name":"IEEE International Conference on Web Services (ICWS 2007)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115616311","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":"On Completeness of Web Service Compositions","authors":"Zhongnan Shen, Jianwen Su","doi":"10.1109/ICWS.2007.132","DOIUrl":"https://doi.org/10.1109/ICWS.2007.132","url":null,"abstract":"The main objective of composing web services is to identify usable web services through discovery and to orchestrate or assemble selected services according to the goal specification. In this paper, we formulate and study a framework of composing web services through discovery from a given goal service. A general algorithm for composition with or without a goal service invocation request is developed. Two notions of completeness, \"schema completeness\" and \"instance completeness\", are defined, which measure the ability of how thoroughly an algorithm can find a composition. The two notions correspond to compositions without or with a goal service request, resp. We show that schema completeness can be achieved by depth-first or breadth-first search combined with a tightening strategy. Further, the breadth-first search avoids redundancy. We also show that while instance complete algorithms exist, they generally need do invoke all candidate services.","PeriodicalId":208234,"journal":{"name":"IEEE International Conference on Web Services (ICWS 2007)","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124251409","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":"ModelingWeb Services using Semantic Graph Transformations to aid Automatic Composition","authors":"Zhen Liu, A. Ranganathan, A. Riabov","doi":"10.1109/ICWS.2007.129","DOIUrl":"https://doi.org/10.1109/ICWS.2007.129","url":null,"abstract":"In this paper, we propose a novel way of modeling Web services using semantic graph transformations. Each operation supported by a Web service is associated with a semantic annotation that describes the input and output messages using RDF graph patterns. The terms used in these patterns are defined in OWL ontologies that describe the application domain. A key difference between our model and existing semantic Web service models like OWLS is that it describes the inputs and outputs in terms of instance-based graph patterns, rather than in terms of concepts. This allows associating a rich set of constraints on the input and output data in terms of relations between instances. We also propose a composition model for Web service operations, that describes the conditions for composing services into workflows. The composition model includes the notion of semantic propagation, i.e. the semantic description of the output message of an operation depends on the semantics of the input message. We have developed a planner that uses this model to compose services, automatically. The planner uses DLP reasoning to aid plan search. We present performance results for the planner.","PeriodicalId":208234,"journal":{"name":"IEEE International Conference on Web Services (ICWS 2007)","volume":"111 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124252632","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}
G. Chafle, Gautam Das, K. Dasgupta, Arun Kumar, S. Mittal, Sougata Mukherjea, B. Srivastava
{"title":"An Integrated Development Environment for Web Service Composition","authors":"G. Chafle, Gautam Das, K. Dasgupta, Arun Kumar, S. Mittal, Sougata Mukherjea, B. Srivastava","doi":"10.1109/ICWS.2007.38","DOIUrl":"https://doi.org/10.1109/ICWS.2007.38","url":null,"abstract":"Web services provide an instantiation of the loosely coupled service-oriented architecture and facilitate the process of enterprise application integration by encapsulating information, software, and other resources. However, to exploit the true potential of web services, it is critical to develop technologies and tools for composing new services from existing ones. While numerous composition approaches have been developed in the past, very little has been done towards tooling. What is clearly lacking is an Integrated Development Environment (IDE) to ease the process of composition, thereby reducing development time and integration efforts. In this paper, we build on our previous work on service composition, and present an IDE for end-to-end composition of web services. We elaborate on the design of the IDE, describe its integration with existing technologies, and discuss its usability based on the findings of a user survey.","PeriodicalId":208234,"journal":{"name":"IEEE International Conference on Web Services (ICWS 2007)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124437432","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":"On communication and coordination issues of Semantic Web Services","authors":"M. O. Shafiq, Michał Zaremba, D. Fensel","doi":"10.1109/ICWS.2007.131","DOIUrl":"https://doi.org/10.1109/ICWS.2007.131","url":null,"abstract":"Semantic Web services have been envisioned in the form of different conceptual models like OWL-S, WSMO and WSDL-S. Web services execution environment (WSMX) is our reference implementation for semantic Web service conceptual model, WSMO. In this paper, we have investigated the communication problems that semantic Web services systems are facing. We have proposed how to overcome these problems by using triple space computing as an extended space-based computing paradigm for semantic Web data. We have proposed the usage of triple space computing to improve the internal communication and coordination during the process of execution of semantic Web services. We also have presented and analyzed the experimental results to demonstrate the effectiveness of our solution.","PeriodicalId":208234,"journal":{"name":"IEEE International Conference on Web Services (ICWS 2007)","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114787841","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":"A-SOAP: Adaptive SOAP Message Processing and Compression","authors":"Marcel-Catalin Rosu","doi":"10.1109/ICWS.2007.29","DOIUrl":"https://doi.org/10.1109/ICWS.2007.29","url":null,"abstract":"Adaptive SOAP (A-SOAP,) is a practical approach to SOAP message compression. A-SOAP separates mechanisms from policies and allows for incremental deployment. This paper focuses on its three underlying mechanisms: accelerating message composition, reducing parsing overheads, and compressing messages, which leverages the previous two mechanisms. In contrast to existing dictionary-based compression techniques, A- SOAP does not require dictionaries to be exchanged between the two endpoints in advance; its dictionaries are built incrementally, as the communication progresses. A- SOAP endpoints agree on the dictionary management policy using a mechanism similar to HTTP content negotiation, possibly using a dedicated HTTP header field. In experiments with short messages and a simple policy, an A-SOAP prototype reduces processing overheads by half and message sizes by an order of magnitude without increasing message latencies.","PeriodicalId":208234,"journal":{"name":"IEEE International Conference on Web Services (ICWS 2007)","volume":"657 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116486224","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}