A Logic-Based Transformation Systems

ASIA unversity > 資訊學院 > 生物資訊與醫學工程學系 > 期刊論文 > Item 310904400/4779

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

题名:	A Logic-Based Transformation Systems
作者:	Jeffrey J. P. Tsai;B. Li;T. Weigert
日期:	1998-01
上传时间:	2009-12-02 01:04:10 (UTC+0)
出版者:	Asia University
摘要:	In spite of advances in various transformation systems the transformation of a nonmonotonic-logic-based requirements specification into a procedural (imperative) language program has not been investigated. This paper presents a logic-based transformation system that can transform a nonmonotonic-logic-based specification, the Frame-and-Rule Oriented Requirement Specification Language (FRORL), into procedural language programs. We discuss how to handle nonmonotonic inheritance in FRORL and then establish a matrix-based data flow and dependency analysis mechanism to find all the possible data transformation paths in a logic-based specification. Using a newly developed algorithm, we can adjust the execution sequence of a logic-based specification so that the functions included in the logic-based specification can be represented by a sequential procedural language program
關聯:	IEEE Transactions on Knowledge and Data Engineering 10(1): 91-107
显示于类别:	[生物資訊與醫學工程學系 ] 期刊論文

文件中的档案:

档案	描述	大小	格式	浏览次数
		0Kb	Unknown	579	检视/开启
310904400-4779.doc		29Kb	Microsoft Word	349	检视/开启

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