A Calculus of Communicating Systems
A Calculus of Communicating Systems
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Toward High-Precision Service Retrieval
IEEE Internet Computing
Transforming BPEL into Annotated Deterministic Finite State Automata for Service Discovery
ICWS '04 Proceedings of the IEEE International Conference on Web Services
On automating Web services discovery
The VLDB Journal — The International Journal on Very Large Data Bases
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
Synchronizability of Conversations among Web Services
IEEE Transactions on Software Engineering
Algebraic Approach to Linking the Semantics of Web Services
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
Framework for Web service query algebra and optimization
ACM Transactions on the Web (TWEB)
A Dynamic Description Logic for Semantic Web Service
SKG '07 Proceedings of the Third International Conference on Semantics, Knowledge and Grid
Algebraic Structure of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling and monitoring of E-commerce workflows
Information Sciences: an International Journal
Service Interaction: Patterns, Formalization, and Analysis
Formal Methods for Web Services
URBE: Web Service Retrieval Based on Similarity Evaluation
IEEE Transactions on Knowledge and Data Engineering
A Petri net-based model for verification of obligations and accountability in cooperative systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Planning and verifying service composition
Journal of Computer Security - 18th IEEE Computer Security Foundations Symposium (CSF 18)
Modeling and Model Checking Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalizing WSBPEL Business Processes Using Process Algebra
Electronic Notes in Theoretical Computer Science (ENTCS)
A vector matching method for analysing logic Petri nets
Enterprise Information Systems
When are two web services compatible?
TES'04 Proceedings of the 5th international conference on Technologies for E-Services
Dependability and Rollback Recovery for Composite Web Services
IEEE Transactions on Services Computing
A Petri-Net-Based Correctness Analysis of Internet Stock Trading Systems
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
QoS-Aware Web Service Configuration
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
A Petri Net Approach to Analysis and Composition of Web Services
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Semantics-Based Automated Service Discovery
IEEE Transactions on Services Computing
Protocol-Level Service Composition Mismatches: A Petri Net Siphon Based Solution
International Journal of Web Services Research
Business and Scientific Workflows: A Web Service-Oriented Approach
Business and Scientific Workflows: A Web Service-Oriented Approach
Hi-index | 0.07 |
Web service process reuse can help us efficiently to construct a new service or service process by using the existing service processes generated by service composition. Since service requests are characteristic of multiformity, the existing service processes can hardly be reused unless they are modified and transformed to some specific scenarios. In this paper, a service process is modeled as a service net (SN) using logic Petri nets. Inspired by the relational algebra, service net algebra (SNA) is proposed to provide a formal foundation for structural transformations of SNs including composition and decomposition. It is constructed on the basis of logic Petri nets and consists of structure algebra, evolution algebra and synthesis algebra. Some algebra operators of SNA are defined, and their corresponding operational rules are presented. The properties and soundness preservation of SNA are analyzed. A framework for service process reuse is also given based on SNA.