Composition for component-based modeling

被引：0
|
作者：
Gössler, G [1 ]
Sifakis, J [1 ]
机构：
[1] INRIA, Rhone Alpes, France
来源：
FORMAL METHODS FOR COMPONENTS AND OBJECTS | 2003年 / 2852卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：443 / 466
页数：24
相关论文
共 50 条
  • [11] 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
  • [12] Component-based modeling of huge databases
    Schmidt, P
    Thalheim, B
    ADVANCES IN DATABASES AND INFORMATION SYSTEMS, PROCEEDINGS, 2004, 3255 : 113 - 128
  • [13] Component-based composition of system dynamics models
    Bauer, C
    Bodendorf, F
    Simulation in Wider Europe, 2005, : 320 - 327
  • [14] Component-based design: Towards guided composition
    Moschoyiannis, S
    Shields, MW
    THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2003, : 122 - 131
  • [15] Modeling components and component-based systems in KobrA
    Atkinson, Colin
    Bostan, Philipp
    Brenner, Daniel
    Falcone, Giovanni
    Gutheil, Matthias
    Hummel, Oliver
    Juhasz, Monika
    Stoll, Dietmar
    COMMON COMPONENT MODELING EXAMPLE: COMPARING SOFTWARE COMPONENT MODELS, 2008, 5153 : 54 - 84
  • [16] Modeling Variability of Hierarchical Component-Based Systems
    Jansen, Nico
    Pfeiffer, Jerome
    Rumpe, Bernhard
    Schmalzing, David
    Wortmann, Andreas
    JOURNAL OF OBJECT TECHNOLOGY, 2024, 23 (03):
  • [17] MODELING STREAM COMMUNICATIONS IN COMPONENT-BASED APPLICATIONS
    Danelutto, M.
    Laforenza, D.
    Tonellotto, N.
    Vanneschi, M.
    Zoccolo, C.
    SCALABLE COMPUTING-PRACTICE AND EXPERIENCE, 2010, 11 (03): : 263 - 275
  • [18] A COMPONENT-BASED MODELING AND SIMULATION SUPPORTING ENVIRONMENT
    Da, Teng
    Xiao, Song
    INTERNATIONAL JOURNAL OF MODELING SIMULATION AND SCIENTIFIC COMPUTING, 2013, 4 (04)
  • [19] Modeling stream communications in component-based applications
    Danelutto, Marco
    Laforenza, D.
    Tonellotto, N.
    Vanneschi, M.
    Zoccolo, C
    Scalable Computing, 2010, 11 (03): : 263 - 276
  • [20] Component-Based Formal Modeling of PLC Systems
    Wang, Rui
    Guan, Yong
    Luo Liming
    Li, Xiaojuan
    Zhang, Jie
    JOURNAL OF APPLIED MATHEMATICS, 2013,
12345