doi: 10.4304/jsw.7.7.1609-1616
Research on Verification Tool for Software Requirements
2Computer 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
Cite: Tao He and Liping Li, "Research on Verification Tool for Software Requirements," Journal of Software vol. 7, no. 7, pp. 1609-1616, 2012.
General Information
ISSN: 1796-217X (Online)
Abbreviated Title: J. Softw.
Frequency: Quarterly
APC: 500USD
DOI: 10.17706/JSW
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO,
CNKI, Google Scholar, ProQuest,
INSPEC(IET), ULRICH's Periodicals
Directory, WorldCat, etcE-mail: jsweditorialoffice@gmail.com
-
Jun 12, 2024 News!
Vol 19, No 2 has been published with online version [Click]
-
Jan 04, 2024 News!
JSW will adopt Article-by-Article Work Flow
-
Apr 01, 2024 News!
Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec) [Click]
-
Apr 01, 2024 News!
Papers published in JSW Vol 18, No 1- Vol 18, No 6 have been indexed by DBLP [Click]
-
Mar 01, 2024 News!
Vol 19, No 1 has been published with online version [Click]