Static Analysis of Concurrent Programs Using Ordinary Differential Equations
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
An Improvement of Software Architecture Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
Service composition accelerates rapid application development, service reuse, and complex service consummation, thus, quantitative characteristics such as service execution throughput should be evaluated to measure the system performance. Based on Continuous Petri Net, we build differential equation model for service composition. The service behavior can be analyzed from the curves of the solutions of the differential equations. The advantage of our method is that we can avoid state explosion problem while doing performance analysis. Our equations can be solved by Matlab and simulated with a tool: Snoopy.