Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Nordic Journal of Computing
Verification of Business Processes for a Correspondence Handling Center Using CCS
EUROVAV '99 Collected papers from the 5th European Symposium on Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice
Confidentiality Analysis of Mobile Systems
SAS '00 Proceedings of the 7th International Symposium on Static Analysis
PLM flow-Dynamic Business Process Composition and Execution by Rule Inference
TES '02 Proceedings of the Third International Workshop on Technologies for E-Services
Semantic E-Workflow Composition
Journal of Intelligent Information Systems
Meteor-s web service annotation framework
Proceedings of the 13th international conference on World Wide Web
Modelling biochemical pathways through enhanced π-calculus
Theoretical Computer Science - Special issue: Computational systems biology
Framework for Semantic Web Process Composition
International Journal of Electronic Commerce
Hi-index | 0.00 |
Web Processes combine traditional workflow management with Web Services technology. A key challenge to support dynamic composition of Web Processes is to solve the conflicts between process deployment and process execution caused by the inner dependencies. To address this, we have presented a dynamic extension pattern, termed the Web Process Dynamic Stepped Extension (WPDSE). In this approach the process is divided into multiple sub processes, and each sub process is defined and deployed at different times during process execution based on the requirements. A rigorous mathematic modeling language, pi-calculus, is used to define the framework and extension units of the WPDSE. The primary benefit derived from using the pi-calculus is that both the correctness and dynamic performance of the WPDSE model can be effectively verified and analyzed using a mathematically sound approach. This is done using a pi-calculus inference prototype tool called the Interactive Inferring Tool (InferTool).