A Hybrid Execution Model for Logic-Based Requirements Specifications

ASIA unversity > 資訊學院 > 生物資訊與醫學工程學系 > 會議論文 > Item 310904400/7324

jsp.display-item.identifier=請使用永久網址來引用或連結此文件: http://asiair.asia.edu.tw/ir/handle/310904400/7324

题名:	A Hybrid Execution Model for Logic-Based Requirements Specifications
作者:	Jeffrey J. P. Tsai;B. Li and E. Juan
日期:	1996-10
上传时间:	2010-01-29 05:54:48 (UTC+0)
出版者:	Asia University
摘要:	It is well known that undiscovered errors in a requirements specification is extremely expensive to be fixed when discovered in the software maintenance phase. Errors in the requirement phase can be reduced through the validation and verification of the requirements specification. Many logic-based requirements specification languages have been developed to achieve these goals. However, the execution and reasoning of a logic-based requirements specification can be very slow. An effective way to improve their performance is to execute and reason the logic-based requirements specification in parallel. In this paper, we present a hybrid model to facilitate the parallel execution of a logic-based requirements specification language. A logic-based specification is first applied by a data dependency analysis technique which can find all the mode combinations that exist within a specification clause. This mode information is used to support a novel hybrid parallel execution model, which combines both top-down and bottom-up evaluation strategies. This new execution model can find the failure in the deepest node of the search tree at the early stage of the evaluation, thus this new execution model can reduce the total number of nodes searched in the tree, the total processes needed to be generated, and the total communication channels needed in the search process. A simulator has been implemented to analyze the execution behavior of the new model. Experiments show significant improvement based on several criteria.
關聯:	Proceedings of IEEE High-Assurance Systems Engineering, Ontario, Canada
显示于类别:	[生物資訊與醫學工程學系 ] 會議論文

文件中的档案:

没有与此文件相关的档案.

在ASIAIR中所有的数据项都受到原著作权保护.

数据加载中.....