文件名称：Detecting feature interactions in Web services with model checking techniques (2007年)
文件大小：472KB
文件格式：PDF
更新时间：2024-06-01 23:33:21
工程技术 论文
As a platform-independent software system, a Web service is designed to offer interoperability among diverse and heterogeneous applications. With the introduction of service composition in the Web service creation, various message interactions among the a