一种基于规范理论的元语言

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

K. B. Zerangue, J. E. Urban

{"title":"一种基于规范理论的元语言","authors":"K. B. Zerangue, J. E. Urban","doi":"10.1109/CMPSAC.1992.217565","DOIUrl":null,"url":null,"abstract":"A specification metalanguage is presented for the purpose of describing and analyzing specifications written in existing specification languages. Specification theory-based metalanguage (STM) was developed to describe specifications in terms of components defined within a theory of specification. STM constitutes the application of theoretical definitions and analyses to individual specifications. The process of describing specifications in STM produces needed manual analysis, while the completed description can be automatically processed by the language processor and description simulator. A summary of STM features is presented. Manual analysis results are pointed out in discussing an example of STM description.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"4 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"A metalanguage based on a theory of specification\",\"authors\":\"K. B. Zerangue, J. E. Urban\",\"doi\":\"10.1109/CMPSAC.1992.217565\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A specification metalanguage is presented for the purpose of describing and analyzing specifications written in existing specification languages. Specification theory-based metalanguage (STM) was developed to describe specifications in terms of components defined within a theory of specification. STM constitutes the application of theoretical definitions and analyses to individual specifications. The process of describing specifications in STM produces needed manual analysis, while the completed description can be automatically processed by the language processor and description simulator. A summary of STM features is presented. Manual analysis results are pointed out in discussing an example of STM description.<<ETX>>\",\"PeriodicalId\":286518,\"journal\":{\"name\":\"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference\",\"volume\":\"4 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.217565\",\"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.217565","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

为了描述和分析用现有规范语言编写的规范，提出了一种规范元语言。开发基于规范理论的元语言(STM)是为了根据在规范理论中定义的组件来描述规范。STM将理论定义和分析应用于个别规范。在STM中描述规范的过程产生所需的人工分析，而完成的描述可以由语言处理器和描述模拟器自动处理。总结了STM的特点。在讨论STM描述实例时指出了人工分析的结果。

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

查看原文本刊更多论文

A metalanguage based on a theory of specification

A specification metalanguage is presented for the purpose of describing and analyzing specifications written in existing specification languages. Specification theory-based metalanguage (STM) was developed to describe specifications in terms of components defined within a theory of specification. STM constitutes the application of theoretical definitions and analyses to individual specifications. The process of describing specifications in STM produces needed manual analysis, while the completed description can be automatically processed by the language processor and description simulator. A summary of STM features is presented. Manual analysis results are pointed out in discussing an example of STM description.<>

求助全文

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

来源期刊

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

自引率

0.00%

发文量