{"title":"Negotiating Agreements Using Policies in Ubiquitous Computing Scenarios","authors":"V. Ramakrishna, Kevin Eustice, P. Reiher","doi":"10.1109/SOCA.2007.32","DOIUrl":"https://doi.org/10.1109/SOCA.2007.32","url":null,"abstract":"The emerging ubiquitous computing vision is characterized by decentralized and ad hoc interoperation among devices and networks for access to services. Interacting devices or groups have highly heterogeneous resources and security and privacy concerns, and invariably belong to different security or administrative domains. Flexible and automated mechanisms are needed to achieve effective cross-domain interoperation that leads to a service or resource sharing agreement. We describe how policies representing system state, requirements and intent can be used to negotiate agreements between mutually unknown and untrusted systems that differ widely in their characteristics. Our negotiation protocol uses a small number of message types, which we have found to be sufficient for supporting a wide variety of application scenarios that occur on the Web, and that will likely be important in the ubiquitous computing environments of the future.","PeriodicalId":226255,"journal":{"name":"IEEE International Conference on Service-Oriented Computing and Applications (SOCA '07)","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125296537","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 Middleware Approach for Behavior Consistent Composition of Services in Smart Space","authors":"Qin Yin, Hao Hu, Jun Li, Jian Lu","doi":"10.1109/SOCA.2007.4","DOIUrl":"https://doi.org/10.1109/SOCA.2007.4","url":null,"abstract":"In recent years, service-oriented computing and pervasive computing are emerging as the next computing paradigms. Applying service-oriented technologies in smart space, a typical pervasive environment, facilitates the interaction of heterogeneous service components and the construction of pervasive applications. However, it also raises the new challenge of extending service specifications, composing available services and designing a supported middleware. To meet the challenge, we introduce a service-oriented component model which extends service specification with behavior and capability information. Based on it, we propose an approach of modeling composite services by UML activity diagrams and ensuring behavior consistency with respect to control flow. To support behavior consistent composition of services in smart space, SOBECA (service- oriented, behavior and capability supported architecture) system is designed and implemented.","PeriodicalId":226255,"journal":{"name":"IEEE International Conference on Service-Oriented Computing and Applications (SOCA '07)","volume":"2013 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114757652","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":"Implementation of Supply Chains Coordination Using Semantic Web Service Composition","authors":"Yongjun Liu, G. Nie","doi":"10.1109/SOCA.2007.24","DOIUrl":"https://doi.org/10.1109/SOCA.2007.24","url":null,"abstract":"Fierce competition due to globalization, demand diversity and technological breakthroughs stimulates enterprises to coordinate in a supply chain in order to gain mutual benefits. In such a distributive, autonomous and dynamic business environment, semantic Web services which combines Web services architecture and semantic Web is more adapted to facilitate supply chain coordination than existing information technologies. In this paper, we propose OWL-S as ontology for describing heterogeneous Web services in supply chains and analyze the interaction process, including automated discovery, composition and invocation of semantic Web services, by means of OWL-S. Specifically, we present a framework to facilitate automated composition of semantic Web services based on mediator and bidirectional chaining composition algorithm which is more adaptive, accurate and effective.","PeriodicalId":226255,"journal":{"name":"IEEE International Conference on Service-Oriented Computing and Applications (SOCA '07)","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131230266","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 Model Checking Approach to Verify BPEL4WS Workflows","authors":"D. Bianculli, C. Ghezzi, P. Spoletini","doi":"10.1109/SOCA.2007.5","DOIUrl":"https://doi.org/10.1109/SOCA.2007.5","url":null,"abstract":"The increasing diffusion of service oriented computing in critical business transactions demands reliability and correctness of the workflow logic representing web service orchestrations. We present an approach for the formal verification of workflow-based compositions of web services, described in BPEL4WS. Workflow processes can be verified in isolation, assuming that the external services invoked are known only through their interface. It is also possible to verify that the actual composition of two or more processes behaves correctly. We can verify deadlock freedom, properties expressed as data-bound assertions written in WS-CoL, a specification language for web services, and LTL temporal properties. Our approach is based on the software model checker Bogor, whose language supports the modeling of all BPEL4WS constructs. We provide an empirical evaluation of our approach and we compare the results with other BPEL4WS model checking tools.","PeriodicalId":226255,"journal":{"name":"IEEE International Conference on Service-Oriented Computing and Applications (SOCA '07)","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132645780","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":"Improving Performance of Composite Web Services","authors":"D. Dyachuk, R. Deters","doi":"10.1109/SOCA.2007.25","DOIUrl":"https://doi.org/10.1109/SOCA.2007.25","url":null,"abstract":"Composite Web Services (CWS) aggregate multiple Web Services in one logical unit in order to accomplish a complex task (e.g. business process). This orchestration is typically achieved by use of a workflow language. Workflows facilitate the process of aggregating existing atomic and other CWS into new service layers. However due to numerous consumers and possible fluctuations in their arrivals the services performance under various loads becomes an important issue. Service compositions exposed to transient overloads expose problematic behaviour due to complex interactions of the underlying services. This in its turn usually results in the performance degradation. This paper proposes employing scheduling service requests in order to improve the overall CWS performance in overload situations. Different scheduling policies are evaluated for the CWS workflow patterns sequence and split-synchronization. In addition the paper presents scheduling policy called Augmented Least Work Reaming (ALWKR), that extends LWKR by taking advantage of existing workflow topology information.","PeriodicalId":226255,"journal":{"name":"IEEE International Conference on Service-Oriented Computing and Applications (SOCA '07)","volume":"183 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122353518","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":"Experience Report: Use of SAP NetWeaver Technology to realize SOA-based BPM Tasks","authors":"R. Hirsch","doi":"10.1109/SOCA.2007.18","DOIUrl":"https://doi.org/10.1109/SOCA.2007.18","url":null,"abstract":"In corporate settings where service-oriented architecture (SOA) are being considered as a technical foundation to support business process management (BPM) efforts, there are often questions regarding the optimal environment for process execution. This paper focuses on our experiences with such environments based on SAP NetWeaver technology - in particular composite application framework's guided procedures. Although this paper will focus on our experiences with this product family and SAP's Enterprise SOA approach, others interested in the practical application in similar environments will find information about the problems faced and their resulting solutions. The hand-off between process design and process implementation in a corporate setting will be of particular interest to those examining the interaction between SOA theory and its real-world manifestation in a large organization.","PeriodicalId":226255,"journal":{"name":"IEEE International Conference on Service-Oriented Computing and Applications (SOCA '07)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131011098","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 Comprehensive Approach to Service Adaptation","authors":"Soo-Ho Chang, H. La, Soo Dong Kim","doi":"10.1109/SOCA.2007.2","DOIUrl":"https://doi.org/10.1109/SOCA.2007.2","url":null,"abstract":"In service-oriented computing (SOC), services are designed not just for a dedicated client, but for a family of potential clients who typically discover and compose services dynamically. For services to be generic and hence serviceable to different users in a given domain, the service variability among different clients must be analyzed and modeled into service components. Furthermore, effective methods for dynamically adapting services for different invocations and contexts must be provided. Nonetheless, the research on service variability management and service adaptation is still in early stage. In this paper, we survey representative software adaptation methods, and propose four types of service variability. Then we present practical adaptation methods for resolving the four types of service variability. The proposed adaption methods presented in this paper can be implemented in a typical Web service environment with WSDL, UDDI and BPEL.","PeriodicalId":226255,"journal":{"name":"IEEE International Conference on Service-Oriented Computing and Applications (SOCA '07)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125272692","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":"Service-Oriented Framework for Internet Applications","authors":"T. Shan, Winnie W. Hua","doi":"10.1109/SOCA.2007.39","DOIUrl":"https://doi.org/10.1109/SOCA.2007.39","url":null,"abstract":"This paper presents a broad-spectrum service- oriented framework for Internet applications (SOFIA), to efficiently manage the architecture design complexity and govern the solution development lifecycle of information systems in a service-oriented paradigm. This overarching model comprises multiple dimensions of design activities: system architecture, development lifecycle, technology solutions, and system management & governance. Further, these four dimensions consist of a string of elements: conceptual view, logical view, physical view, topology view, methodology/process, design/develop, testing, build/deploy, application framework, utility components, integration mechanism, security solutions, quality of services, system management, governance, and tools modules. The characteristics and features of the constituent elements in the SOFIA model are articulated in great detail. Applications and future trends are also discussed in the context. This holistic framework provides a comprehensive taxonomy of the design and process artifacts from both design-time and run-time perspectives. It helps build high-quality service-oriented solutions focused on different domains, and in the meantime keeps the agility, flexibility and adaptivity of the overall model.","PeriodicalId":226255,"journal":{"name":"IEEE International Conference on Service-Oriented Computing and Applications (SOCA '07)","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121022352","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":"Context-aware Process Support through Automatic Selection and Invocation of Semantic Web Services","authors":"S. Dietze, A. Gugliotta, J. Domingue","doi":"10.1109/SOCA.2007.15","DOIUrl":"https://doi.org/10.1109/SOCA.2007.15","url":null,"abstract":"Current technologies aimed at supporting processes - whether it is a business process or a learning process - are usually based on using a dedicated set of metadata to describe a process which refers to some specific data, used in the process. Process metadata is usually specific to a standard specification - like the Business Process Modeling Notation (BPMN) or the IMS Learning Design Standard - while used process data is specific to a specific process context. These facts limit the re-usability of a process model across different standards and contexts. To overcome these issues, this paper describes an innovative semantic web service-oriented architecture aimed at changing this data- and metadata-based paradigm to a highly dynamic service-oriented approach following the idea of a semantic abstraction from process metadata as well as process data. This approach enables a dynamic adaptation to specific actor needs and objectives and supports the development of abstract semantic process models which are re-usable across different contexts and standards. To illustrate the application of our approach, we describe a prototypical application to the domain of E-Learning.","PeriodicalId":226255,"journal":{"name":"IEEE International Conference on Service-Oriented Computing and Applications (SOCA '07)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127937617","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":"The Knowledge Grid Based Intelligent Electronic Commerce Recommender Systems","authors":"Pingfeng Liu, G. Nie, Donglin Chen, Zhichao Fu","doi":"10.1109/SOCA.2007.46","DOIUrl":"https://doi.org/10.1109/SOCA.2007.46","url":null,"abstract":"Centralized recommender systems can not resolve the contradiction between high recommendation quality and timely response, as well as that between limited recommendation range and ever rich information on the Web. Distributed recommender systems are expected to improve the recommendation quality while maintaining high performance. Large-scale distributed recommendation involves the coordination of various heterogeneous resources which are located on different nodes and need to be represented uniformly and organized normally into the resource space so that a semantically interactive environment can be formed. In this paper the recommendation task is defined as a knowledge based workflow and the knowledge grid is exploited as the platform for knowledge sharing and knowledge service which provides the functions of knowledge discovery, knowledge fusion and knowledge based workflow definition. The rationale of the knowledge grid based intelligent electronic recommender systems (KGBIECRS) is discussed and the service oriented architecture of the knowledge grid is presented. The knowledge grid depends on the semantic grid as the semantically interactive platform to intelligently coordinate the heterogeneous resources on the grid so that the recommendation task submitted by the knowledge grid as a knowledge based workflow can be performed intelligently and adaptively. How to implement the system is also discussed. Finally an example of travel recommendation is given to elaborate the recommendation process.","PeriodicalId":226255,"journal":{"name":"IEEE International Conference on Service-Oriented Computing and Applications (SOCA '07)","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130661714","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}