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 条
  • [41] Modeling Guidelines for Component-Based Supervisory Control Synthesis
    Goorden, Martijn
    van de Mortel-Fronczak, Joanna
    Reniers, Michel
    Fokkink, Wan
    Rooda, Jacobus
    FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2019, 2020, 12018 : 3 - 24
  • [42] Component-Based Dynamic Load Modeling of a Paper Mill
    Wong, K. E.
    Haque, M. E.
    Davies, M.
    2012 22ND AUSTRALASIAN UNIVERSITIES POWER ENGINEERING CONFERENCE (AUPEC): GREEN SMART GRID SYSTEMS, 2012,
  • [43] Formal component-based modeling and synthesis for PLC systems
    Zhou, M.
    Wan, H.
    Wang, R.
    Song, X.
    Su, C.
    Gu, M.
    Sun, J.
    COMPUTERS IN INDUSTRY, 2013, 64 (08) : 1022 - 1034
  • [44] Simulation: Transactions of the SCS component-based modeling and simulation
    Barros, F
    Sarjoughian, HS
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2004, 80 (7-8): : 319 - 320
  • [45] A component-based aircraft instrument rapid modeling tool
    Fang-wen LI
    Frontiers of Information Technology & Electronic Engineering, 2010, (11) : 911 - 918
  • [46] A component-based aircraft instrument rapid modeling tool
    Fang-wen Li
    Xu-kun Shen
    Journal of Zhejiang University SCIENCE C, 2010, 11 : 911 - 918
  • [47] Reproducible, component-based modeling with TopoFlow, a spatial hydrologic modeling toolkit
    Peckham, Scott D.
    Stoica, Maria
    Jafarov, Elchin
    Endalamaw, Abraham
    Bolton, W. Robert
    EARTH AND SPACE SCIENCE, 2017, 4 (06): : 377 - 394
  • [48] Component-based modeling of systems for automated fault tree generation
    Majdara, Aref
    Wakabayashi, Toshio
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2009, 94 (06) : 1076 - 1086
  • [49] A methodology of component-based modeling for complex digital logic systems
    Chen, F. (chenfulong@gmail.com), 1600, Binary Information Press (10):
  • [50] A Component-Based 3D Garment Modeling Algorithm
    Wang, Ruo-Mei
    Xie, Gong-Hai
    Zhou, Bing-Guang
    Zhou, Fan
    TEXTILE BIOENGINEERING AND INFORMATICS SYMPOSIUM PROCEEDINGS, 2016, VOLS 1 AND 2, 2016, : 628 - 632
12345