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 条
  • [1] Formal semantics of component-based architecture model mapping
    Hou, Jinkui
    Wan, Jiancheng
    Yang, Xiao
    Wang, Haiyang
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2009, 46 (02): : 310 - 320
  • [2] Semantic consistency of component-based architecture model transformation
    Hou, Jin-Kui
    Jilin Daxue Xuebao (Gongxueban)/Journal of Jilin University (Engineering and Technology Edition), 2010, 40 (01): : 238 - 244
  • [3] A formal model for component-based software
    Cox, PT
    Song, BM
    IEEE SYMPOSIA ON HUMAN-CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2001, : 304 - 311
  • [4] A formal approach for managing component-based architecture evolution
    Mokni, Abderrahman
    Urtado, Christelle
    Vauttier, Sylvain
    Huchard, Marianne
    Zhang, Huaxi Yulin
    SCIENCE OF COMPUTER PROGRAMMING, 2016, 127 : 24 - 49
  • [5] TADL - An Architecture Description Language for Trustworthy Component-Based Systems
    Mohammad, Mubarak
    Alagar, Vasu
    SOFTWARE ARCHITECTURE, 2008, 5292 : 290 - 297
  • [6] A reuse approach of description for component-based distributed software architecture
    Cao, M
    Wu, GF
    Wang, YY
    Current Trends in High Performance Computing and Its Applications, Proceedings, 2005, : 215 - 220
  • [7] XSADL: An architecture description language to specify component-based systems
    Zhang, SF
    Goddard, S
    ITCC 2005: International Conference on Information Technology: Coding and Computing, Vol 2, 2005, : 443 - 448
  • [8] A Formal Model for Component-Based Embedded Software Development
    Li, Changde
    Zhou, Xingshe
    Dong, Yunwei
    Yu, Zhiwen
    2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2009, : 19 - 23
  • [9] Formal Component-Based Semantics
    Madlener, Ken
    Smetsers, Sjaak
    van Eekelen, Marko
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (62): : 17 - 29
  • [10] Component-based is architecture
    Waguespack, L
    Schiano, WT
    INFORMATION SYSTEMS MANAGEMENT, 2004, 21 (03) : 53 - 60
12345