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 条
  • [21] Hierarchy modeling for component-based complex control software
    Zhang Jing
    Zhang Yunsheng
    Xiang Fenghong
    PROCEEDINGS OF THE 26TH CHINESE CONTROL CONFERENCE, VOL 2, 2007, : 395 - +
  • [22] Component-based modeling of enterprise architectures for collaborative manufacturing
    Heekwon Chae
    Younghwan Choi
    Kwangsoo Kim
    The International Journal of Advanced Manufacturing Technology, 2007, 34 : 605 - 616
  • [23] Component-Based Modeling and Processing of Medical Ultrasound Signals
    Yankelevsky, Yael
    Friedman, Zvi
    Feuer, Arie
    IEEE TRANSACTIONS ON SIGNAL PROCESSING, 2017, 65 (21) : 5743 - 5755
  • [24] A component-based aircraft instrument rapid modeling tool
    Li, Fang-wen
    Shen, Xu-kun
    JOURNAL OF ZHEJIANG UNIVERSITY-SCIENCE C-COMPUTERS & ELECTRONICS, 2010, 11 (11): : 911 - 918
  • [25] Component-Based Modeling and Reachability Analysis of Genetic Networks
    Goessler, Gregor
    IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, 2011, 8 (03) : 672 - 682
  • [26] Variability modeling in a component-based domain engineering process
    Terra Bacelo Blois, Ana Paula
    de Oliveira, Regiane Felipe
    Maia, Natanael
    Werner, Claudia
    Becker, Karin
    REUSE OF OFF-THE-SHELF COMPONENTS, PROCEEDINGS, 2006, 4039 : 395 - 398
  • [27] High-Level Modeling of Component-Based CSPs
    Chenouard, Raphael
    Granvilliers, Laurent
    Soto, Ricardo
    ADVANCES IN ARTIFICIAL INTELLIGENCE - SBIA 2010, 2010, 6404 : 233 - 242
  • [28] Component-based load modeling including capacitor banks
    Lim, JY
    Lee, JP
    Ji, PS
    Ozdemir, A
    Singh, C
    2001 POWER ENGINEERING SOCIETY SUMMER MEETING, VOLS 1-3, CONFERENCE PROCEEDINGS, 2001, : 1199 - 1204
  • [29] 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
  • [30] A Component-Based Modeling and Validation Method for PLC Systems
    Wang, Rui
    Guan, Yong
    Zhou, Min
    Zhang, Jie
    Song, Xiaoyu
    ADVANCES IN MECHANICAL ENGINEERING, 2014,
12345