MDA Approach for Non-functional Characteristics of Cyber Physical Systems Based on Aspect-Oriented Method

被引：0
|
作者：
Zhang, Lichen [1 ]
机构：
[1] Guangdong Univ Technol, Fac Comp Sci & Technol, Guangzhou 510090, Guangdong, Peoples R China
来源：
ADVANCES IN COMPUTER SCIENCE, ENVIRONMENT, ECOINFORMATICS, AND EDUCATION, PT II | 2011年 / 215卷
关键词：
Non-Functional Properties; Aspect-Oriented; MDA;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, we propose an aspect-oriented MDA approach for nonfunctional properties to develop cyber physical systems. An aspect-oriented UML profile is built to develop cyber physical systems. Aspect-oriented UML models are designed as Platform Independent Models (PIM) for target-platform implementation, which deal with non-functional properties. OCL formal language is used to restrict the model in every stages of MDA, and the real-time extension of OCL formal language is made to describe the timing constraints of cyber physical systems. Finally, the model- based development and aspect-oriented approach, the formal methods and the cyber physical system are integrated effectively. A case study illustrates the aspect oriented MDA development of cyber physical systems.
引用
收藏
页码：323 / 328
页数：6
相关论文
共 50 条
  • [1] Aspect-Oriented MDA Approach for Non-Functional Properties of Distributed Cyber Physical Systems
    Zhang, Lichen
    2011 TENTH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS TO BUSINESS, ENGINEERING AND SCIENCE (DCABES), 2011, : 284 - 288
  • [2] Aspect-oriented development method for nonfunctional characteristics of cyber physical systems based on MDA approach
    Zhang, L. (zhanglichen1962@163.com), 1600, Academy Publisher (07):
  • [3] Modeling Method of Aspect-Oriented MDA for Non-Functional Properties of Dependable and distributed Real-Time Systems
    Zhang, Lichen
    2011 INTERNATIONAL CONFERENCE ON COMPUTERS, COMMUNICATIONS, CONTROL AND AUTOMATION (CCCA 2011), VOL III, 2010, : 601 - 604
  • [4] Aspect-Oriented Approach to Modeling Railway Cyber Physical Systems
    Zhang, Lichen
    2013 12TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS TO BUSINESS, ENGINEERING & SCIENCE (DCABES), 2013, : 29 - 33
  • [5] Aspect-Oriented Method for Dependable Data Warehouse Systems based on MDA Approach
    Imane, Hilal
    Nadia, Afifi
    Hicham, Belhadaoui
    Reda, Filali Hilali
    Mohammed, Ouzzif
    2014 INTERNATIONAL CONFERENCE ON MULTIMEDIA COMPUTING AND SYSTEMS (ICMCS), 2014, : 1274 - 1278
  • [6] A Formal Framework for Aspect-Oriented Specification of Cyber Physical Systems
    Zhang, Lichen
    He, Jifeng
    CONVERGENCE AND HYBRID INFORMATION TECHNOLOGY, 2011, 206 : 391 - 398
  • [7] Formal Methods for Aspect-Oriented Specification of Cyber Physical Systems
    Zhang, Lichen
    ADVANCES IN COMPUTER SCIENCE, ENVIRONMENT, ECOINFORMATICS, AND EDUCATION, PT II, 2011, 215 : 316 - 322
  • [8] Aspect-Oriented QoS Specification for Cyber-Physical Systems
    Zhang, Lichen
    He, Jifeng
    CONVERGENCE AND HYBRID INFORMATION TECHNOLOGY, 2011, 206 : 399 - 406
  • [9] Aspect-Oriented Modeling of Railway Cyber Physical Systems Based on the Extension of AADL
    Zhang, Lichen
    2013 IEEE 15TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS & 2013 IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING (HPCC_EUC), 2013, : 2104 - 2111
  • [10] QoS Modeling for Dependable and Distributed Cyber Physical Systems Using Aspect-Oriented Approach
    Zhang, Lichen
    2011 TENTH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS TO BUSINESS, ENGINEERING AND SCIENCE (DCABES), 2011, : 354 - 358
12345