USING MODEL-BASED TRACES AS RUNTIME MODELS

被引：21
|
作者：
Maoz, Shahar [1 ]
机构：
[1] Weizmann Inst Sci, IL-76100 Rehovot, Israel
来源：
COMPUTER | 2009年 / 42卷 / 10期
基金：
欧洲研究理事会; 欧盟第七框架计划;
关键词：
UML SEQUENCE DIAGRAMS;
D O I：
10.1109/MC.2009.336
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Software engineers typically use code-level tracing to capture a running system's behavior. An alternative is to generate and analyze model-based traces, which contain rich semantic information about the system's runs at the abstraction level that its design models define. A set of metrics and operators can aid such trace analysis. © 2009 IEEE.
引用
收藏
页码：28 / 36
页数：9
相关论文
共 50 条
  • [1] Model-Based Traces
    Maoz, Shahar
    [J]. MODELS IN SOFTWARE ENGINEERING, 2009, 5421 : 109 - 119
  • [2] Model-based Runtime Verification Framework
    Zhao, Yuhong
    Rammig, Franz
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 253 (01) : 179 - 193
  • [3] A Modular Runtime Enforcement Model Using Multi-traces
    Taleb, Rania
    Halle, Sylvain
    Khoury, Raphael
    [J]. FOUNDATIONS AND PRACTICE OF SECURITY, FPS 2021, 2022, 13291 : 283 - 302
  • [4] Model-based runtime analysis of distributed reactive systems
    Bauer, Andreas
    Leucker, Martin
    Schallhart, Christian
    [J]. 2006 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2006, : 243 - +
  • [5] Model-Based Runtime Monitoring of Smart City Systems
    Incki, Koray
    Ari, Ismail
    [J]. 15TH INTERNATIONAL CONFERENCE ON MOBILE SYSTEMS AND PERVASIVE COMPUTING (MOBISPC 2018) / THE 13TH INTERNATIONAL CONFERENCE ON FUTURE NETWORKS AND COMMUNICATIONS (FNC-2018) / AFFILIATED WORKSHOPS, 2018, 134 : 75 - 82
  • [6] Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces
    Chupilko, Mikhail
    Kamkin, Alexander
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (111): : 67 - 81
  • [7] MODEL-BASED CONTROL USING MECHANISTIC, NONLINEAR MODELS
    RIGGS, JB
    BEAUFORD, MH
    WATTS, JC
    [J]. ISA TRANSACTIONS, 1994, 33 (02) : 141 - 146
  • [8] Model-based empirical performance evaluation based on relational traces
    Boskovic, Marko
    [J]. ECBS 2007: 14TH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS: RAISING EXPECTATIONS OF COMPUTER-BASES SYSTEMS, 2007, : 467 - 474
  • [9] Model-Based Test Case Generation by Reusing Models From Runtime Monitoring of Deeply Embedded Systems
    Iyenghar, Padma
    Wuebbelmann, Juergen
    Westerkamp, Clemens
    Pulvermueller, Elke
    [J]. IEEE EMBEDDED SYSTEMS LETTERS, 2013, 5 (03) : 38 - 41
  • [10] REACT: A Model-Based Runtime Environment for Adapting Communication Systems
    Pfannemueller, Martin
    Breitbach, Martin
    Krupitzer, Christian
    Weckesser, Markus
    Becker, Christian
    Schmerl, Bradley
    Schuerr, Andy
    [J]. 2020 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND SELF-ORGANIZING SYSTEMS (ACSOS 2020), 2020, : 65 - 74
12345