Formal description for component-based architecture model transformation

被引：0
|
作者：
Hou, Jinkui [1 ]
Wang, Lei [1 ]
机构：
[1] School of Computer Engineering, Weifang University, Weifang, China
来源：
Journal of Networks | 2013年 / 8卷 / 04期
关键词：
D O I：
10.4304/jnw.8.4.874-881
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：874 / 881
相关论文
共 50 条
  • [21] A component-based power system model-driven architecture
    Dzafic, I
    Glavic, M
    Tesnjak, S
    IEEE TRANSACTIONS ON POWER SYSTEMS, 2004, 19 (04) : 2109 - 2110
  • [22] Model-to-Metamodel Transformation for the Development of Component-Based Systems
    Kainz, Gerd
    Buckl, Christian
    Sommer, Stephan
    Knoll, Alois
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PT II, 2010, 6395 : 391 - +
  • [23] Formal verification in a component-based reuse methodology
    Karlsson, D
    Eles, P
    Peng, Z
    ISSS'02: 15TH INTERNATIONAL SYMPOSIUM ON SYSTEM SYNTHESIS, 2002, : 156 - 161
  • [24] Visual Component-based Development of Formal Models
    Ostroumov, Sergey
    Walden, Marina
    THIRD INTERNATIONAL CONFERENCE ON ADVANCES AND TRENDS IN SOFTWARE ENGINEERING (SOFTENG 2017), 2017, : 43 - 50
  • [25] Formal verification issues for component-based development
    Hariati M.
    Informatica (Slovenia), 2020, 44 (04): : 469 - 475
  • [26] Formal Verification Issues For Component-Based Development
    Hariati, Mehdi
    INFORMATICA-AN INTERNATIONAL JOURNAL OF COMPUTING AND INFORMATICS, 2020, 44 (04): : 469 - 475
  • [27] A Formal Framework for Component-Based Embedded Systems
    Tu, Yuqing
    Li, Di
    Li, Fang
    Zheng, Shixiong
    2010 IEEE/ASME INTERNATIONAL CONFERENCE ON ADVANCED INTELLIGENT MECHATRONICS (AIM), 2010,
  • [28] Component-Based Formal Modeling of PLC Systems
    Wang, Rui
    Guan, Yong
    Luo Liming
    Li, Xiaojuan
    Zhang, Jie
    JOURNAL OF APPLIED MATHEMATICS, 2013,
  • [29] A formal framework for scalable component-based systems
    Bouanaka C.
    Debza A.A.
    Belala F.
    Zeghib N.
    1600, IGI Global (08): : 1 - 23
  • [30] A dynamically reconfigurable component-based architecture
    Talevski, A
    Chang, E
    ENGINEERING INTELLIGENT SYSTEMS FOR ELECTRICAL ENGINEERING AND COMMUNICATIONS, 2002, 10 (01): : 27 - 36
12345