Automatic dynamic generation of likely invariants for WS-BPEL compositions.
Expert Systems with Applications(2014)
摘要
•Properties inferred from static analysis of the WS-BPEL composition could be limited.•We propose extracting properties from actual executions of WS-BPEL compositions.•We provide innovative solutions for WS-BPEL-specific features.•We have implemented the only dynamic invariant generator available for WS-BPEL.•Results show that the solutions are successful.
更多查看译文
关键词
Web service composition,WS-BPEL,Dynamic invariant generation,White-box testing
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络