{"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}
引用次数: 3
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.<>
![[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference](/Content/css/sci/img/zetp.jpg)
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
