文章基本信息

标题：Research on Verification Tool for Software Requirements
本地全文：下载
作者：He, Tao ; Li, Liping
期刊名称：Journal of Software
印刷版ISSN：1796-217X
出版年度：2012
卷号：7
期号：7
页码：1609-1616
DOI：10.4304/jsw.7.7.1609-1616
语种：English
出版社：Academy Publisher
摘要：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.
关键词：Web Service;Software Requirement;Verification Tool