A Hybrid Execution Model for Logic-Based Requirements Specifications

ASIAIR > College of Computer Science > Department of Biomedical informatics > Proceedings > Item 310904400/7324

Please use this identifier to cite or link to this item: http://asiair.asia.edu.tw/ir/handle/310904400/7324

Title:	A Hybrid Execution Model for Logic-Based Requirements Specifications
Authors:	Jeffrey J. P. Tsai;B. Li and E. Juan
Date:	1996-10
Issue Date:	2010-01-29 05:54:48 (UTC+0)
Publisher:	Asia University
Abstract:	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.
Relation:	Proceedings of IEEE High-Assurance Systems Engineering, Ontario, Canada
Appears in Collections:	[Department of Biomedical informatics ] Proceedings

Files in This Item:

There are no files associated with this item.

Loading...