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 and verification of component connectors in Coq
    Li, Yi
    Sun, Meng
    SCIENCE OF COMPUTER PROGRAMMING, 2015, 113 : 285 - 301
  • [42] Modeling and Analysis of Component Connectors in Coq
    Li, Yi
    Sun, Meng
    FORMAL ASPECTS OF COMPONENT SOFTWARE, 2014, 8348 : 273 - 290
  • [43] Component modeling for the spatial representation of wildlife movements
    Bian, L
    JOURNAL OF ENVIRONMENTAL MANAGEMENT, 2000, 59 (04) : 235 - 245
  • [44] Modeling component connectors in Reo by constraint automata
    Baier, Christel
    Sirjani, Marjan
    Arbab, Farhad
    Rutten, Jan
    SCIENCE OF COMPUTER PROGRAMMING, 2006, 61 (02) : 75 - 113
  • [45] An agent based approach for modeling a groupware
    Eddine, Meftah Mohammed Charaf
    Okba, Kazar
    MULTIAGENT AND GRID SYSTEMS, 2016, 12 (03) : 199 - 215
  • [46] SCP modeling and smulation based on MAS
    Wang, JR
    Li, J
    Zhang, YH
    Hua, CY
    Hu, ZW
    PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT, VOLS 1 AND 2: MODERN INDUSTRIAL ENGINEERING AND INNOVATION IN ENTERPRISE MANAGEMENT, 2005, : 731 - 733
  • [47] Modeling of Biomechanical Parameters Based on LTM Structures
    Schuetz, Christoph
    Klein-Soetebier, Timo
    Schack, Thomas
    HUMAN CENTERED ROBOT SYSTEMS: COGNITION, INTERACTION, TECHNOLOGY, 2009, 6 : 161 - 171
  • [48] Formal Modeling of Parallel System based on TCPN
    Cheng, Bin
    Wang, Xingang
    Tong, Weiqin
    2009 6TH IFIP INTERNATIONAL CONFERENCE ON NETWORK AND PARALLEL COMPUTING, 2009, : 246 - 250
  • [49] On Lagrangian dynamics based modeling of swarm behavior
    Gazi, Veysel
    PHYSICA D-NONLINEAR PHENOMENA, 2013, 260 : 159 - 175
  • [50] A protection strategy for micro-grids based on positive-sequence component
    Mirsaeidi, Sohrab
    Said, Dalila Mat
    Mustafa, Mohammad Wazir
    Habibuddin, Mohammad Hafiz
    IET RENEWABLE POWER GENERATION, 2015, 9 (06) : 600 - 609
12345