A method for component-based software and system development

被引：6
|
作者：
Hatebur, Denis [1 ]
Heisel, Maritta [1 ]
Souquieres, Jeanine [2 ]
机构：
[1] Univ Duisburg Essen, Inst Medientech & Software Engn, D-47048 Duisburg, Germany
[2] Univ Nancy 2, LORIA, F-54506 Nancy, France
来源：
32ND EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA) - PROCEEDINGS | 2006年
关键词：
component based approach; interoperability; formal method;
D O I：
10.1109/EUROMICRO.2006.9
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：72 / +
页数：2
相关论文
共 50 条
  • [21] The W Model for Component-based Software Development
    Lau, Kung-Kiu
    Taweel, Faris M.
    Tran, Cuong M.
    2011 37TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2011), 2011, : 47 - 50
  • [22] Process Patterns for Component-Based Software Development
    Kouroshfar, Ehsan
    Shahir, Hamed Yaghoubi
    Ramsin, Raman
    COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 5582 : 54 - 68
  • [23] The SYNTHESIS environment for component-based software development
    Dellarocas, C
    EIGHTH IEEE INTERNATIONAL WORKSHOP ON SOFTWARE TECHNOLOGY AND ENGINEERING PRACTICE INCORPORATING COMPUTER AIDED SOFTWARE ENGINEERING, PROCEEDINGS, 1997, : 434 - 443
  • [24] A repository for component-based embedded software development
    Gao, Tong
    Ma, Hui
    Yen, I-Ling
    Khan, Latifur
    Bastani, Farokh
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2006, 16 (04) : 523 - 552
  • [25] Risks and challenges of component-based software development
    Vitharana, P
    COMMUNICATIONS OF THE ACM, 2003, 46 (08) : 67 - 72
  • [26] A Component-Based Method for Software Architecture Refinement
    Zhang Juan
    Ban Xiaojuan
    Lv Qiang
    Chen Jie
    Wu Di
    PROCEEDINGS OF THE 29TH CHINESE CONTROL CONFERENCE, 2010, : 4251 - 4256
  • [27] A component-based approach for embedded software development
    Yen, IL
    Goluguri, J
    Bastani, F
    Khan, L
    Linn, J
    ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2002, : 402 - 410
  • [28] Activity Based Costing for Component-Based Software Development
    Robert G. Fichman
    Chris F. Kemerer
    Information Technology and Management, 2002, 3 (1-2) : 137 - 160
  • [29] Scalable system software: a component-based approach
    Bode, B
    Bradshaw, R
    DeBenedictus, E
    Desai, N
    Duell, J
    Geist, GA
    Hargrove, P
    Jackson, D
    Jackson, S
    Laros, J
    Lowe, C
    Lusk, E
    McLendon, W
    Mugler, J
    Naughton, T
    Navarro, JP
    Oldfield, R
    Pundit, N
    Scott, SL
    Showerman, M
    Steffen, C
    Walker, K
    SciDAC 2005: Scientific Discovery Through Advanced Computing, 2005, 16 : 546 - 550
  • [30] Component-Based Software
    P C Magazine: The Independent Guide to IBM - Standard Personal Computers, 16 (08):
12345