A formal modeling platform for composing web services

Authors:
Yu-Liang Chi;Hsun-Ming Lee
Affiliations:
Department of Management Information Systems, Chung Yuan Christian University, Taiwan, ROC;Department of Computer Information Systems and Quantitative Methods, Texas State University-San, Marcos, Texas, USA
Venue:
Expert Systems with Applications: An International Journal
Year:
2008

Citing 8
Cited 9

Event-Based Interaction Management for Composite E-Services in eFlow

Information Systems Frontiers
Unraveling the Web Services Web: An Introduction to SOAP, WSDL, and UDDI

IEEE Internet Computing
Workflow Patterns

Distributed and Parallel Databases
The Self-Serv Environment for Web Services Composition

IEEE Internet Computing
Business-to-business interactions: issues and enabling technologies

The VLDB Journal — The International Journal on Very Large Data Bases
Composing Web Services for Large-Scale Tasks

IEEE Internet Computing
Current Solutions for Web Service Composition

IEEE Internet Computing
Composing Web Services: A QoS View

IEEE Internet Computing

On the functional quality of service (FQoS) to discover and compose interoperable web services

Expert Systems with Applications: An International Journal
Composing semantic Web services under constraints

Expert Systems with Applications: An International Journal
EPN-Based Web Service Composition Approach

WISM '09 Proceedings of the International Conference on Web Information Systems and Mining
A service-oriented travel portal and engineering platform

Expert Systems with Applications: An International Journal
Analysis of the minimal privacy disclosure for web services collaborations with role mechanisms

Expert Systems with Applications: An International Journal
CPN-TWS: a coloured petri-net approach for transactional-QoS driven Web Service composition

International Journal of Web and Grid Services
OntoPipeliner: An ontology-based automatic semantic service pipeline generator

Expert Systems with Applications: An International Journal
A formal and visual modeling approach to choreography based web services composition and conformance verification

Expert Systems with Applications: An International Journal
Petri net based formal analysis for multimedia conferencing services orchestration

Expert Systems with Applications: An International Journal

Quantified Score

Hi-index	12.06

Visualization

Abstract

Building a robust service composition is increasingly problematic as large scales of Web service operations can now be possibly achieved through the Internet. This article proposes an effective composing platform based on a formal modeling language. In particular, Petri Nets patterns are developed for enhancing service composition modeling, workflow quality measurement and scripting productivity. By providing a visual editing module, this platform allows business application developers to exploit its composing capabilities without much requiring design time or skills.