¹Software Engineering Department, Shenzhen Institute of Information Technology, Shenzhen, China
²Computer and Information Institute, Shanghai Second Polytechnic University, Shanghai, China

---

Abstract—To verify the software requirements of network software, a verification tool OWLSVerifyTool is proposed, designed and developed to deal with model checking of Web service composition model in this paper. It can convert OWL-S documents into Petri nets document and then analysis and verify it in Petri nets with engine in dynamic context. While compositing the DL reasoning engine Pellet and F-logic-based reasoning engine Flora-2, it can play their respective advantages to reason and verify static model in static context of software requirement. The automated validation tool can effectively verify software requirement meta-model based on Web service described with OWL-S.

Index Terms—Web Service, Software Requirement, Verification Tool

[PDF]

Cite: Tao He and Liping Li, "Research on Verification Tool for Software Requirements," Journal of Software vol. 7, no. 7, pp. 1609-1616, 2012.