VDM++，面向对象设计的正式规范语言

CompEuro 1992 Proceedings Computer Systems and Software Engineering Pub Date : 1992-05-04 DOI:10.1109/CMPEUR.1992.218511

E. Durr, J. Katwijk

{"title":"VDM++，面向对象设计的正式规范语言","authors":"E. Durr, J. Katwijk","doi":"10.1109/CMPEUR.1992.218511","DOIUrl":null,"url":null,"abstract":"Some general issues in the design of VDM++ are discussed. VDM++ extends VDM by offering classes, objects and inheritance and provides as an additional feature, a formalism to specify the allowed invocation sequence of methods. The design of VDM++ is such that any specification in VDM++ can be translated automatically into a specification in classical flat VDM, as defined in BSI/IST/5/50, thereby implicitly defining the semantics in terms of the semantics of VDM.<<ETX>>","PeriodicalId":390273,"journal":{"name":"CompEuro 1992 Proceedings Computer Systems and Software Engineering","volume":"68 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1992-05-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"106","resultStr":"{\"title\":\"VDM++, a formal specification language for object-oriented designs\",\"authors\":\"E. Durr, J. Katwijk\",\"doi\":\"10.1109/CMPEUR.1992.218511\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Some general issues in the design of VDM++ are discussed. VDM++ extends VDM by offering classes, objects and inheritance and provides as an additional feature, a formalism to specify the allowed invocation sequence of methods. The design of VDM++ is such that any specification in VDM++ can be translated automatically into a specification in classical flat VDM, as defined in BSI/IST/5/50, thereby implicitly defining the semantics in terms of the semantics of VDM.<<ETX>>\",\"PeriodicalId\":390273,\"journal\":{\"name\":\"CompEuro 1992 Proceedings Computer Systems and Software Engineering\",\"volume\":\"68 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1992-05-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"106\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"CompEuro 1992 Proceedings Computer Systems and Software Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CMPEUR.1992.218511\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"CompEuro 1992 Proceedings Computer Systems and Software Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPEUR.1992.218511","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 106

摘要

讨论了VDM++设计中的一些一般问题。VDM++通过提供类、对象和继承来扩展VDM，并作为附加特性提供了一种形式来指定允许的方法调用顺序。VDM++的设计使得VDM++中的任何规范都可以自动转换为经典平面VDM中的规范，如BSI/IST/5/50中定义的那样，从而隐式地根据VDM的语义定义语义。

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

查看原文本刊更多论文

VDM++, a formal specification language for object-oriented designs

Some general issues in the design of VDM++ are discussed. VDM++ extends VDM by offering classes, objects and inheritance and provides as an additional feature, a formalism to specify the allowed invocation sequence of methods. The design of VDM++ is such that any specification in VDM++ can be translated automatically into a specification in classical flat VDM, as defined in BSI/IST/5/50, thereby implicitly defining the semantics in terms of the semantics of VDM.<>

求助全文

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

来源期刊

CompEuro 1992 Proceedings Computer Systems and Software Engineering

自引率

0.00%

发文量