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 条
  • [1] Component-Based Software Development
    Sharma, Virendra Kumar
    Gupta, Narendra Prakash
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2010, 10 (11): : 132 - 134
  • [2] Component-based software development
    Capretz, LF
    Capretz, MAM
    Li, DH
    IECON'01: 27TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, 2001, : 1834 - 1837
  • [3] Development of a component-based mobile robot software system
    Liu, Guo-Cheng
    Wang, Yong-Ji
    Xu, Jian-Sheng
    Jiqiren/Robot, 2007, 29 (04): : 337 - 341
  • [4] Optimization of software components selection for component-based software system development
    Kwong, C. K.
    Mu, L. F.
    Tang, J. F.
    Luo, X. G.
    COMPUTERS & INDUSTRIAL ENGINEERING, 2010, 58 (04) : 618 - 624
  • [5] Component-based software development with component variants
    Altunel, Yusuf
    Tolun, Mehmet R.
    PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2007, : 235 - +
  • [6] A Component-based Software Development Method Combined with Enterprise Architecture
    Luo Yi
    Wu Chanle
    Huang Lei
    Ye Gang
    PROCEEDINGS OF THE 2013 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER SCIENCE AND ELECTRONICS INFORMATION (ICACSEI 2013), 2013, 41 : 87 - 91
  • [7] A method for modeling and testing exceptions in component-based software development
    Brito, PHD
    Rocha, CR
    Castor, F
    Martins, E
    Rubira, CMF
    DEPENDABLE COMPUTING, PROCEEDINGS, 2005, 3747 : 61 - 79
  • [8] Survey of component-based software development
    Mahmood, S.
    Lai, R.
    Kim, Y. S.
    IET SOFTWARE, 2007, 1 (02) : 57 - 66
  • [9] Logic for component-based software development
    Lau, KK
    Ornaghi, M
    COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT I: ESSAYS IN HONOUR OF ROBERT A KOWALSKI, 2002, 2407 : 347 - 373
  • [10] A component-based software development model
    Ning, JQ
    TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS, 1996, 20 : 389 - 394
12345