Specification-based verification and validation of Web services and service-oriented operating systems

  title={Specification-based verification and validation of Web services and service-oriented operating systems},
  author={Wei-Tek Tsai and Yinong Chen and Raymond A. Paul},
  journal={10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems},
Service-oriented architecture (SOA) and Web services (WS) have received significant attention recently. Even though WS are based on open standards and support software interoperability, but the trustworthy issues of WS has actually limited the growth of WS applications as organizations do not trust those WS developed by other vendors and at the same time they do not have access to the source code. This paper addressed this issue by proposing several solutions including specification-based… CONTINUE READING
Highly Cited
This paper has 37 citations. REVIEW CITATIONS
26 Citations
18 References
Similar Papers


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


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

Condition-Event Combination Covering Analysis for High-Assurance System Requirements”, to appear in Computer Systems Science & Engineering (CSSE) journal

  • W. T. Tsai, X. Wei, L. Yu, R. Paul, H. Huang
  • Proceedings of the 10th IEEE International…
  • 2005
2 Excerpts

Rapid Pattern-Oriented Scenario-Based Testing for Embedded Systems”, to appear in book Software Evolution with UML and XML, edited by H

  • W. T. Tsai, R. Paul, L. Yu, X . Wei, F. Zhu
  • 2004
2 Excerpts

The five missing pieces of SOA”, www.infoworld.com/article/04/09/10/37FEwebservmiddle _1.html

  • B. Sleeper
  • 2004

Similar Papers

Loading similar papers…