ACT4SOC 2010 Abstracts


Full Papers
Paper Nr: 3
Title:

Specifying formal executable behavioral models for structural models of service-oriented components

Authors:

Patrizia Scandurra and Elvinia Riccobene

Abstract: This paper presents a behavioral formalism based on the Abstract State Machine (ASM) formal method and intended for high-level, platform-independent, executable specification of Service-oriented Components. We complement the recent Service Component Architecture – a graphical notation able to provide the overall and the components structure – with an ASM-based formalism able to describe the workflow of the service orchestration and the services internal behavior. The resulting service-oriented component model provides an ASM-based representation of both the structural and behavioral aspects of service-oriented systems, like service interactions, service orchestration, service tasks and compensation. The ASM formal description of a service-oriented system is suitable for rigorous execution-platform-independent analysis.
Download

Paper Nr: 5
Title:

Semi-automatic dependency model creation based on process descriptions and SLAs

Authors:

Matthias Winkler, Thomas Springer, Edmundo D. Trigos and Alexander Schill

Abstract: In complex service-oriented business processes the composed services depend on other services to contribute to the common goal. These dependencies have to be considered when service compositions should be changed. Information about dependencies is only implicitly available from service level agreements and process descriptions. In this paper we present a semi-automatic approach to analyze service dependencies and capture information about them explicitly in a dependency model. Furthermore, we describe a system architecture which covers the whole process of dependency analysis, dependency model creation and provisioning. It has been implemented based on a healthcare scenario.
Download

Paper Nr: 12
Title:

An Evaluation of Dynamic Web Service Composition Approaches

Authors:

Ravi Khadka and Brahmananda Sapkota

Abstract: Web services composition has received much interest from both the academic researchers and industry to support cross-enterprise application integration. Promising research projects and their prototypes are being developed. At the same time the web service environment is getting more dynamic as numerous web services are being published by the service provider in the Internet. So, to meet the user's requirements in this dynamic environment, dynamic web service composition appears to be promising. But still many compositional issues have to be overcome like dynamic discovery of services, compositional correctness, transactional supports etc. In this paper we discuss some of these issues and then investigate some of the promising dynamic web service composition frameworks. We evaluate those frameworks on the basis of the issues and present how the future research can benefit by addressing those issues of dynamic web service composition.
Download

Paper Nr: 19
Title:

A Diffusion Mechanism for Online Advertising Service over Social Media

Authors:

Yung-Ming Li and Ya-Lin Shiu

Abstract: Social media has increasingly become a popular platform for diffusing information, through the message sharing of numerous participants in a social network. Recently, companies attempt to utilize social media to expose their advertisements to appropriate customers. The success of message propagation in social media highly depends on the content relevance and closeness of social relationships. In this paper, considering the factors of user preference, network influence, and propagation capability, we propose a social diffusion mechanism to discover the appropriate and influential endorsers from the social network to deliver relevant advertisements broadly. The proposed mechanism is implemented and verified in one of the most famous micro-blogging system- Plurk. Our experimental results shows that the proposed model could efficiently enhance the advertising exposure coverage and effectiveness.
Download

Paper Nr: 21
Title:

ENABLING PUBLISH/SUBSCRIBE WITH COTS WEB SERVICES ACROSS HETEROGENEOUS NETWORKS

Authors:

Frank T. Johnsen, Espen Skjervold, Ketil Lund, Trude Hafsøe and Frank T Johnsen

Abstract: In scenarios such as search-and-rescue operations, it may be required to transmit information across multiple, heterogeneous networks, often experiencing unreliable connections and limited bandwidths. Typically, there will be traffic within and across radio networks, as well as back to a central infrastructure (e.g., a police command post) when a reach-back link is available. This implies that using Publish/Subscribe is advantageous in order to reduce network traffic, and that store-and-forward capabilities are required to handle the instability of radio networks. At the same time, it is desirable to use commercial software based on standards as far as possible, in order to reduce cost and development time, and to ease interconnection of systems from different organizations. We therefore propose using SOA based on Web services in such scenarios. Indeed, Web services are targeted at stable, high-speed networks, but our work shows that such usage is feasible. In this paper, we add Publish/Subscribe functionality to standard, unmodified Web services through the use of our prototype middleware solution called the Delay and Disruption Tolerant SOAP Proxy (DSProxy). In addition to the ability to make Web services delay and disruption tolerant, the DSProxy enables SOAs in scenarios as described above. The DSProxy has been tested in field trials, with promising results.
Download

Paper Nr: 22
Title:

Enterprise Interoperability Ontology for SOC applied to logistics

Authors:

Wout Hofman and Wout Hofman

Abstract: The Service Oriented Architecture (SOA) can be applied to enterprise integration. It creates an Internet of services for enterprises. Service science defines services in term of value propositions of enterprises to customers. Both service science and the Internet of services require a form of mediation between customer requirements and service capabilities like for instance defined in WSMO. However, mediation is not yet automated, thus can not be applied real time. Furthermore, many business areas already have agreement on semantics and interaction sequencing based on existing business documents, thus, mediation is not always required for a certain business area. This paper presents an ontology to support business services (Ontology Web Language (OWL)). The concepts shared at business level are based on existing approaches like Resource, Event, Agent used for auditing and control and builds upon service frameworks like OWL-S. The ontology will be specialized to logistics and compared with other approaches that might be applied to enterprise integration.
Download

Paper Nr: 24
Title:

Service Tailoring: Towards Personalized Homecare Services

Authors:

Mohammad Z. Eslami, Alireza Zarghami, Brahmananda Sapkota and Marten van Sinderen

Abstract: Health monitoring and healthcare provisioning for elderly at home have received increasingly attention nowadays. Since each elderly person is unique, with a unique lifestyle, living environment and health condition, personalization is an essential feature of homecare software services. Service tailoring, which is creating a new service to meet individual requirements may be achieved in a cost-effective and time-efficient manner if new services can be configured and composed from already existing services. In this paper, we propose an effective service tailoring process and architecture to personalize homecare services according to the individual care-receiver’s needs. In addition, we present a scenario to highlight the need for service tailoring and to demonstrate the feasibility of the proposed approach.
Download

Paper Nr: 25
Title:

Optimizing Service Selection for Probabilistic QoS Attributes

Authors:

Ulrich Lampe, Dieter Schuller, Julian Eckert and Ralf Steinmetz

Abstract: The service selection problem (SSP) -- i.e. choosing from sets of functionally equivalent services in order to to fulfill certain business process steps based on non-functional requirements -- has frequently been adressed in literature considering deterministic values for the Quality of Service (QoS) attributes. However, the usage of deterministic values does not reflect the uncertainty about the actual value of an attribute during execution, thus ignoring the risk of QoS violations. In the paper at hand, a simulative step, based on stochastic QoS attributes, is performed as complement for optimally solving the SSP using linear programming methods. With this two-step approach, uncertainties in the selected set of services can be explicitly revealed and addressed through repeated selection steps, thus allowing to prevent the violation of QoS restrictions much more effectively.
Download

Paper Nr: 26
Title:

From i* Models to Service Oriented Architecture Models

Authors:

Carlos Becerra, Hernán Astudillo and Xavier Franch

Abstract: Requirements engineering and architectural design are key activities for successful development of software systems. Specifically in the service-oriented development systems there is a gap between the requirements description and architecture design and assessment. This article presents a systematic process for systematically deriving service-oriented architecture from goal-oriented models. This process allows generate candidate architectures based on i* models and helps architects to select a solution using services oriented patterns for both services and components levels. The process is exemplified by applying it in a synthesis metadata and assembly learning objects system.
Download

Paper Nr: 28
Title:

Model Checking Verification of Web Services Composition

Authors:

Abdallah Missaoui and Abdallah Missaoui

Abstract: Web services composition is becoming very important in today's service oriented business environment. Different services frequently have semantic inconsistencies which may lead to the failure of the services composition. In order to verify the correctness of the Web Services composition, we present a method for analyzing and verifying interactions among web services. We model web service composition based on special class of Petri nets: open workflow nets. We translate this composition to Promela, a source language of SPIN model checker, designed to describe communicating distributed services. At the requirements level, model checking is used to validate the specification against a set of formulae specified into LTL which are used to verify constraints satisfaction of web services composition.
Download