基于组件的软件和系统开发方法

32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06) Pub Date : 2006-08-29 DOI:10.1109/EUROMICRO.2006.9

Denis Hatebur, M. Heisel, J. Souquières

{"title":"基于组件的软件和系统开发方法","authors":"Denis Hatebur, M. Heisel, J. Souquières","doi":"10.1109/EUROMICRO.2006.9","DOIUrl":null,"url":null,"abstract":"We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method uses existing notations and languages with their associated tools: context diagrams for analyzing and structuring the problem, composite structure diagrams for describing the overall system in terms of components and interfaces, sequence diagrams to describe the behavior of each component, and the formal method B for specifying the interfaces of the different components and for proving their interoperability. Interoperability is proven using the B method with its underlying concept of refinement, and its powerful tool support, the B prover","PeriodicalId":213772,"journal":{"name":"32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06)","volume":"99 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"17","resultStr":"{\"title\":\"A Method for Component-Based Software and System Development\",\"authors\":\"Denis Hatebur, M. Heisel, J. Souquières\",\"doi\":\"10.1109/EUROMICRO.2006.9\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method uses existing notations and languages with their associated tools: context diagrams for analyzing and structuring the problem, composite structure diagrams for describing the overall system in terms of components and interfaces, sequence diagrams to describe the behavior of each component, and the formal method B for specifying the interfaces of the different components and for proving their interoperability. Interoperability is proven using the B method with its underlying concept of refinement, and its powerful tool support, the B prover\",\"PeriodicalId\":213772,\"journal\":{\"name\":\"32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06)\",\"volume\":\"99 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2006-08-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"17\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/EUROMICRO.2006.9\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/EUROMICRO.2006.9","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 17

摘要

我们提出了一种基于组件的软件和系统开发方法，其中特别考虑了不同组件之间的互操作性。该方法使用现有的符号和语言及其相关工具:用于分析和构建问题的上下文图，用于根据组件和接口描述整个系统的复合结构图，用于描述每个组件行为的序列图，以及用于指定不同组件的接口并证明其互操作性的形式化方法B。互操作性是通过使用B方法及其底层的细化概念和强大的工具支持(B证明器)来证明的

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

查看原文本刊更多论文

A Method for Component-Based Software and System Development

We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method uses existing notations and languages with their associated tools: context diagrams for analyzing and structuring the problem, composite structure diagrams for describing the overall system in terms of components and interfaces, sequence diagrams to describe the behavior of each component, and the formal method B for specifying the interfaces of the different components and for proving their interoperability. Interoperability is proven using the B method with its underlying concept of refinement, and its powerful tool support, the B prover

求助全文

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

来源期刊

32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06)

自引率

0.00%

发文量