使用正式规范的软件系统集成方法

Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257) Pub Date : 2001-08-14 DOI:10.1109/MWSCAS.2001.986278

T. Hartrum, J. C. Nonnweiler

{"title":"使用正式规范的软件系统集成方法","authors":"T. Hartrum, J. C. Nonnweiler","doi":"10.1109/MWSCAS.2001.986278","DOIUrl":null,"url":null,"abstract":"This work proposes a methodology that can be used to integrate formal models representing software components. The integration ensures that the correctness of each input model is maintained while adding the desired functionality to the integrated model. Further, because of the inherent knowledge captured in the formal models, automated tool support can be developed to assist the application engineer in this process. This allows needed middleware for connecting the components to be synthesized from the formal specifications developed.","PeriodicalId":403026,"journal":{"name":"Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-08-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Software system integration methodology using formal specifications\",\"authors\":\"T. Hartrum, J. C. Nonnweiler\",\"doi\":\"10.1109/MWSCAS.2001.986278\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This work proposes a methodology that can be used to integrate formal models representing software components. The integration ensures that the correctness of each input model is maintained while adding the desired functionality to the integrated model. Further, because of the inherent knowledge captured in the formal models, automated tool support can be developed to assist the application engineer in this process. This allows needed middleware for connecting the components to be synthesized from the formal specifications developed.\",\"PeriodicalId\":403026,\"journal\":{\"name\":\"Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257)\",\"volume\":\"13 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-08-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/MWSCAS.2001.986278\",\"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 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MWSCAS.2001.986278","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

这项工作提出了一种可用于集成表示软件组件的正式模型的方法。集成确保在向集成模型添加所需功能的同时维护每个输入模型的正确性。此外，由于在正式模型中捕获的固有知识，可以开发自动化工具支持来帮助应用程序工程师进行此过程。这允许从开发的正式规范合成用于连接组件的所需中间件。

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

查看原文本刊更多论文

Software system integration methodology using formal specifications

This work proposes a methodology that can be used to integrate formal models representing software components. The integration ensures that the correctness of each input model is maintained while adding the desired functionality to the integrated model. Further, because of the inherent knowledge captured in the formal models, automated tool support can be developed to assist the application engineer in this process. This allows needed middleware for connecting the components to be synthesized from the formal specifications developed.

求助全文

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

来源期刊

Proceedings of the 44th IEEE 2001 Midwest Symposium on Circuits and Systems. MWSCAS 2001 (Cat. No.01CH37257)

自引率

0.00%

发文量