Timed Compatibility Analysis of Web Service Composition: A Modular Approach Based on Petri Nets

@article{Du2014TimedCA,
  title={Timed Compatibility Analysis of Web Service Composition: A Modular Approach Based on Petri Nets},
  author={Yanhua Du and Wei Tan and Mengchu Zhou},
  journal={IEEE Transactions on Automation Science and Engineering},
  year={2014},
  volume={11},
  pages={594-606}
}
Recently, the temporal constraint satisfiability is regarded as an important criterion in Web service composition to guarantee its timely completion. This leads to a new challenge in analyzing the compatibility of Web services under temporal constraints. The existing methods either do not consider message mismatches between services in a composition or suffer from state-space explosion by verifying a service composition model as a whole; or lack the ability to generate execution paths of each… CONTINUE READING
Highly Cited
This paper has 53 citations. REVIEW CITATIONS
32 Citations
44 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 32 extracted citations

54 Citations

01020'13'14'15'16'17'18
Citations per Year
Semantic Scholar estimates that this publication has 54 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
Showing 1-10 of 44 references

Similar Papers

Loading similar papers…