Component-Based Modeling in Mediator

被引：10
作者：
Li, Yi
Sun, Meng [1 ]
机构：
[1] Peking Univ, LMAM, Sch Math Sci, Beijing, Peoples R China
来源：
FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017) | 2017年 / 10487卷
基金：
中国国家自然科学基金;
关键词：
Component-based modeling; Coordination; Formal method;
D O I：
10.1007/978-3-319-68034-7_1
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper we propose a new language Mediator to formalize component-based system models. Mediator supports a two-step modeling approach. Automata, encapsulated with an interface of ports, are the basic behavior units. Systems declare components or connectors through automata, and glue them together. With the help of Mediator, components and systems can be modeled separately and precisely. Through various examples, we show that this language can be used in practical scenarios.
引用
收藏
页码：1 / 19
页数：19
相关论文
共 50 条
  • [1] Mediator: A component-based modeling language for concurrent and distributed systems
    Li, Yi
    Sun, Weidi
    Sun, Meng
    SCIENCE OF COMPUTER PROGRAMMING, 2020, 192
  • [2] Component-Based Modeling for Complex Digital Logic Systems
    Zhou, Wen
    Chen, Fulong
    Sun, Yunxiang
    Ye, Heping
    Wang, Jinbao
    Qi, Xuemei
    2013 6TH INTERNATIONAL CONGRESS ON IMAGE AND SIGNAL PROCESSING (CISP), VOLS 1-3, 2013, : 1106 - 1111
  • [3] Exploring component-based approaches in forest landscape modeling
    He, HS
    Larsen, DR
    Mladenoff, DJ
    ENVIRONMENTAL MODELLING & SOFTWARE, 2002, 17 (06) : 519 - 529
  • [4] Modeling of hybrid electromechanical systems using a component-based approach
    Vaze, Shilpa A.
    DeVault, James E.
    Krishnaswami, Prakash
    2005 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS AND AUTOMATIONS, VOLS 1-4, CONFERENCE PROCEEDINGS, 2005, : 204 - 209
  • [5] Component-based modeling of systems for automated fault tree generation
    Majdara, Aref
    Wakabayashi, Toshio
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2009, 94 (06) : 1076 - 1086
  • [6] A methodology of component-based modeling for complex digital logic systems
    Chen, F. (chenfulong@gmail.com), 1600, Binary Information Press (10): : 4557 - 4564
  • [7] A Component-based Meta Modeling Framework for Complex Product Virtual Prototype
    Li, Tan
    Lin, Tingyu
    Chai, Xudong
    Hou, Baocun
    SUSTAINABLE CONSTRUCTION MATERIALS AND COMPUTER ENGINEERING, 2012, 346 : 346 - +
  • [8] Hierarchical modeling of complex systems: A hybrid approach combining the best of flattening and component-based modeling
    Claeys, F. H. A.
    Vanrolleghem, P. A.
    18TH WORLD IMACS CONGRESS AND MODSIM09 INTERNATIONAL CONGRESS ON MODELLING AND SIMULATION: INTERFACING MODELLING AND SIMULATION WITH MATHEMATICAL AND COMPUTATIONAL SCIENCES, 2009, : 1087 - 1093
  • [9] Study on real-time component-based modeling for embedded system testing
    Chen Fulong
    Fan Xiaoya
    Deng Lei
    Wei Hanjun
    ISTM/2007: 7TH INTERNATIONAL SYMPOSIUM ON TEST AND MEASUREMENT, VOLS 1-7, CONFERENCE PROCEEDINGS, 2007, : 138 - 141
  • [10] Component-based modeling of ground-coupled seasonal thermal energy storages
    Bott, Christoph
    Ehrenwirth, Mathias
    Trinkl, Christoph
    Bayer, Peter
    APPLIED THERMAL ENGINEERING, 2022, 214
12345