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 条
  • [21] A formal model of software pipelining loops with conditions
    Milicev, D
    Jovanovic, Z
    11TH INTERNATIONAL PARALLEL PROCESSING SYMPOSIUM, PROCEEDINGS, 1997, : 554 - 558
  • [22] A formal model for component-based software
    Cox, PT
    Song, BM
    IEEE SYMPOSIA ON HUMAN-CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2001, : 304 - 311
  • [23] A FORMAL MODEL FOR SOFTWARE PROJECT-MANAGEMENT
    LIU, LC
    HOROWITZ, E
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1989, 15 (10) : 1280 - 1293
  • [24] Toward developing reusable software components for robotic applications
    Nesnas, IAD
    Volpe, R
    Estlin, T
    Das, H
    Petras, R
    Mutz, D
    IROS 2001: PROCEEDINGS OF THE 2001 IEEE/RJS INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, VOLS 1-4: EXPANDING THE SOCIETAL ROLE OF ROBOTICS IN THE NEXT MILLENNIUM, 2001, : 2375 - 2383
  • [25] AN APPROACH TOWARD MECHANIZATION OF ACQUIRING REUSABLE SOFTWARE COMPONENTS
    FEI, ZM
    LU, J
    SIGPLAN NOTICES, 1993, 28 (08): : 46 - 56
  • [26] A formal model of composing components: the TLA(+) approach
    Rysavy, Ondrej
    Rab, Jaroslav
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2009, 5 (02) : 139 - 148
  • [27] Formal Dynamics Operational Model of RIS Components
    Zafar, Nazir Ahmad
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2011, 11 (09): : 91 - 97
  • [28] DisCComp - A Formal Model for Distributed Concurrent Components
    Rausch, Andreas
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 176 (02) : 5 - 23
  • [29] Formal techniques in the safety analysis of software components of a new dialysis machine
    Harrison, Michael D.
    Freitas, Leo
    Drinnan, Michael
    Campos, Jose C.
    Masci, Paolo
    di Maria, Costanzo
    Whitaker, Michael
    SCIENCE OF COMPUTER PROGRAMMING, 2019, 175 : 17 - 34
  • [30] Software Components Prioritization using OCL Formal Specification for Effective Testing
    Jalila, A.
    Mala, D. Jeya
    2013 INTERNATIONAL CONFERENCE ON RECENT TRENDS IN INFORMATION TECHNOLOGY (ICRTIT), 2013, : 714 - 720
12345