Toward a formal model of software components

被引：0
|
作者：
Heisel, M [1 ]
Santen, T [1 ]
Souquières, J [1 ]
机构：
[1] Tech Univ Ilmenau, D-98684 Ilmenau, Germany
来源：
FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS | 2002年 / 2495卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We are interested in specifying component models in away that allows us to analyze the interplay of components in general, and to concisely specify individual components. As a starting point for coming up with a technique of specifying component models, we consider JavaBeans. We capture the JavaBean component model using UML class diagrams, Object-Z, and life sequence charts.
引用
收藏
页码：57 / 68
页数：12
相关论文
共 50 条
  • [1] On Formal Specification of Software Components and Systems
    Flynn, Sharon
    Hamlet, Dick
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 161 : 91 - 107
  • [2] A formal approach to software components classification and retrieval
    Chang, CT
    Chu, WC
    Liu, CS
    Yang, HJ
    COMPSAC 97 : TWENTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 1997, : 264 - 269
  • [3] Formal design and implementation of constraints in software components
    Coronato, Antonio
    De Pietro, Giuseppe
    ADVANCES IN ENGINEERING SOFTWARE, 2010, 41 (05) : 737 - 747
  • [4] TOWARD FORMAL MODELS OF SOFTWARE ENGINEERING PROCESSES
    KRAMER, B
    LUQI
    JOURNAL OF SYSTEMS AND SOFTWARE, 1991, 15 (01) : 63 - 74
  • [5] Toward a search architecture for software components
    Silvestri, Fabrizio
    Puppin, Diego
    Laforenza, Domenico
    Orlando, Salvatore
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2006, 18 (10): : 1317 - 1331
  • [6] A formal approach to deploy heterogeneous software components in a PLC
    Khalgui, Mohamed
    Carpanzano, Emanuele
    ICSOFT 2007: PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL SE: SOFTWARE ENGINEERING, 2007, : 207 - 212
  • [7] Formal specifications guide development and testing of software components
    Davis, R.E.
    Tamkang Journal of Science and Engineering, 1999, 2 (01): : 1 - 10
  • [8] From Formal Methods to Software Components: Back to the Future?
    Lau, Kung-Kiu
    FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2016), 2017, 10231 : 10 - 14
  • [9] The formal economic model of software engineering
    Wang, Yingxu
    Yuan, Yuyu
    2006 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-5, 2006, : 1972 - +
  • [10] A formal model of the software test process
    Cangussu, JW
    DeCarlo, RA
    Mathur, AP
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2002, 28 (08) : 782 - 796
12345