Automated consistency checking of UML/MARTE based software systems

被引：0
|
作者：
Dey, Shouvik [1 ]
Hazra, Rumpa [2 ]
Kanjilal, Ananya [3 ]
Bhattacharya, Swapan [4 ]
机构：
[1] Natl Inst Technol Nagaland, Dimapur, India
[2] Heritage Inst Technol Kolkata, Kolkata, India
[3] BP Poddar Inst Management & Technol Kolkata, Kolkata, India
[4] Jadavpur Univ Kolkata, Kolkata, India
来源：
PROCEEDINGS OF TENCON 2018 - 2018 IEEE REGION 10 CONFERENCE | 2018年
关键词：
UML;
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
Development of UML/MARTE based modelling technique is gaining popularity day by day. UML/MARTE model driven approach can be used to describe non real time software systems as well as timing constraints for real time software systems. However it is essential to ensure consistency among the different UML diagrams as it affects the quality of software system. The novelty of this paper lies in proposing comprehensive framework for automatic verification of inter diagram consistency based on UML/MARTE models. A simulator has been developed based on the formal specification to automatically detect inconsistencies at the early stage of design. The proposed methodology is applied and explained on a case study for substantiation of the approach.
引用
收藏
页码：2270 / 2275
页数：6
相关论文
共 50 条
  • [1] Timing consistency checking for UML/MARTE behavioral models
    Choi, Jinho
    Jee, Eunkyoung
    Bae, Doo-Hwan
    [J]. SOFTWARE QUALITY JOURNAL, 2016, 24 (03) : 835 - 876
  • [2] Timing consistency checking for UML/MARTE behavioral models
    Jinho Choi
    Eunkyoung Jee
    Doo-Hwan Bae
    [J]. Software Quality Journal, 2016, 24 : 835 - 876
  • [3] A Method of Software Specification Mutation Testing Based on UML State Diagram for Consistency Checking
    Mi, Lei
    Ben, Kerong
    [J]. CEIS 2011, 2011, 15
  • [4] Consistency checking of UML requirements
    Li, XS
    Liu, ZM
    He, JF
    [J]. ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 411 - 420
  • [5] A TOOL BASED ON DL FOR UML MODEL CONSISTENCY CHECKING
    Simmonds, Jocelyn
    Bastarrica, Maria Cecilia
    Hitschfeld-Kahler, Nancy
    Rivas, Sebastian
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2008, 18 (06) : 713 - 735
  • [6] Generating ROS-based Software for Industrial Cyber-Physical Systems from UML/MARTE
    Wehrmeister, Marco Aurelio
    [J]. 2020 25TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2020, : 313 - 320
  • [7] Automated Architecture Consistency Checking for Model Driven Software Development
    Biehl, Matthias
    Lowe, Welf
    [J]. ARCHITECTURES FOR ADAPTIVE SOFTWARE SYSTEMS, 2009, 5581 : 36 - 51
  • [8] Consistency Checking of UML Business Model
    Vasilecas, Olegas
    Dubauskaite, Ruta
    Rupnik, Rok
    [J]. TECHNOLOGICAL AND ECONOMIC DEVELOPMENT OF ECONOMY, 2011, 17 (01) : 133 - 150
  • [9] Model checking dynamic UML consistency
    Zhao, Xiangpeng
    Long, Quan
    Qiu, Zongyan
    [J]. Formal Methods and Software Engineering, Proceedings, 2006, 4260 : 440 - 459
  • [10] Ontology definition metamodel based consistency checking of UML models
    Wang, Shengjun
    Jin, Longfei
    Jin, Chengzhi
    [J]. 2006 10TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, PROCEEDINGS, VOLS 1 AND 2, 2006, : 1043 - 1047
12345