基于逻辑的转换系统的框架

[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference Pub Date : 1992-09-21 DOI:10.1109/CMPSAC.1992.217551

J. Tsai, Ray-Yuan Sheu, Bing Li

{"title":"基于逻辑的转换系统的框架","authors":"J. Tsai, Ray-Yuan Sheu, Bing Li","doi":"10.1109/CMPSAC.1992.217551","DOIUrl":null,"url":null,"abstract":"The authors present a framework for a transformation system which can transform a nonmonotonic logic-based specification language, FRORL, into various kinds of procedural language programs. They discuss how to handle nonmonotonic inheritance in FRORL. A matrix-based data flow and dependency analysis mechanism is established to find all the possible data transformation paths in a logic-based specification. An algorithm is proposed to adjust the execution sequence of a logic-based specification so that the functions included in the logic-based specification can be represented by a procedural language program.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"21 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"A framework of a logic-based transformation system\",\"authors\":\"J. Tsai, Ray-Yuan Sheu, Bing Li\",\"doi\":\"10.1109/CMPSAC.1992.217551\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The authors present a framework for a transformation system which can transform a nonmonotonic logic-based specification language, FRORL, into various kinds of procedural language programs. They discuss how to handle nonmonotonic inheritance in FRORL. A matrix-based data flow and dependency analysis mechanism is established to find all the possible data transformation paths in a logic-based specification. An algorithm is proposed to adjust the execution sequence of a logic-based specification so that the functions included in the logic-based specification can be represented by a procedural language program.<<ETX>>\",\"PeriodicalId\":286518,\"journal\":{\"name\":\"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference\",\"volume\":\"21 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1992-09-21\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CMPSAC.1992.217551\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPSAC.1992.217551","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

作者提出了一个转换系统的框架，该系统可以将基于非单调逻辑的规范语言FRORL转换为各种过程语言程序。讨论了如何处理FRORL中的非单调继承。建立了基于矩阵的数据流和依赖分析机制，在基于逻辑的规范中找到所有可能的数据转换路径。提出了一种调整基于逻辑的规范的执行顺序的算法，使包含在基于逻辑的规范中的功能可以用过程语言程序来表示。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A framework of a logic-based transformation system

The authors present a framework for a transformation system which can transform a nonmonotonic logic-based specification language, FRORL, into various kinds of procedural language programs. They discuss how to handle nonmonotonic inheritance in FRORL. A matrix-based data flow and dependency analysis mechanism is established to find all the possible data transformation paths in a logic-based specification. An algorithm is proposed to adjust the execution sequence of a logic-based specification so that the functions included in the logic-based specification can be represented by a procedural language program.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference

自引率

0.00%

发文量