Introduction to Process Algebra
Introduction to Process Algebra
Distributed and Parallel Databases
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Web Service Composition Languages: Old Wine in New Bottles?
EUROMICRO '03 Proceedings of the 29th Conference on EUROMICRO
Tools for design of composite Web services
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
Large Scale Order Processing through Navigation Plan Concept
SCC '06 Proceedings of the IEEE International Conference on Services Computing
YAWL: yet another workflow language
Information Systems
Using control-flow patterns for specifying business processes in cooperative environments
Proceedings of the 2007 ACM symposium on Applied computing
Web Service Composition Approaches: From Industrial Standards to Formal Methods
ICIW '07 Proceedings of the Second International Conference on Internet and Web Applications and Services
Workflow Flexibility: The Forlorn Promise
WETICE '06 Proceedings of the 15th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
Business Process Management: Concepts, Languages, Architectures
Business Process Management: Concepts, Languages, Architectures
WofBPEL: a tool for automated analysis of BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Using the π-calculus for formalizing workflow patterns
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Algebraic approach to optimal clone selection applied in metagenomic projects
ISB '10 Proceedings of the International Symposium on Biocomputing
| Hi-index | 0.00 |
Despite the popularity of standards such as BPEL in business-critical applications, rigorous approaches to web service composition remain an open research problem. Frameworks based on formal foundations (e.g., process algebra or Petri nets) have emerged as promising approach to address these challenges. This work introduces the Navigation Plan for Web Services (NPWS), a system module, which extends a process algebra based workflow engine with a web service interface. We systematically combine the web service paradigm and comprehensive real-world workflow functionality while guaranteeing sound properties through formal process specification. Process instantiation and execution monitoring are implemented with Enterprise JavaBeans, SQL extension, and Java Persistence API to ensure flexibility and scalable integration. Our primary contribution is an applied approach to implementing complex web services with formal properties through a well-defined process algebraic core. We further illustrate our system with sample client applications and a case study based on an actual deployment in a library environment.