A refinement driven component-based design

被引：3
|
作者：
Chen, Zhenbang [1 ]
Liu, Zhiming [1 ]
Stolz, Volker [1 ]
Yang, Lu [1 ]
Ravn, Anders P. [2 ]
机构：
[1] United Nations Univ, Int Inst Software Technol, Tokyo, Japan
[2] Aalborg Univ, Dept Comp Sci, Aalborg, Denmark
来源：
12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS | 2007年
关键词：
software development process; object-orientation; component-based modeling; refinement;
D O I：
10.1109/ICECCS.2007.12
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Modem software applications ranging from enterprise to embedded systems are becoming increasingly complex, and require very high levels of dependability assurance. The most effective means to handle complexity is separation of concerns and incremental development, and assurance of dependability requires formal methods. We report here our experience on these issues in an application of a formal calculus, rCOS, to a component-based design of the point of sale system (POS). We demonstrate the possibility in scaling-up correctness by design and discuss how rCOS may be integrated with current and emerging software engineering tools. Keywords: Software development process, object-orientation, component-based modeling, refinement.
引用
收藏
页码：277 / +
页数：3
相关论文
共 50 条
  • [1] Refinement and verification in component-based model-driven design
    Chen, Zhenbang
    Liu, Zhiming
    Ravn, Anders P.
    Stolz, Volker
    Zhan, Naijun
    SCIENCE OF COMPUTER PROGRAMMING, 2009, 74 (04) : 168 - 196
  • [2] Component-based abstraction and refinement
    Li, Juncao
    Sun, Xiuli
    Xie, Fei
    Song, Xiaoyu
    HIGH CONFIDENCE SOFTWARE REUSE IN LARGE SYSTEMS, PROCEEDINGS, 2008, 5030 : 39 - +
  • [3] A strategy for component-based modeling and refinement
    Liu, J
    Miao, HK
    ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 26 - 27
  • [4] Optimal Refinement for Component-based Architectures
    Bibartiu, Otto
    Duerr, Frank
    Rothermel, Kurt
    2021 IEEE 25TH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE (EDOC 2021), 2021, : 142 - 151
  • [5] Refinement of the PAC model for the component-based design and specification of television based interfaces
    Markopoulos, P
    Shrubsole, P
    de Vet, J
    DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99, 1999, : 117 - 132
  • [6] Refinement and verification of synchronized component-based systems
    Kouchnarenko, O
    Lanoix, A
    FME 2003: FORMAL METHODS, PROCEEDINGS, 2003, 2805 : 341 - 358
  • [7] Compositional Abstraction Refinement for Component-Based Systems
    Zhang, Lianyi
    Meng, Qingdi
    Lo, Kueiming
    JOURNAL OF APPLIED MATHEMATICS, 2014,
  • [8] 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
  • [9] Component-Based Design for the Future
    Lee, Edward A.
    Sangiovanni-Vincentelli, Alberto L.
    2011 DESIGN, AUTOMATION & TEST IN EUROPE (DATE), 2011, : 1029 - U2416
  • [10] Component-based interaction design
    Feyer, T
    Thalheim, B
    INFORMATION MODELLING AND KNOWLEDGE BASES XV, 2004, 105 : 19 - 36
12345