面向对象规范的玻璃盒和黑盒视图

Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004. Pub Date : 2004-09-28 DOI:10.1109/SEFM.2004.22

M. Bidoit, R. Hennicker, Alexander Knapp, H. Baumeister

{"title":"面向对象规范的玻璃盒和黑盒视图","authors":"M. Bidoit, R. Hennicker, Alexander Knapp, H. Baumeister","doi":"10.1109/SEFM.2004.22","DOIUrl":null,"url":null,"abstract":"We present a logical foundation for object-oriented specifications which supports a rigorous formal development of object-oriented systems. In this setting, we study two different views on a system, the implementor's view (glass-box view) and the user's view (black-box view) which both are founded on a model-theoretic semantics. We also discuss the hierarchical construction of specifications and realisations. Our approach is abstract in the sense that it can be instantiated by various concrete specification formalisms like OCL or JML.","PeriodicalId":207271,"journal":{"name":"Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"9","resultStr":"{\"title\":\"Glass-box and black-box views on object-oriented specifications\",\"authors\":\"M. Bidoit, R. Hennicker, Alexander Knapp, H. Baumeister\",\"doi\":\"10.1109/SEFM.2004.22\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present a logical foundation for object-oriented specifications which supports a rigorous formal development of object-oriented systems. In this setting, we study two different views on a system, the implementor's view (glass-box view) and the user's view (black-box view) which both are founded on a model-theoretic semantics. We also discuss the hierarchical construction of specifications and realisations. Our approach is abstract in the sense that it can be instantiated by various concrete specification formalisms like OCL or JML.\",\"PeriodicalId\":207271,\"journal\":{\"name\":\"Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004.\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2004-09-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"9\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SEFM.2004.22\",\"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 of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SEFM.2004.22","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 9

摘要

我们提出了一个面向对象规范的逻辑基础，它支持面向对象系统的严格的正式开发。在这种情况下，我们研究了系统的两种不同视图，实现者视图(玻璃盒视图)和用户视图(黑盒视图)，这两种视图都建立在模型理论语义上。我们还讨论了规范和实现的分层结构。我们的方法是抽象的，因为它可以通过各种具体的规范形式(如OCL或JML)实例化。

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

查看原文本刊更多论文

Glass-box and black-box views on object-oriented specifications

We present a logical foundation for object-oriented specifications which supports a rigorous formal development of object-oriented systems. In this setting, we study two different views on a system, the implementor's view (glass-box view) and the user's view (black-box view) which both are founded on a model-theoretic semantics. We also discuss the hierarchical construction of specifications and realisations. Our approach is abstract in the sense that it can be instantiated by various concrete specification formalisms like OCL or JML.

求助全文

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

来源期刊

Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004.

自引率

0.00%

发文量