SERVICES-I 2008

The Role of Service Granularity in A Successful SOA Realization – A Case Study

Naveen Kulkarni,Vishal Dwivedi — 1/18/2009 21:21

This paper presents the case study of a leading US financial institution International Financial and Brokerage Services (IFBS),* which faced SOA realization issues while it followed an in-appropriate SOA design strategy. While riding on the SOA hype wave, it implemented thousands of fine grained webservices without paying much heed to issues like governance, and usage within its business processes. IFBS’s service portfolio comprises of a gamut of services which although on paper looked good, but presented a lot of challenges in their usage and maintenance. We address some of these issues in this paper and present our framework for SOA adoption (called INSOAP) which can be effective in a similar end- to-end SOA adoption exercise in an enterprise.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Development of Adaptive Service-based Software

Stephen S. Yau — 1/21/2009 00:23

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Business Cloud: Bridging The Power of SOA and Cloud Computing

Liang-Jie Zhang — 1/20/2009 22:36

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Cloud Computing

Mahmoud Naghshineh — 11/21/2008 00:18

Cloud computing is viewed as a game-changing paradigm for enterprise and internet environments and

has created palatable excitement among industry and academic leaders. It offers great opportunities for

innovative web-delivered services beyond the traditional computing and internet models and is at the

intersection of major new trends such as large scale mega datacenters, new programming models, social

and collaborative networking, and innovative IT service delivery paradigms. In this talk, we will describe

key cloud computing trends and innovation opportunities that it promises to create in traditional IT

environments and the potential it offers to fuel the explosive growth in social networking, mobile internet,

and open collaboration platforms.

Web Services for Group Decision and Negotiation Support

Tung Bui,Freimut Bodendorf,Rong Chang,Michael Goul — 3/12/2009 03:38

The purpose of this panel is to present a number recent achievements in the use of Web services to support the many bargaining and negotiation activities in business. Discussion topics include, but are not limited to, the latest Web services technologies in distributed and mobile computing, design methodologies to embed Wed services to assist the business users in different phases of group decision and negotiation processes-before, during and after, and directions for future research.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Systems, Tools, and Environments in Services Computing

Vladimir Getov,Calton Pu — 3/12/2009 03:42

Services computing started from the client/server programming paradigm, and it has seen a continuous broadening of the definition of services computing. In this panel, we will cover some trends of Services Computing from systems, tools, and environments perspectives. For example, a recent trend shows the convergence of services computing with event processing. We will argue for an information flow style of service composition that will support well event processing and event-driven applications.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

From Mathematical Model to Systematic SOA Solution Design Tool

Nianjun Zhou,Liang-Jie Zhang — 3/12/2009 03:47

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Identity Management for Services

Elisa Bertino,Kenji Takahashi — 3/17/2009 01:45

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Services and Processes: Models, Analysis, and Systems

Wil van der Aalst — 3/13/2009 01:59

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Software as a Service (SaaS): Security Strategy, Risk Management, Static Analysis and Assessment Tool

Patrick C. K. Hung,Wendy Hui — 3/27/2009 01:47

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Business Entities: Modeling Process and Information

Frederick Wu,Santhosh Kumaran,Rong Liu — 3/27/2009 02:00

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Enterprise Service Architectures

Aditya K. Ghose,George Koliadis — 3/13/2009 02:12

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Towards Provisioning the Cloud: On the Usage of Multi-Granularity Flows and Services to Realize a Unified Provisioning Infrastructure for SaaS Applications

Ralph Mietzner,Frank Leymann — 1/09/2009 00:44

The automatic provisioning of applications is an importent task for the success of Software as a Service (SaaS) providers. Different provisioning engines from different vendors and open source projects with different interfaces have been emerging lately. Additionally, infrastructure providers that provide infrastructure on demand now provide computing resources that can be integrated in a SaaS provider's computing environment. In order to allow SaaS application providers to specify generic installation and maintenance flows independent from the underlying provisioning engines we propose an architecture for a generic provisioning infrastructure based on Web services and workflow technology.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Grouping Distributed Stream Query Services by Operator Similarity and Network Locality

1/09/2009 00:48

Distributed stream query services must simultaneously process a large number of complex, continuous queries with stringent performance requirements while utilizing dis- tributed processing resources. In this paper we present the design and evaluation of a distributed stream query ser- vice that achieves massive scalability, a key design principle for such systems, by taking advantage of the opportunity to reuse the same distributed operator for multiple and differ- ent concurrent queries. We present concrete techniques that utilize the well-defined semantics of CQL-style queries to reduce the cost of query deployment and duplicate process- ing thereby increasing system throughput and scalability. Our system exhibits several unique features, including : (1) a ‘reuse lattice' to encode both operator similarity and net- work locality using a uniform data structure; (2) techniques to generate an optimized query grouping plan in the form of ‘relaxed operators' to capitalize on reuse opportunities while taking into account multiple run-time variations, such as network locality, data rates, and operator lifetime; and (3) techniques to modify operator semantics at runtime to facilitate reuse. Evaluation of our service-oriented design and techniques under realistic workloads shows that stream queries relaxed and grouped using our approach operate ef- ficiently without a priori knowledge of workload, and offer an order of magnitude improvement in performance over existing approaches.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Using Laplacian Spectra to Analyze Project Based Services

Yi Yang,Zhi-Cong Fang,Yan Yang,Hong Cai — 11/21/2008 01:05

In this paper, we use Laplacian spectral analysis to study the characteristics of complex service project networks by observing their marked signatures in the Laplacian eigenvalues and eigenvectors. Based on that, we also depict other representations of the complexity of those project complex networks including inverse participation ratio (IPR), degree expectation value (DEV). Compared with using adjacency matrix or coupling matrix only, we find that those extended spectral analysis methods do provide interesting features like lens to observe the intrinsic properties of the complex network representing the organizational structure of project based services.

Compliance Measurement Framework (CMF)

Virendra K. Varshney,Nanjangud C. Narendra,Anuradha Bhamidipaty,Shailabh Nagar — 1/09/2009 00:55

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Business Value Assessment of Packaged Applications

Chunhua Tian,Shun Jiang,Juhnyoung Lee,Rongzeng Cao,Wei Ding — 1/19/2009 21:31

Unlike others, IT services using packaged applications such as SAP and Oracle modules highly reuse and configure prepackaged software modules. However, the implementation and configuration situation of a packaged application project may significantly differ from another. In this paper, we propose a generic method and model for assessing the cost and benefit of IT services using packaged applications. The proposed method utilizes a questionnaire-based approach to project scoping to capture the heterogeneity. The questionnaire also helps define rules to model the relationship between effort requirements and possible scenarios of packaged application implementation. The proposed method utilizes a rule-based approach to generate cost estimations of given IT service projects. For packaged applications, template data can be pre-defined and customized by using reference process and metrics models, and solution hierarchies. Then, for a given implementation scenario, the business value is estimated by using and customizing the template data. Once the cost and benefit of an IT initiative is assessed as described, other derivative analyses such as business case analyses and pricing can be done by using the estimated costs and business benefits.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Architectural Solutions for Mobile RFID Services for the Internet of Things

Martin Peter Michael,Mohsen Darianian — 1/09/2009 00:58

Mobile RFID services for the Internet of Things can be provided either on mobile devices as stand-alone services or in combination with end-to-end systems. When different service solutions are considered, there is more than one possible architecture solution for the network, mobile device and the back-end server. Combining the solutions wisely by applying the software architecture and engineering principles, a combined solution can be formulated for certain application specific use cases. This paper proposes a methodology and a service solution concept called "Quasi-Rich-Client" by illustrating the ideas in a real case study.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Multimedia Chat for Helpdesks: a Practical SOA Architecture

Zon-Yin Shae,Tony Bergstrom,Claudio Pinhanez,Mark Podlaseck — 12/25/2008 23:01

The existing 3rd party chat services for help desk are text based only and more effective communication between user and agent for better help desk support in multimedia chat services is called for. It would be a very expensive approach to totally re-write the code to convert the current text based chat product for supporting multimedia in chat services. An innovative SOA chat system architecture is therefore presented in this paper to create a new multimedia chat services for help desk by novel decomposition and re-composition of the services from the existing 3rd party text based chat product. A regular web mashup is memory-less which the current mashup operation is independent from the previous one. Our SOA architecture implements uniquely the session based interactive mashup mechanism which the current mashup operation is related and bundled to the previous operations in the same chat session.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Data Service Modeling in the AquaLogic Data Services Platform

Michael Carey,Panagiotis Reveliotis,Sachin Thatte,Till Westmann — 11/21/2008 01:19

An underexamined piece of the SOA puzzle is how data access and integration fit into the overall SOA architecture for an enterprise application. In this presentation, we will describe how the data service modeling concepts and methodology supported in AquaLogic Data Services Platform (ALDSP) 3.0, released in January of 2008, address this piece of the SOA puzzle. We will also describe some experiences (e.g., lessons learned from working with customers) that guided us to our current approach.

Next Generation Business Process Management: A Paradigm Shift

Tanuj Arora,Amol Nirpase — 11/21/2008 01:25

Business Process Management is a management model that allows the organizations to manage their processes as any other asset and improve them over a period of time. To date, many BPM packages have not been playing the role of strategic decision making. This paper will enable BPM users to understand next generation BPM packages. It covers the factors which leads the existing BPM to next generation BPM practices. Next generation BPM is explained with detailed components and structure.

Towards an XPDL compliant process ontology

Armin Haller,Walid Gaaloul,Mateusz Marmolowski — 11/21/2008 01:28

This paper presents initial results on oXPDL, a process interchange ontology based on the standardised XML Process Definition Language (XPDL). XPDL was introduced to allow process model exchange between information systems, most of which are based on proprietary workflow models. Our process interchange ontology oXPDL explicitly models the complete semantics of XPDL process models in a standard Web ontology language. The oXPDL process models may be used for integrated process analysis by querying and reasoning over multiple models and their instances in combination with business rules described in background ontologies, each of which may originate from different information systems.

Formal Verification of a Transactional Interaction Contract

German Shegalov,Gerhard Weikum — 1/14/2009 22:15

A transactional information system guarantees as part of the ACID contract that multiple operations pertaining to a transaction are executed atomically and that if completed their effect is durable. However, message losses resulting from client and server crashes are not part of the transaction. Unlike failures occurring in the midst of a transaction (leading to its abort), the loss of a reply to the final commit message poses a problem of determining the transaction outcome that cannot be solved generically using stateof- the-art OLTP systems. This paper develops a formal specification of a generic transactional interaction contract that is part of a broader Interaction Contracts framework guaranteeing the exactly-once execution in general multitier applications. The formal specification is designed and verified using the statechart language and model checking in the reactive system design tool called Statemate.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Correspondence Analysis for Exploring the Fulfillment of Coach Systems for Small and Medium Enterprises in Taiwan

Hua-Kai Chiou,Tse-Jung Chen,Yen-Wen Wang — 11/21/2008 01:33

From the economy trace of Taiwan, Small and Medium Enterprises (SMEs) encompassed 98% of all Taiwanese enterprises. In order to help transform, modernize, and encourage innovation for SMEs, the government provides many coach systems, such as start-up and incubation system, to support them to expand the market opportunities and enhance their competitiveness. In this study we try to assess the fulfillment of coach systems which supported by government for improving industry upgrade. Here we employ Delphi process to converge 27 critical indicators with respect to three key-link stages for evaluation. We also utilize correspondence analysis to exploring the implementation of coach programs and conduct some meaningful suggestions of the policy direction from these empirical cases. Through this study we successfully demonstrate that correspondence analysis is a suitable and easy to readable approach for evaluation the projects achievement of public divisions.

A Study Case on Domain-Driven Development, using MDA, SOA and Web Services

Fabio Marzullo,Jano de Souza,José Blaschek — 1/09/2009 01:09

This paper presents preliminary study results of a prototype architecture created with the purpose of using a domain-driven approach to shorten the development of software projects. Using a set of standards and theories such as MDA, SOA and Web Services, the proposed architecture indicates that, with the aid of standard and controlled techniques, it is possible to obtain significant gains on software scheduling and cost.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Anti-patterns: Integrating Distributed and Heterogeneous Data Sources in SOAs

Hakan Hacigumus — 11/21/2008 01:38

In computer science, anti-patterns are specific repeated practices that appear initially to be beneficial, but ultimately result in undesirable consequences that outweigh the expected advantages. In this article we present our experiences from a range of industrial projects where there is a strong need for integrating distributed and heterogeneous data sources. SOA approach is selected to achieve the integration goals. We present the problem and the common solution approach that has been repeatedly observed in the field. This common approach manifests itself as an anti-pattern since in many cases the solution produces unwanted outcomes. We outline the reasons for the failures and introduce a preferred solution to the same problem that we have successfully applied in many cases as an alternative to the so-called common approach.

Enterprise Mashup Composite Service in SOA – User Profile Use Case Realization

Fran Yang — 1/09/2009 01:11

Enterprise mashup composite services in SOA aim to reuse IT resources that can be rapidly assembled to meet changing business requirements. They can provide a universal interface to access a variety of data in data sources in heterogeneous environments and decouple their consumers from these data sources. However implementing an enterprise mashup composite service in SOA is a challenging topic. In this paper, through a use case study, User Profile Use Case realization, we will discuss best practices, challenges, insights and lessons learned in its implementation.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Service Oriented Infrastructure Framework

Yan Zhao — 11/21/2008 01:43

The Service Oriented Infrastructure (SOI) is to apply Service Oriented Architecture (SOA) to IT Infrastructure. The role of IT is changing. IT infrastructure is not only associated with hardware, software, and network components any more, it is becoming more integrated with business operation strategies, and being operated as a business service as well. A Service Oriented Infrastructure Framework is introduced here, which consists of four categories of components: Service Planning, Service Systems, Service Management, and Service Stakeholders; while other SOI frameworks presented today mostly address the Service System category only. This SOI framework is helpful for SOI practice in establishing structure, life cycle, and governance.

Dynamic Service Substitution in Service-Oriented Architectures

Manel Fredj,Nikolaos Georgantas,Valerie Issarny,Apostolos Zarras — 3/27/2009 05:18

The problem we deal with in this paper is the dynamic substitution of stateful services that become unavailable during the execution of service orchestrations. Previous research efforts focusing on the reconfiguration of conventional distributed systems enable the substitution of system entities with other prefabricated passive entities that serve as a backup. Nevertheless, the problem of service substitution is far more complex. In SOA, we can assume the possible existence of several semantically compatible services capable of performing the same or similar tasks. However, each one of them constantly serves requests and cannot be considered as a passive backup for other services. Therefore, we propose the SIROCO middleware platform, enabling the runtime, semantic-based service substitution. The basic concepts of SIROCO are discussed along with an experimental evaluation of our first prototype. Our findings show that SIROCO provides the necessary means for achieving dynamic service substitution with a reasonable expense on the execution of service orchestrations.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Bringing Creation of Context-Aware Mobile Services to the Masses

Jan Keiser,Tham Kriengchaiyapruk — 3/27/2009 04:09

There are major barriers of entry that prevent individuals or small businesses from taking advantage of web services to enhance their businesses. Creating a web service is a task that would normally require someone with technical skills in programming. The overall cost of maintenance of the servers is also usually prohibitively high. The LOMS (Local Mobile Services) project addresses the above issues and tries to bring a contextsensitive web service creation to the masses. In this project, by combining the concept of an open integrated SOA platform and a style-sheet transformation, nontechnical users as well as small businesses are able to create and manage context-aware web services easily and quickly. This paper focuses on the service creation aspect.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Experience sharing on SOA based Heterogeneous Systems Integration

Geetha Presena Kumari,Balaji Kandan,Asish Kumar Mishra — 11/21/2008 01:51

More and more enterprises are realizing that SOA is a reality than a myth. Information system landscape of most enterprises is heterogeneous in nature and comprises of a combination of legacy and modern systems. In many cases, applications with in an IT landscape might not be able to communicate or share data among themselves due to lack of common standards. In order to address this interoperability problem, an SOA based integration approach can be adopted. To adopt SOA in an enterprise, IT requires intelligent service infrastructure that drives and simplifies service reuse and delivers reliable integration across an inherently heterogeneous, multivendor computing landscape. This abstract discusses an open standards based reengineered solution employing SOA principles and deployed on a SOA infrastructure for service provisioning business process of a major telecom provider. The solution addressed the complex integration requirements that existed in the customer's IT environment standards.

Enabling SOA Governance for Production Deployed Services

Sujatha Kuppuraju,Aravind Kumar — 11/21/2008 01:56

SOA Governance enables an organization to have a controlled yet flexible service-oriented environment. Most organizations that adopt SOA may already have a large pool of services scattered across applications. These services typically face issues on locating them for reusability, locating them for orchestration, design reusability, ,management, versioning etc., So, One of the first steps for an organization while setting up SOA Governance will be to collect the existing (production deployed) services and catalog them into the service repository and fit them to a normal service lifecycle. This paper details the design of a lifecycle that we have used to collect and catalog production deployed services into the SOA Governance Platform.

A Domain-specific Query Language for Information Services Mash-up

Weilong Ding,Jing Cheng,Kaiyuan Qi,Yan Li,Zhuofeng Zhao,Jun Fang — 11/21/2008 01:58

With the prevalence of Web Services technology, more and more information in the web are provided through Web Services. In certain domains, information can be queried by web services, but building a complete and exact query from these services is always time-consuming and less convenient for end users, especially domain users. Meanwhile, mash-up brings a new way for end-users to build personal view of data and many mash-up tools like Yahoo Pipes, Popfly etc are provided to construct mash-up application. Many of these tools rely on a graphical user interface for ease of use. However, for domain users, they can not help to get the desired outcome quickly. Domain users are familiar with the domain knowledge, and yearn for a dialect using this available domain knowledge to express their query requirements precisely and concisely. In this paper, a domain-specific query language (DSQL) for services mash-up is proposed. We first abstract the domain knowledge model as components of the DSQL, and propose the definition of DSQL to express advanced query requirements. Meanwhile, correlated services could be recommended via business process in domain after the execution of the DSQL. We build a portal site as a case study, featuring the central idea of domain-specific query language (DSQL), according to the application of National Scientific Information System (NSIS) in scientific information domain. The portal site is an interactive platform to receive and respond to users' requests by the DSQL.

A Rich Internet Application Based on BPEL Services Composition for Port Logistics

Peng Zhu,Dongyuan Zhan,Chuanhong Zhu,Dongmin Li,Tingxin Song,Biqing Huang — 1/09/2009 01:19

Cooperation among enterprises plays more and more important roles for meeting various customized demands and fast-changing market environment. Service Oriented Architecture (SOA) is an effective approach of integrating resources across enterprises. Web Service is a practical way to realize SOA and is getting broad applications in business. Web service composition becomes a bridge between service technologies and business processes. A service composition system is developed in this paper, which allows users to describe, publish and organize services, and orchestrate complex service process. Verification in logistics domain is implemented and a Rich Internet Application portal using Flex is employed at [1].

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

An Intelligent Ontology and Bayesian Network based Semantic Mashup for Tourism

Wei Wang,Guosun Zeng,Dongqi Zhang,Yu Huang,Yufeng Qiu,Xiaojun Wang — 11/21/2008 02:03

A common perception is that there are two competing vision for the future evolution of the Web: the Semantic Web and Web 2.0. In fact, Semantic Web technologies must integrate with Web 2.0 services for both to leverage each other's strengths. This paper illustrates how Semantic Web technologies can support information integration and make it easy to create semantic mashups. An intelligent recommendation system for tourism is presented to show the efficiency of our method. Through the ontology of tourism, the system allows the integration of heterogeneous online travel information. Based on Bayesian network technique method, the system recommends tourist attractions to a user by taking into account the travel behaviour both of the user and of other users.

Automated Data Augmentation Services Using Text Mining, Data Cleansing and Web Crawling Techniques

Matthias Jacob,Alexander Kuscher,Max Plauth,Christoph Thiele — 11/21/2008 02:06

There is a large amount of information about celebrities spread all over the web hidden inside innumerable news and blogs, pictures on Flickr or videos on YouTube. Having this information combined and aggregated would be of great benefit to many customers. In this document we will describe the architecture and the (business) value of a system that not only collates information pre-formatted by other web services but also provides a self-developed named entity recognition algorithm for extracting the names of celebrities from different data sources and then processes and enriches them by our mash-up application.

iNIU – A Services Portal for NIU Students

12/18/2008 21:53

iNIU is a centralized online portal aiming for Northern Illinois University (NIU) students to access various services, from the university as well as the Internet, in one Web portal using a single login id. The portal exploits the Web 2.0 technology to mash-up a variety of existing Web services that NIU students frequently use, including Blog, Weather, Clock, Calendar, News, Facebook Profile Viewer, and Search. This paper reports our design and implement of the iNIU services portal.

Open Service Process Platform 2.0

Dirk Habich,Sebastian Richly,Andreas Ruempel,Wolfgang Buecke,Steffen Preissler — 12/18/2008 21:59

Service-oriented architectures (SOA) have revolutionized software-engineering over the last years. As a result, many domains have begun to switch to this architecture style. However, to efficiently support different domains from an SOA perspective, several extensions have to be included, e.g., concepts for efficient data transfer or runtime adaptation of processes. One the one hand, our Open Service Process Platform 2.0 is a central SOA infrastructure including several extensions. On the other hand, this platform can be used as the basis for the development of further extensions. The unique features of our platform are: (i) orchestration and execution of processes in an easy way (ii) arbitrary extensibility with regard to simple specialization for various domains, (iii) central infrastructure within an organization, and (iv) full accessibility through Web 2.0 technologies.

A Mash Up Home Library Management System

Suresh Jeyaverasingam,Yuhong Yan — 11/21/2008 02:14

We present an online system to manage a home library that consist of multiple collections, such as books and CDs, using Service Oriented Architecture. Many home collections can contain hundreds and thousands of books and CDs. Managing a personal collection of such magnitude could be difficult if one were to rely on using databases or spread sheets. Entering detailed information of each item is a huge undertaking and tedious work. We present a solution to solve this complexity by building an online service to manage a home library. The online service maintains a database to record each user's collection. The users will scan the bar code of the books and CDs. The detailed information of the items will be retrieved from Amazon.com via Amazon Associates Web Service interface and automatically entered into the database. Users are able to edit and search their items. A simple loan management functionality is provided to allow users to borrow out items. Doing so would allow them to share their collections with their friends. Compared to other commercial products for managing home libraries, our solution is a purely online service that absolves users from performing complicated installations and maintenance. The usage of Amazon.com's Web Service to retrieve item information provides a reliable source for information retrieval. This is due to the currency of information available and the fact that Amazon.com has one of the largest catalogues of items, from books, CDs to home appliances. All these are made available via the Amazon Associates Web Service. Our system can be extended to manage other items such a prescription medications, and kitchen items. These features make the developed solution an attractive alternative to commercially developed products.

Service Composition for GIS

Sai Ma,Minruo Li,Weichang Du — 11/21/2008 02:16

A Geographical Information System (GIS) is a system that captures, analyzes, and manages any spatially referenced data. One common problem in the GIS community is how to generate and publish customized web maps. The existing solutions either deal with spatial data directly which does not allow for applying the customized features, or require and rely on advanced and specialized programming skills. We believe that applying Service Oriented Architecture (SOA) to GIS can improve the interoperability of different GISs and can combine different GISs to provide customized web maps using a web service orchestration language. In this paper, we present a novel solution that applies SOA and Business Process Execution Language (BPEL) to orchestrate web map services into a customized web map. The process of requesting a map layer from a map service provider is an invocation of the remote GIS map service. The process of generating a customized web map becomes a process of combining different GIS map services into a BEPL process. This makes it possible to generate the business logic in BPEL first and then execute it to obtain a new map. Ideally, once the process is generated in BPEL, it can be plugged into any GIS system. This new solution generates a single new map after all layers are combined together, while the existing Asynchronous JavaScript and XML (AJAX) based solution gives a stack of map layers and the layers cannot be saved as one map. We have implemented a framework for the map creator to combine map layers published by different map service providers into a single new map, save the map composition process logic, and publish the new map as a service. Also, the framework provides map brokers more control of and easier interaction with the map composition process.

Distributed Simulation and Web Map Mash-Up for Forest Fire Spread

Yosri Harzallah,Vincent Michel,Qi Liu,Gabriel Wainer — 12/18/2008 22:02

The emergence of recent XML-based technologies paved the way for new types of architectures and message exchanges on the Internet through Web services. Mash- Ups consist in combining existing systems capabilities in order to create new added value services. This paper focuses on a Mash-Up of different Web Services that can be used by emergency planning teams and firefighters to better understand the behavior of wildfires. This mash-up uses a distributed simulation system (DCD++) and it combines it with the Global Weather service, displaying the results on a Google Map. The weather data is combined in real-time with the theoretical fire spreading model to obtain precise results. An XML-based solution has been developed in order to serve performance, interoperability and usability around a two-tier architecture consisting of a Java Servlet and a Javascript client. This effort paves the road for even more advanced solutions integrating the simulation location environment with Geographic Information System (GIS) data, which would highly improve the results obtained by the emergency managers.

A Rental Advising System based on Service Oriented Architecture

Jie Liang,Yanyin Zhang,Jianguo Lu,Sabiha Sathulla,Ding Chen,Shaohua Wang — 11/21/2008 02:21

When considering a location to rent a living place, usually, there will be several factors that affect the final decision. Given various degree of importance to each factor, quite often, the result will be different. This paper describes a rental advising system that takes the importance degrees into consideration when ranking the living place, and provide tenants with suggested places that satisfy their requirements under these factors. We proposed a Rental Evaluation Model to evaluate how each predefined factor affects ranking of living place and provide suggestions to the users. The system is created by mashing up several real web services in order to provide the real data. Overall, the system provides users a new experience to search for a living place to rent.

An Intelligent Traveling Service Based on SOA

S. Navabpour,L. Soltan Ghoraie,A. A. Malayeri,J. Chen, J. Lu — 11/21/2008 02:24

This paper describes the implementation of a mashup that integrates travel services. There are various travel services focusing on flight, train, or bus. However, none of them can plan a best trip utilizing all of those travel methods due to the lack of centralized data provided by different organizations. Using service oriented architecture; we first construct the service wrappers for various travel services. Given a travel request from end user, our system can decompose the user query into subqueries and send those subqueries to primitive services in order to find the best way of traveling. The shortest path algorithm is used to find the cheapest price via the combination of flight, train, and bus.

Second Life Gift Registry: Bringing RetailWeb Applications into the Metaverse

David Chodos,Eleni Stroulia — 11/21/2008 02:26

The combination of realistic virtual environments and product information offers a compelling new medium for consumers to shop for products. Specifically, by combining the experience of exploring a virtual house with retail information on items in that house, a consumer can virtually populate a house with desired items. This is particularly appealing for people, such as a couple getting married, who are looking to furnish an entire house with newly-purchased items. The system proposed in this paper provides this combination of realistic, 3D visualization and detailed product information. It uses Second Life to provide the realistic user interface, and a REST-style web-based application to create connections between this platform and publicly-available retailer APIs. In cases where a retailer API is unavailable, HTML wrapping may be used to obtain equivalent information. The economic viability of the concept is examined through a business case study.

Identifying Opportunities for Web Services Security Performance Optimizations

Robert A. van Engelen,Wei Zhang — 1/09/2009 01:29

WS-Security is an essential component of the Web services protocol stack. WS-Security provides end-to-end security properties, thereby assuring the participation of nonsecure transport intermediaries in message exchanges, a key advantage in Web-based systems. However, compared to point-to-point secure messaging with TLS, WS-Security has a significant performance penalty. In this paper, we identify several opportunities for optimizing WS-Security.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Using Mapping Relations to Semi Automatically Compose Web Services

Marwan Sabbouh,Jeffrey L. Higginson,Caleb Wan,Scott R. Bennett — 1/15/2009 00:10

This paper accomplishes the automatic composition of web services by leveraging semantics in XML Schemas, and by automatically generating aligned ontologies from mappings between XML schemas. Hence, we propose to encode the import of schemas and their mappings in HTML, which when combined with JavaScript libraries enable a web user to write mashups that hide coding and ontological complexities and achieve automated data mediation.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Execution Model for HeterogeneousWeb Services

Tomas Vitvar,Maciej Zaremba,Adrian Mocan — 11/21/2008 02:33

Integration of heterogeneous services is often hard-wired in service or workflow implementations. In this paper we define an execution model operating on semantic descriptions of services allowing flexible integration of services with solving data and process conflicts where necessary. We implement the model using our WSMO technology and a case scenario from the B2B domain.

Standardizing Web Services: Overcoming ‘Design by Committee’

Sandeep Purao,John Bagby — 12/28/2008 21:38

Web service standards, like several other IT standards, are anticipatory, i.e., they are designed and codified in anticipation of actual adoption and use. As a result, the setting of web service standards takes on properties that resemble the designing of software artifacts. In contrast, the traditional perspective on standards views them as law-like systems that legislate modes of behavior, product structures or specifications. The two perspectives - ‘design' and ‘legislation' - can sometimes be at odds. In the software engineering community, the phrase ‘design by committee' has come to symbolize designs that are not effective, not elegant and not addressing issues that are core to the original intentions. Current efforts and recent outcomes in web services standards appear to have overcome this taboo. We demonstrate, with the help of an empirical study, how the participants interact, and the roles they take on to produce web service standards.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Early Aspects for Non-functional Properties in Service Oriented Business Processes

Hiroshi Wada,Junichi Suzuki,Katsuya Oba — 1/09/2009 01:55

In Service Oriented Architecture, each application is often designed with a set of reusable services and a business process. In order to retain the reusability of services, it is important to separate non-functional properties of applications (e.g., security and reliability) from their functional properties. Currently, non-functional properties are often defined on a per-service basis. In contrast, this paper investigates a new per-process strategy, and proposes an aspect oriented language to separate functional and nonfunctional properties in business processes. Each aspect formally specifies non-functional properties that crosscut among multiple services. The proposed language frees applications developers from manually specifying and validating non-functional properties for services one by one, thereby reducing the burdens/costs of application development and maintenance. This paper describes the design of the proposed language and demonstrates how each aspect (i.e., a set of non-functional properties) is woven to a business process and transformed to application code.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Towards an Enterprise Business Process Architecture Standard

George Koliadis,Aditya K. Ghose,Srinivas Padmanabhuni — 1/09/2009 02:00

An effective process architecture helps provide a high-level blueprint of the complexity underlying an enterprise, which is used by executive committees during key decision and change processes. As existing service standards focus on co-ordination, they fall short in describing the motivational structure depicted in such models. In order to progress towards standardization in this area of complexity, we discuss the practicality of a process architecture, and present a set of 22 questions that can be used in the functional evaluation and construction of a process architecture. We use these questions to evaluate the current "state-of-the-art" in business process architecture. We then apply the knowledge gathered during our evaluation and other work to develop the proposal for a general mapping framework that is capable of answering the set of queries we have proposed.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

An Investigation on Interdisciplinary Structure of Service Science – An extended abstract

William Song,Deren Chen — 11/21/2008 02:46

A Model for Securing E-Banking Authentication Process:Antiphishing Approach

Antonio San Martino,Xavier Perramon — 11/21/2008 02:53

This paper presents the authentication environment defined for securing E-Banking applications. The proposed method is part of a Phd Doctoral thesis aimed at defining a model for secure operation of an Internet Banking environment, even in the presence of malware on the client side. The authentication model has been designed to be easily applicable with minimum impact to the current Internet banking systems. Its goal is to be resistant to the nowadays too frequent phishing and pharming attacks, and also to more classical ones like social engineering or man-in-the-middle attacks. The key point of this model is the need for multifactor mutual authentication, instead of simply basing the security on the digital certificate of the financial entity, since in many cases users are not able to discern the validity of a certificate, and may not even pay attention to it. By following the rules defined in this proposal, the security level of the Web Banking environment will increase and customers' trust will be enhanced, thus allowing a more beneficial use of this service.

Policy-based Web Service Selection in Context Sensitive Environment

Tao Zhou,Xiaolin Zheng,William Wei Song,Xiaofeng Du,Deren Chen — 11/21/2008 03:01

Web service selection is a key issue in the Service-Oriented Computing. Generally, web services are provided with different QoS values, so they can be selected dynamically in service composition process. However, the conventional context free QoS selection model does not consider the context sensitive constraints and the changeability of QoS values. This paper proposes a policy-based context sensitive QoS model to effectively calculate QoS values and select web services. By introducing context to the QoS model, web service composition can be used widely and flexibly in the real world business.

Towards an Efficient Quality Based Web Service Discovery Framework

Mossab A. Al Hunaity — 1/09/2009 02:03

Web service technology is playing a major role in today's distributed system computing. Service discovery, i.e., the identification of existing WSs that can be used by new web applications, is one of the most critical problems deterring Web Service (WS) technology. Current solution is based on UDDI catalogue browsing that supports only primitive matching mechanisms and provides no control over the quality of registered services. We aim to refine the discovery process through designing a new framework that enhances retrieval algorithms by combining syntactic and semantic matching of services. The proposed framework will generate QoS information that can be utilized by new user of the service .

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

A Formal Analysis of Behavioral Equivalence for Web Services

Li Kuang — 11/21/2008 03:07

The notion of behavioral equivalence for web services is a foundation of the priori analysis of what will happen when the service is interacting with others. The dissertation aims to explore a derivative and decidable approach to the formal analysis of behavioral equivalence for web services. The research consists of three inter-dependent studies. The first study investigates the formal express of service interaction behavior using Pi-calculus. The second study builds on the formalization and demonstrates a proper definition of behavioral equivalence and a derivative and computable way to the analysis process. The third study evaluates the effectiveness and usability of the proposed approach by developing a verification tool and conducting a series of experiments.

A service oriented approach to traffic dependent navigation systems

Petra Brosch — 1/09/2009 02:07

Navigation systems play an important role in planning of routes for transportation and individual traffic. The calculated routes are not always optimal, because routing relies on static speeds for different road types and on outdated and error prone Traffic Message Channel (TMC) data which do not reflect current traffic situations. This leads to the effect, that vehicles are directed to "preferred" routes for at least some time resulting in traffic jam on these routes. In order to overcome the suboptimal solution, floating car data (FCD) reflecting the real time traffic has to be integrated in the calculation. In this paper we present an architecture for real time traffic dependent navigation systems that is based on a service oriented approach. This architecture considers mediation of real time traffic input, data preprocessing ensuring correct and reliable traffic data, and service provisioning. We discuss the challenges in each of these areas.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Probabilistic Approach to Service Commitment in Service-Oriented Systems

Hadi Bannazadeh,Alberto Leon-Garcia — 11/21/2008 03:11

In this paper, we consider the problem of committing service instances to the applications in a service-oriented environment. We propose a heuristic algorithm which is able to analytically compute the over-commitment and application failure probabilities, and consequently, commit required service instances to each application instance while controlling these probabilities. Moreover, this proposed algorithm is suitable for general distribution functions for the services execution times and applications interarrival times. We also formulate a linear programming problem for maximizing the overall system reward, and through simulations and performance comparisons we show that the proposed mechanisms significantly improve the system's overall performance while achieving the target level for the over-commitment and application failure probabilities.

Invited Talk on Education Methodology

Carl Chang,Liang-Jie Zhang — 11/21/2008 03:14

Using Problems to Learn Service-oriented Computing

2/02/2009 02:47

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

A Reference Curriculum for Servce Engineering

Frank C. Tung — 1/20/2009 03:38

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Integration of Services Computing Curricula in Information Technology

Gordon W. Romney,Thomas M. Gatton,Albert P. Cruz,Patrick A. Kennedy — 1/20/2009 03:46

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Developing an SSME Initiative for Instruction & Research at Morgan State University

Jakita O. Thomas,S. Keith Hargrove,Montressa Washington — 1/20/2009 03:49

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

When Service Computing Meets Software Engineering

Yuhong Yan — 3/19/2009 04:39

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Preparing Future IT Managers for the Services Economy

Piers Campbell,Beverley Hope,Ahmad Jaffar — 11/21/2008 03:26

Discipline Comparison of SSME with IS and its Education Implications

Juanqiong Gou,Xuewei Li,Xuemei Li,Peng Zhao — 11/21/2008 03:27

Why Context, Content and Contract are Key for Dynamic Service Selection

Zakir Laliwala,Amee Desai,Sanjay Chaudhary,Abdul Allam — 11/21/2008 03:33

In order to meet rapidly changing business needs, organizations need business processes that can be flexible and agile to adapt to these changes. This would require dynamic composition of services. Composition of services requires dynamic discovery of services and dynamic selection of service end-point. Service discovery and selection depend on metadata, policy and event associated with these business services. There is a need for dynamic service selection based on runtime environment such as content (semantics), context (event) and contract (policy). In this paper, we propose eventdriven dynamic selection of services based on event, policy and semantic. Dynamic service selection will help in dynamic composition of business process and to deliver relevant services to consumer as per the business context and request.

Consumer Phase Shift Simulation Based on Social Psychology and Complex Networks

1/09/2009 02:10

We have developed the methods for estimating how a new product or a new service will be accepted in contemporary society, considering the effects of wordof- mouth recommendations. These methods are based on a consumer phase shift modeling framework that consists of a consumer agent model and a social network model. Consumer agents, which are classified into four types and six phases, exchange information with each other on a social network. Model parameters were acquired by surveys regarding several new services. These surveys were designed using the snowball sampling technique. We also developed a network generation procedure, applying the idea of complex networks. The multi-agent simulation results proved the feasibility of this framework.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

A conceptual model for optimum pricing in a competitive multi-service communication market

Morteza Mohamadkhan,Vahid Chizari — 11/21/2008 03:43

The process of setting optimum prices for existing network communication services in a competitive market is a difficult problem. Especially, there is not a straightforward way to find optimum prices. In fact, this optimization is a trade off between different approaches. In this paper we have combined seven approaches to get a conceptual model for optimum pricing in a multiservice communication market.

Methodology and Tools for End-to-End SOA Security Configurations

Fumiko Satoh,Fumiko Satoh,Yuichi Nakamura,Nirmal K. Mukhi,Michiaki Tatsubori — 1/09/2009 02:13

The configuration of non-functional requirements, such as security, has become important for SOA applications, but the configuration process has not been discussed comprehensively. In current development processes, the security requirements are not considered in upstream phases and a developer at a downstream phase is responsible for writing the security configuration. However, configuring security requirements properly is quite difficult for developers because the SOA security is cross-domain and all required information is not available in the downstream phase. To resolve this problem, we clarify how to configure security in the SOA application development process, and define the developer's roles in each phase. Additionally, supporting technologies to generate security configurations are proposed: Model-Driven Security and Pattern-based Policy Configuration. Our contribution is proposing a methodology for end-to-end security configuration for SOA applications and tools for generating detailed security configurations from the requirements specified in upstream phases model transformations, making it possible to configure security properly without increasing developers' workloads.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Modeling Business Process Availability

Nikola Milanovic,Bratislav Milic,Miroslaw Malek — 1/09/2009 02:16

In the world where on-demand and trustworthy service delivery is one of the main preconditions for successful business, availability of the services and business processes is of the paramount importance and cannot be compromised. We present a framework for modeling business process availability that takes into account services, the underlying ICTinfrastructure and people. Based on a fault model, we develop the methodology to map dependencies between ICTcomponents, services and business processes. The mapping enables us to model and analytically assess steady-state, interval and user perceived availability at all levels, up to the level of the business process.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

SLAWs: Towards a conceptual architecture for SLA enforcement

Jose Antonio Parejo,Pablo Fernandez,Antonio Ruiz-Cortes,Jose Mar a Garc a — 1/09/2009 02:21

Current technologies in Service Oriented Computing (SOC) provide a solid framework to drive the interaction of organizations from a functional point of view. In or- der to introduce non-functional properties in this scenario, the concept of Service Level Agreement (SLAs) comes into play as a key element. SLAs can be seen as containers of the functional and non-functional properties that both par- ties (the service consumer and the service provider) agree specifying its rights and obligations during the interaction. However this SLAs represent an additional responsibility for the service provider since it motivates the need of a SLA- Enforcement process in its infrastructure. A proper SLA- enforcement implies optimized resource usage that meet SLAs established with consumer, making it possible to the provider afford a larger number of customers to maximize its benefits. Current approaches to SLA enforcement are domain- specific approaches and/or based on monolithic platforms (from a SOC point of view).In this paper we propose a con- ceptual architecture (SLAWs) for SLA enforcement. The main goal of the proposed architecture is to be used as a conceptual framework to build a flexible SLA enforcement layer. This layer could be integrated in a seamless way in the pre-existing provider infrastructure when is based upon the service oriented architecture principles.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Customisable Model Transformations based on Non-functional Requirements

Ashley Sterritt,Vinny Cahill — 1/09/2009 02:25

The Model-to-Model (M2M) transformation stage in a Model-Driven Engineering (MDE) tool chain is used to bridge the large semantic gap between problem-domain abstractions and software artefacts. This transformation is typically specified in a closed, monolithic way. Since no two systems have identical requirements, some work has been done to create explicit support for customisation of the transformation process based on functional requirements. The same is not true for non-functional requirements. The contribution of this paper is a customizable M2M transformation process that takes as an input the users priorities, in terms of non-functional properties, to select between design trade-offs in the transformation. These tradeoffs are expressed as contrasting architectural styles, which describe common patterns of interactions and constraints with well understood non-functional implications. The target of the M2M transformation is an Architecture Description Language (ADL) that can be used to express styles. Model checking tools can be used to ensure that styles are adhered to during the entire MDE process. This early work focuses on describing contrasting architectural styles that address distribution issues, such as fault tolerance.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Control Cases during the Software Development Life-Cycle

Joe Zou,Christopher J. Pavlovski — 1/09/2009 02:30

The control case is a tool that may be applied in software development to model non-functional requirements during the requirements engineering process. The control case complements the use case in requirements design by capturing the systems qualities not addressed by the use case. This includes attributes such as performance, security, and the prescribed technology and standards. Together, the use case and control case offer a more complete representation of the requirements that define the system to be developed. In this paper, we extend the previous work on the control case by illustrating how this modeling tool is applied during the software development lifecycle (SDLC) from initial requirements through to commercial deployment. This includes business process analysis, detailed requirements gathering, architecture & design, software build, systems testing, and deployment. This work helps to bridge the gap in applying the control case to model non-functional requirements, illustrating how control cases are decomposed and refined further during the SDLC.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

A Taxonomy for Identifying and Specifying Non-functional Requirements in Service-oriented Development

Matthias Galster,Eva Bucherer — 1/07/2009 22:16

As in traditional software development, non-functional requirements play also a crucial role in service-oriented development. Non-functional requirements are spread across the entire service-oriented system or within individual services and cannot be allocated to one specific system / service artefact (such as a package, component). This makes them often more difficult to handle than functional requirements. The specifics of service-oriented architectures (in particular highly distributed services) bring up additional difficulties. In this paper, we present a taxonomy for non-functional requirements in a service-oriented context. The taxonomy implements three main categories of non-functional requirements: process requirements, non-functional external requirements, and non-functional service requirements. The taxonomy can be applied with individual services as well as with a service-based system as a whole. This taxonomy is considered as a starting point and check list when handling non-functional issues in service-oriented and particularly highly distributed environments.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Wireless Certificate Management Protocol Supporting Mobile Phones

Yong Lee,Jaeil Lee,GooYeon Lee — 1/07/2009 22:25

PKI (Public Key Infrastructure) in wired internet is not suitable for the mobile phone because of the limitation of performance such as less memory and less powerful CPU. Therefore, we need to develop a wireless PKI that provides the similar security level as the wired PKI to support a mobile phone. Especially, certificate management is the start point of PKI. In this paper, we propose a lightweight and secure Wireless Certificate Management Protocol(CMP) that is executable to the mobile phone that has a constrained communication environment and limitation of performance, and show the implementation results of the scheme on the mobile phone. We minimize data sizes processed in mobile phone, and optimize protocols for the certificate management. This results in the reduced module sizes to be able to execute in mobile phone and shows as the same level as the wired CMP.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Middleware Support for Pluggable Non-functional Properties in Wireless Sensor Networks

Pruet Boonma,Junichi Suzuki — 1/07/2009 22:29

Wireless sensor networks (WSN) imposes stringent constraints on eciency, memory footprint and power consumption. Since the need to satisfy these constraints often results in tightly coupled designs, WSN applications tend to be inflexible; it is hard to flexibly reuse, introduce, customize and replace various non-functional properties (e.g., data routing, concurrency, data aggregation and event filtering) for developing and maintaining WSN applications. In order to address this issue, this paper proposes the TinyDDS middleware, which decouples various non-functional properties from WSN applications and allows those applications to flexibly reuse and transparently configure non-functional properties according to their own requirements. Without breaking the generic architecture of TinyDDS, the proposed pluggable framework allows WSN applications to have fine-grained control over non-functional properties and specialize in their own requirements. Currently, TinyDDS supports two types of nonfunctional properties: application-level and middlewarelevel non-functional properties.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Multiobjective Optimization of SLA-aware Service Composition

Hiroshi Wada,Paskorn Champrasert,Junichi Suzuki,Katsuya Oba — 1/07/2009 22:32

In Service Oriented Architecture, each application is often designed as a set of abstract services, which defines its functions. A concrete service(s) is selected at runtime for each abstract service to fulfill its function. Since different concrete services may operate at different Quality of Service (QoS) measures, application developers are required to select an appropriate set of concrete services that satisfies a given Service Level Agreement (SLA) when a number of concrete services are available for each abstract service. This problem, the QoS-aware service composition problem, is known NP-hard, which takes a significant amount of time and costs to find optimal solutions (optimal combinations of concrete services) from a huge number of possible solutions. This paper proposes an optimization framework, called E3, to address the issue. By leveraging a multiobjective genetic algorithm, E3 heuristically solves the QoSaware service composition problem in a reasonably short time. The algorithm E3 proposes can consider multiple SLAs simultaneously and produce a set of Pareto solutions, which have the equivalent quality to satisfy multiple SLAs.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Specifying Flexible Charging Rules for Composable Services

Brendan Jennings,Lei Xu,Eamonn de Leastar — 11/21/2008 04:35

Where services are offered on a commercial basis, the manner in which charges for service usage are calculated is of key importance. Services typically have associated with them a charging scheme specifying the rules for charge calculation; schemes can range from the simple (such fixed charge per service invocation) to highly complex (where charges are calculated dynamically in order to influence customer demand and thereby optimise overall system performance). Typically, charging schemes are manually configured and verified prior to services being made available to customers - typcially, a time consuming and expensive process. In environments where service compositions can be rapidly built and offered to customers, manual specification of a charging scheme for the service composition becomes untenable. In this paper we describe how charge modification rules associated with individual servies can be used to flexibly govern how a service is charged for when it is used in the context of a composed service.

QoS-Aware Semantic Service Selection: An Optimization Problem

Jos´e Mar´ıa Garc´ıa,David Ruiz,Antonio Ruiz-Cort´es,Jose Antonio Parejo — 1/14/2009 22:25

In order to select the best suited service among a set of discovered services, with respect to QOS parameters, a user have to state his or her preferences, so services can be ranked according to these QOS parameters. Current Se- mantic Web Services ontologies do not support the defini- tion of QOS-aware user preferences, though there are some proposals that extend those ontologies to allow selection based on those preferences. However, their selection algo- rithms are very coupled with user preferences descriptions, which are defined without semantics or at a different seman- tic level than service functionality. In this work, we present a service selection framework that transforms user prefer- ences into an optimization problem where the best service is selected. This framework is based on an ontology that conceptualizes these user preferences. Thus, we use a very expressive solution decoupled with the concrete selection technique by using XSL transformations, while describing QOS-aware user preferences at the same semantic level of functional preferences.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

On The Discovery of Business Processes Orchestration Patterns

Nuno F. Rodrigues,Luis S. Barbosa — 1/18/2009 21:04

COORDINSPECTOR is a Software Tool aiming at extracting the coordination layer of a software system. Such a reverse engineering process provides a clear view of the actually invoked services as well as the logic behind such invocations. The analysis process is based on program slicing techniques and the generation of, System Dependence Graphs and Coordination Dependence Graphs. The tool analyzes Common Intermediate Language (CIL), the native language of the Microsoft .Net Framework, thus making suitable for processing systems developed in any .Net Framework compilable language. COORDINSPECTOR generates graphical representations of the coordination layer together with business process orchestrations specified in WSBPEL 2.0

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

A Business-Goal-Service-Capability Graph for the Alignment of Requirements and Services

Matthias Galster,Eva Bucherer — 1/18/2009 21:09

The increasing popularity of service-oriented architectures (SOA) raises a number of questions on how to operationalize this new software development paradigm. One important aspect is the one of service granularity, which refers to the scope of functionality covered by one single service. In this paper, we present a graph-based method that helps determine the appropriate granularity of software services in order to match them with software requirements. This procedure becomes important during design- and run-time evaluation of services when determining the suitability of services to support business goals and to implement requirements. The presented Business-Goal-Service-Capability graph (BGSC graph) follows a refinement of requirements and service capabilities until a common granularity level has been reached.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Generating Correct Protocols from Contracts: A Commitment-based Approach

Nanjangud C. Narendra — 1/20/2009 04:16

Business contracts are used to govern inter-service interactions. These contracts are often designed by hand and typically adopted by the contract participants after manual analysis. Usually, these contracts are quite complex and involved. Additionally, manual analysis cannot guarantee to the participants whether they would financially benefit from (or at least, not suffer from) participating in the contract. As an initial attempt towards addressing this issue, our earlier work formally defined two notions of contract correctness, wherein a contract is beneficial (resp. safe) for a participant if participating in the contract would leave the participant better off (resp. not worse off) than before. In this paper, we extend our earlier work by analyzing more closely the issues involved in actually generating a contract execution (i.e., operationalization) that is beneficial and/or safe, i.e, correct, from a participant's perspective. After doing so, we present an algorithm for semi-automatically generating such a family of safe and/or beneficial contract executions.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

CAPSICUM - A Conceptual Model for Service Oriented Architecture

T. Roach, G. Low,J. D’Ambra — 1/18/2009 21:11

As technology evolves, so too must the models and frameworks for representing information systems. For IT practitioners to fully embrace and deploy a service oriented architectural model, existing frameworks for planning, designing and implementing systems need to be updated to support the SOA concepts of loosely coupled services and real-time process orchestration. The siloed architectural reality that has prevailed over the last two decades is outdated, obsolete and a hindrance to delivering the agility and flexibility demanded by modern enterprises. Organisations have demonstrated a desire to demolish application silos and to begin to take an enterprise view to the organisation of IT resources. It is therefore appropriate that to support the evolving SOA architectural paradigm, the conceptual frameworks used to guide strategy and manage the deployment of SOA designs need to be reviewed. Existing research has primarily focused on the technologies that support SOA deployments and the technical delivery of service based platforms. Very little research is available on the contribution of SOA in aligning IT resources in support of business needs. This paper reviews the business challenges created by siloed, application-centric Enterprise Architectures, examines the potential that SOA principles offer in addressing these issues and proposes a conceptual model for SOA driven business transformation through an enterprise alignment of computing resources.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Light Weight SOA Governance – A Case Study

Deepti Parachuri,Nagarani Badveeti,Sudeep Mallick — 1/18/2009 21:22

Here, we present a case study of an ABC † company which has recently embarked on a SOA exercise and has adopted a light weight SOA governance process. In SOA Governance world, Service registry and repository play a pivotal role. Service registry can have policies that are needed to govern and enforce the lifecycle management of service. In this case study, we also address versioning and categorization of services using registry.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Interorganisational Architectural Framework Leveraging Web Services and AJAX

Jai Ganesh,Mayank Mathur — 1/19/2009 01:59

This paper discusses a prototype for managing complex and disparate interorganisational interconnections with internal as well as external partners using Web Services and leveraging AJAX (Asynchronous JavaScript and XML), to conduct engaging and responsive Web Services behavior. The architectural approach focuses on benefits of Web Services at the back-end at the same time bringing in increased end user usability at the front end.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

WS-BioZard: A Wizard for Composing Bioinformatics Web Services

1/07/2009 22:36

As the amount of biological data continues to increase, how biologists share data and analysis tools efficiently is becoming an important issue. Web service technology is a promising solution because of the advanced features it provides such as language independence, platform independence and ease of programmatic access. Recently, we have seen an increasing amount of interest in the composition of biological Web services in order to process a biological task. Although there are some research efforts towards composing biological Web services, such as BioMoby and Taverna, these existing tools are still too difficult to be widely used by the average biologist. Therefore, lowering the learning curve for Web service composition to make it easier for biologists is becoming a critical need. In this paper, we describe WS-BioZard, a comprehensive framework for addressing this need by using wizards and semantics to provide a suite of tools that support practical semiautomatic composition of Web services in the biological domain.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Using Characteristics of Computational Science Schemas for Workflow Metadata Management

Scott Jensen,Beth Plale — 1/07/2009 22:46

Computational science workflows are generating an ever-increasing volume of data products. Metadata for these workflows is communicated using one or more discipline-specific schemas and is not static but instead is subject to frequent updates and additions. In contrast to general XML data, the unique uses for scientific metadata allow further optimization. We propose a general metadata catalog for storing scientific metadata that is optimized for community science use and communicates metadata as XML using the schemas of scientific domains. In this paper we show that our hybrid approach outperforms the well-known inlining approach to storing XML when applied to scientific metadata.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

BioFlow: A Web-based Declarative Workflow Language for Life Sciences

Hasan Jamil,Bilal El-Hajj-Diab — 1/07/2009 22:52

Scientific workflows in Life Sciences are usually complex, and use many online databases, analysis tools, publication repositories and customized computation intensive desktop software in a coherent manner to respond to investigative queries. These investigative queries are generally ad hoc, ill-formed, and often, used only once to test a single hypothesis. In such cases, developing customized workflows becomes a major undertaking, rendering the effort truly expensive, prohibitive and resource intensive. Such high development costs often act as deterrents to many interesting queries and promising on-time scientific discoveries. In this paper, we introduce a new query language that combines workflow features for scientific applications, called BioFlow, that exploits many recent developments in internet communication, databases, wrapper and mediator technologies, ontology, and data integration. BioFlow is a declarative language that abstracts these features to help hide most procedural aspects of mediation, data integration, communication protocols, data extraction and workflow details. We will demonstrate that fairly complex workflows can be effortlessly and declaratively expressed in BioFlow in an ad hoc fashion at minimal costs. We also report a prototype implementation of BioFlow in Windows VB .NET that includes most of its powerful and representative features as proof of feasibility of our proposal.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Iterative Workflows for Numerical Simulations in Subsurface Sciences

Jared Chase,Karen Schuchardt,George Chin,Jeff Daily,Timothy Scheibe — 1/07/2009 22:55

Numerical simulators are frequently used to assess future risks, support remediation and monitoring program decisions, and assist in design of specific remedial actions with respect to groundwater contaminants. Due to the complexity of the subsurface environment and uncertainty in the models, many alternative simulations must be performed, each producing data that is typically postprocessed and analyzed before deciding on the next set of simulations. Though parts of the process are readily amenable to automation through scientific workflow tools, the larger “research workflow” is not supported by current tools. We present a detailed use case for subsurface modeling, describe the use case in terms of workflow structure, briefly summarize a prototype that seeks to facilitate the overall modeling process, and discuss the many challenges for building such a comprehensive environment.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Trident: Scientific Workflow Workbench for Oceanography

R.S. Barga,J. Jackson,N. Araujo,D. Guo,N. Gautam,K. Grochow,E. Lazowska — 1/07/2009 22:58

We introduce Trident, a scientific workflow workbench that is built on top of a commercial workflow system to leverage existing functionality. Trident is being developed in collaboration with the scientific community for oceanography, but the workbench itself can be used for any science project for scientific workflow.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Scientific Workflow Systems for 21st Century,New Bottle or New Wine?

Invited Short Paper — 1/07/2009 23:00

With the advances in e-Sciences and the growing complexity of scientific analyses, more and more scientists and researchers are relying on workflow systems for process coordination, derivation automation, provenance tracking, and bookkeeping. While workflow systems have been in use for decades, it is unclear whether scientific workflows can or even should build on existing workflow technologies, or they require fundamentally new approaches. In this paper, we analyze the status and challenges of scientific workflows, investigate both existing technologies and emerging languages, platforms and systems, and identify the key challenges that must be addressed by workflow systems for e-science in the 21st century.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

End-to-End Scientific Data Management using Workflows

Yogesh Simmhan — 1/08/2009 00:41

Workflows have evolved as the natural tool for scientists to model their eScience experiments. With the scientific world producing data at an explosive rate, workflows have an important part to play in the end to end management of scientific data. To illustrate, workflow can help with fault tolerance and ease of administration when ingesting massive quantities of data using commodity hardware. The ability for workflows to automatically collect provenance on derived scientific data improves data discovery and publication capabilities. With better support for interoperating with data centric tools, workflows can become ubiquitous systems for scientific collaboration.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Lifecycle of Scientific Workflows and Their Provenance: A Usage Perspective

Ilkay Altintas — 1/08/2009 00:30

Scientific workflows are representations of generally one, but sometimes more, process(es) in the scientific method. They combine data and computational procedures into a configurable, structured set of steps that implement semiautomated computational solutions of a scientific problem. Each atomic step in a scientific workflow uses a technology to carry out the computation or data processing. Thus, as technology progresses the requirements and motivations for usage of scientific workflows evolve with it. The first part of this invited talk aims to explore this evolution of how scientific workflows are used from late 1990s to date and discusses the advantages gained from this usage. In the second half we delve into current and expected advantages of scientific workflow systems as they mature from art to commodity, with a focus on provenance of scientific workflows and related products. As has been proven by recent workshops, challenges and community interest, capturing provenance information for computational experiments and simulations is a significant advantage of using scientific workflows to conduct computational studies. Many scientific workflow systems today provide provenance recording functionality. However, lack of generic tools to support usage of the collected information limits the usage of the provenance functionality by different users. This talk concludes by presenting a vision for creating a provenance framework to support a series of steps in the lifecycle of provenance information starting from data collection, which could serve multiple data and computational models, to the usages of this data.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

SOA Generic Views - In the Eye of the Beholder

Stefan Eicker, Reinhard Jung,Widura Schwittek,Thorsten Spies — 1/14/2009 21:03

This paper presents an approach called Generic View Concept which facilitates the creation and visualization of role-based, task-oriented views on service-oriented architectures. Those views enhance the understanding from the technical and functional point of view, and thus reduce the inherent complexity arising during the creation, use and maintenance of service-oriented architectures. The unique aspect of the Generic View Concept is that it does not constrain stakeholders to a set of predefined views. In order to examine the usefulness of Generic Views in real world scenarios, a prototype has been implemented applying 3D visualization techniques.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

XML Schema Representation and Reasoning: A Description Logic Method

Xiaobing Wu,David Ratcliffe,Mark A. Cameron — 1/14/2009 21:13

XML plays a key role in service-oriented computing (SOC).We envisage an environmentwhere knowledge workers are developing semantic correspondences from XML schemas to a target ontology. We would like to use DL reasoning services within this environment to assist the knowledge worker in the following three tasks: establishing the correctness of structural correspondences; the implications of correspondences; and finally, search and selection of schemas with semantic and structural constraints. A knowledge representation method for XML schemas using a description logic language is presented. With this representation method, it is now possible to use the underlying DL reasoning services to achieve our three tasks: correspondence correctness checking through DL model validation; correspondence implication through DL model completion; and finally, semantic and structural search and selection through DL model query.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Pipe Network 3D Visualization Service Architecture

Liutong XU,Guanhui GENG,Min SHI,Suping LIN — 11/23/2008 21:00

The visualization of pipe network has become one of the essential characteristics of urban pipe network management system. But for the distribution of related resources (e.g., data storage, modeling platform, etc.) and complex structure, the design and implementation of a pipe network visualization application is always a challenge. This contribution presents a service view in design and deployment phase to cope with the questions mentioned above, which takes separate resources as individual services and then make an integration to present Pipe network 3D visualization service architecture with those services. With this architecture, service providers will be able to assemble a pipe network 3D visualization service that serves the needs of a company (or authority) responsible for some particular underground pipe network systems. This paper presents the pipe network visualization service architecture and a developed pipe network visualization service prototype.

Towards a Model Driven Service Engineering Process

Ateret Anaby-Tavor,David Amid,Aviad Sela,Amit Fisher,Kuo Zhang,Ou Tie Jun — 1/14/2009 21:35

Developments in the realm of business services have opened new challenges in the business consulting world. Consequently, new procedures for services system development are being proposed. In this work, we present a model driven approach for streamlining the service engineering process. An important aspect of our work is a method for model transformation, which is essential for providing and enhancing the management and governance capabilities of the service engineering process. We then introduce a novel infrastructure which leverages Web 2.0 technologies to address the challenge of developing semantic modeling editors. Finally, we use this infrastructure as the target platform to validate our work.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

A Method for Automated Web Service Selection

Hong Qing Yu,Stephan Reiff-Marganiec — 11/23/2008 21:04

Automated Web service selection is a key challenge in Service Oriented Architecture (SOA) research. With SOA becoming more popular in industry, and more Web services becoming available in the e-business market, the main issue changes from service discovery to service selection and ranking. In this paper, we propose a novel nonfunctional property-based service selection method by modifying the Logic Scoring Preference (LSP) method with Ordered Weighted Averaging (OWA) Operators. Moreover, the dynamic mechanism for evaluating metadata based QoS criteria of each service is presented for this method.

Composition of interactive Web services based on controller synthesis

Philippe Balbiani,Fahima Cheikh,Guillaume Feuillade — 1/14/2009 21:40

We study an abstract form of service composition where Web services are represented as nondeterministic communicating automata. Considering the case in which communication is done via channels able to hold at most one message at a time, the service composition problem consists, given a client service, a goal service and a community of available services, to determine whether there exists a mediator service able to communicate with the client and the services of the given community in such a way that their global behavior satisfies the client service request expressed as the given goal service. We demonstrate the decidability of this problem via a reduction to a decidable control problem.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Automatic Composition of Services with Security Policies

Yannick Chevalier,Mohamed Anis Mekki,Micha¨el Rusinowitch — 1/14/2009 21:59

Automatic composition of web services is a challenging task. Many works have considered simplified automata models that abstract away from the structure of messages exchanged by the services. For the domain of security services (such as digital signing or timestamping) we propose a novel approach to automated composition of services based on their security policies. The approach amounts to collecting the constraints on messages, parameters and control flow from the components services and the goal service requirements. A constraint solver checks the feasability of the composition — possibly adapting the message structure while preserving the semantics— and displays the service composition as a message sequence chart. The resulting composed service can be verified automatically for ensuring that it cannot be subject to active attacks from intruders. The services that are input to our system are provided in a declarative way using a high level specification language. The approach is fully automatic and we show on a casestudy how it succeeds in deriving a composed service that is currently proposed as a product by a company.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

On Utilizing Qualitative Preferences in Web Service Composition: A CP-net based approach

Ganesh Ram Santhanam；Samik Basu；Vasant Honavar — 1/14/2009 22:06

Traditional approaches to Web service composition have focused on either generating compositions that match the structural and functional requirements of the user, or using quantitative optimization techniques over non-functional attributes. However, users preferences and trade-offs are often qualitative over non-functional attributes of the goal service like security, performance, cost. We propose to capture such requirements as qualitative preferences in addition to structural and functional constraints of the composite goal service. We analyze the theory of CPnets as a formal model for representing and reasoning with qualitative preferences, and show how it can be used to improve the quality of the generated composition and scalability of the composition algorithm.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Dynamic Service Discovery using Active Lookup and Registration

Haldor Samset；Rolv Bræk — 1/15/2009 00:29

Dynamic discovery of available service providers is a key factor in achieving an adaptable and loosely-coupled service-oriented architecture. We consider in this paper active services and how UML 2 collaborations can be used to define contracts for such services, in a way that it is suitable for discovery. We present a service discovery process where the service registry contains knowledge about possible substitutability relationships between the registered services. By extending the traditional lookup and registration services to become active services, the registry may take a more proactive role where it supervises the availability of service providers and actively gives notification to requestors when the availability status of service providers change.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Techniques to Produce Optimal Web Service Compositions

Eduardo Blanco；Yudith Cardinale；Mar´ıa-Esther Vidal；Jes´us Graterol — 1/15/2009 00:38

As Web Services proliferate, it becomes more difficult to find a service that can perform a given task, and a coordination of several services may be required. We present two algorithms to identify orderings of Web Service compositions. These algorithms follow different strategies to prune the space of possibilities while minimizing the evaluation cost. The first one, DP-BF, combines a best first strategy with a dynamic-programming technique and produces good Web Service compositions by exploring a small portion of the search space. The second one, PT-SAM, adapts a petrinet unfolding algorithm and tries to find a desired marking from an initial state. We conducted an experimental study to evaluate the behavior of DP-BF and PT-SAM compared to SAM and to the exhaustive solution. Our experiments show that the quality of the compositions identified by our algorithms are close to the optimal solution produced by the exhaustive algorithm, while the optimization time is close to the time required by SAM to identify a solution.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

QGWEngine: A QoS-aware Grid Workflow Engine

Yong Wang；Li Wang；Guiping Dai — 11/23/2008 21:18

Grid workflow can be executed based on the parameters of some newly introduced non-functional properties such as QoS to satisfy the customer expectations better. Here we propose a QoS-aware grid workflow engine called QGWEngine. First, the supported QoS parameters and the grid workflow model are introduced. Then the architecture of QGWEngine is explained. Finally, the validity of QWGEngine is illustrated through a hypothetical grid workflow example.

Evaluation of QoS-Based Web Service Matchmaking Algorithms

Kyriakos Kritikos；Dimitris Plexousakis — 11/23/2008 21:20

Web Service (WS) discovery is a prerequisite for achieving WS composition and orchestration. Although a lot of research has been conducted on the functional discovery of WSs, the proposed techniques fall short when faced with the foreseen increase in the number of (potentially functionallyequivalent) WSs. The above situation can be resolved with the addition of non-functional (Quality of Service (QoS)) discovery mechanisms to WS discovery engines. QoS-based WS matchmaking algorithms have been devised for this reason. However, they are either slow - as they are based on ontology reasoners - or produce inaccurate results. Inaccuracy is caused both by the syntactic matching of QoS concepts and by wrong matchmaking metrics. In this paper, we present two Constraint Programming (CP) QoS-based WS discovery algorithms for unary constrained WS specifications that produce accurate results with good performance. We also evaluate these algorithms on matchmaking time, precision and recall in different settings in order to demonstrate their efficiency and accuracy.

An Approach for Verification in Service-Oriented Computing

Soo Ho Chang；Fang Fang Chua；Soo Dong Kim — 2/08/2009 21:24

Verification is an essential engineering activity to enhance software quality by checking the conformance of an artifact to its given specification, typically in criteria of completeness and correctness. Service-Oriented Computing (SOC) incorporates a new computing paradigm of publishdiscover- compose, in which service providers publish services, service dynamically consumers discover right service and aggregate them into a service composition. Since this paradigm is not presented in conventional computing paradigm such as object-oriented paradigm, conventional verification methods do not effectively apply to SOC. Rather, verification in SOC requires a new conceptual framework on verification criteria, verification paths, and verification methods. In this paper, we present a formal framework for verifying various artifacts of service-oriented development. We first present a generic SOC process model and its key artifacts. And, we provide representations of key artifacts, and propose methods for checking completeness and correctness of key artifacts. We present a case study to show the applicability of the verification framework in practice.

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)

Semantic Discovery of Expressive Service Descriptions

Sudhir Agarwal — 11/21/2008 03:43

Actor Eco-Systems: Modeling and Configuring Virtual Enterprises

Aditya Ghose,George Koliadis — 1/18/2009 21:28

>>> View Video(Flash Player 9 please. Version 10 may not work as expected)