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 条
  • [31] Toward a formal common information model ontology
    Quirolgico, S
    Assis, P
    Westerinen, A
    Baskey, M
    Stokes, E
    WEB INFORMATION SYSTEMS - WISE 2004 WORKSHOPS, PROCEEDINGS, 2004, 3307 : 11 - 21
  • [32] A Framework for Identifying Reusable Software Components Using Formal Concept Analysis
    Hamza, Haitham S.
    PROCEEDINGS OF THE 2009 SIXTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, VOLS 1-3, 2009, : 813 - 818
  • [33] Toward component-oriented formal software development: An algebraic approach
    Bidoit, M
    Sannella, D
    Tarlecki, A
    RADICAL INNOVATIONS OF SOFTWARE AND SYSTEMS ENGINEERING IN THE FUTURE, 2004, 2941 : 75 - 90
  • [34] Model-Integrating Software Components
    Derakhshanmanesh, Mahdi
    Ebert, Juergen
    Iguchi, Thomas
    Engels, Gregor
    MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2014, 2014, 8767 : 386 - 402
  • [35] Towards a Failure Model of Software Components
    Dong, Ruzhen
    Zhan, Naijun
    FORMAL ASPECTS OF COMPONENT SOFTWARE, 2014, 8348 : 119 - 136
  • [36] A flexible connection model for software components
    Washizaki, H
    Hoshi, D
    Fukazawa, Y
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2006, E89D (04): : 1421 - 1431
  • [37] Model-integrating software components
    Derakhshanmanesh, Mahdi (manesh@uni-koblenz.de), 1600, Springer Verlag (8767):
  • [38] A model for designing adaptable software components
    Heineman, GT
    TWENTY-SECOND ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE - PROCEEDINGS, 1998, : 121 - 127
  • [39] Using a Formal Language Constructs for Software Model Evolution
    Ajila, Samuel A.
    Alam, Shahid
    2009 IEEE THIRD INTERNATIONAL CONFERENCE ON SEMANTIC COMPUTING (ICSC 2009), 2009, : 390 - +
  • [40] Algebraic Model and Formal Description Language of Software Architecture
    Chen, Wei
    Li, Tong
    Li, Jinglei
    PROCEEDINGS OF THE FIRST INTERNATIONAL WORKSHOP ON EDUCATION TECHNOLOGY AND COMPUTER SCIENCE, VOL II, 2009, : 659 - 665
12345