从Z到BON/Eiffel

Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) Pub Date : 1998-10-13 DOI:10.1109/ASE.1998.732645

R. Paige, J. Ostroff

{"title":"从Z到BON/Eiffel","authors":"R. Paige, J. Ostroff","doi":"10.1109/ASE.1998.732645","DOIUrl":null,"url":null,"abstract":"The article shows how to make a transition from the Z formal notation to the Business Object Notation (BON). It is demonstrated that BON has the expressive power of Z, with the additional advantages of object-orientation and a supporting seamless development method. The transition is illustrated for some widely used Z constructs. The translation lays the groundwork for a semi-automated tool for extracting classes from Z specifications.","PeriodicalId":306519,"journal":{"name":"Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1998-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"From Z to BON/Eiffel\",\"authors\":\"R. Paige, J. Ostroff\",\"doi\":\"10.1109/ASE.1998.732645\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The article shows how to make a transition from the Z formal notation to the Business Object Notation (BON). It is demonstrated that BON has the expressive power of Z, with the additional advantages of object-orientation and a supporting seamless development method. The transition is illustrated for some widely used Z constructs. The translation lays the groundwork for a semi-automated tool for extracting classes from Z specifications.\",\"PeriodicalId\":306519,\"journal\":{\"name\":\"Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)\",\"volume\":\"34 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1998-10-13\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ASE.1998.732645\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ASE.1998.732645","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 7

摘要

本文展示了如何从Z形式表示法转换到业务对象表示法。结果表明，BON具有Z语言的表达能力，并具有面向对象和支持无缝开发方法的额外优势。对一些广泛使用的Z结构进行了转换说明。这种转换为从Z规范中提取类的半自动工具奠定了基础。

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

查看原文本刊更多论文

From Z to BON/Eiffel

The article shows how to make a transition from the Z formal notation to the Business Object Notation (BON). It is demonstrated that BON has the expressive power of Z, with the additional advantages of object-orientation and a supporting seamless development method. The transition is illustrated for some widely used Z constructs. The translation lays the groundwork for a semi-automated tool for extracting classes from Z specifications.

求助全文

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

来源期刊

Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)

自引率

0.00%

发文量