QQ客服 官方微博 反馈留言

	Towards automatic verification of web-based SOA applications
	Chen, Xiangping ; Huang, Gang ; Mei, Hong
	2008
英文摘要	Nowadays, developing web applications in a Service-Oriented Architecture (SOA) style is emerging as a promising approach for delivering services to end users. Such web-based SOA applications are likely to suffer correctness and reliability problems mainly because their runtime environments (including web browsers and service platforms) are heterogeneous and their service interactions and flows are complex without explicit specifications. In this paper, we propose a model-checking based approach for verifying web-based SOA applications. At first, the application behavior will be automatically specified by analyzing the web-side source codes. And it will be combined with the pre-defined environment behavior so that a precise and complete enough behavior model of the application can be generated automatically. With user-defined constraint and refinement specifications, the behavior model is automatically translated to the formal specification (Promela for Spin) as the input of the model checker. If the model is flawed, the application has correctness and reliability problems. The violation traces generated by the model checker will be visualized in the behavior model for helping developers to solve the detected problems in a user-friendly manner.; http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000255194500053&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=8e1609b174ce4e31116a60747a720701 ; Computer Science, Information Systems; Computer Science, Theory & Methods; EI; CPCI-S(ISTP); 0
语种	英语
DOI标识	10.1007/978-3-540-78849-2_53
内容类型	其他
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/293703]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Chen, Xiangping,Huang, Gang,Mei, Hong. Towards automatic verification of web-based SOA applications. 2008-01-01.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。