[图书][B] Formal specification and* verification of asynchronously communicating Web services
X Fu - 2004 - search.proquest.com
2004•search.proquest.com
As web services are paving the way to the next generation of electronic commerce, how to
ensure design correctness for critical web services has been an important issue. This
dissertation develops various automatic verification and analysis techniques for the
validation of asynchronously communicating web services.
ensure design correctness for critical web services has been an important issue. This
dissertation develops various automatic verification and analysis techniques for the
validation of asynchronously communicating web services.
Abstract
As web services are paving the way to the next generation of electronic commerce, how to ensure design correctness for critical web services has been an important issue. This dissertation develops various automatic verification and analysis techniques for the validation of asynchronously communicating web services.
ProQuest以上显示的是最相近的搜索结果。 查看全部搜索结果