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 条
  • [31] An automata-based approach for addressing erroneous behaviors and deadlocks in component-based systems
    Pittou, Maria
    Rahonis, George
    THEORETICAL COMPUTER SCIENCE, 2025, 1030
  • [32] Component-based Hypervideo Model: High-Level Operational Specification of Hypervideos
    Sadallah, Madjid
    Aubert, Olivier
    Prie, Yannick
    DOCENG 2011: PROCEEDINGS OF THE 2011 ACM SYMPOSIUM ON DOCUMENT ENGINEERING, 2011, : 53 - 56
  • [33] An Efficient Pattern Design Method for Plush Toys Using Component-Based Templates
    Jin, Yinghan
    Feng, Wanting
    Zeng, Long
    Zhang, Dongliang
    COMPUTER-AIDED DESIGN, 2020, 128 (128)
  • [34] Formal Specification of Component-Based Software Architectures: Correctness Checking (with Parq) - Calculus
    Diosa, Henry Alberto
    Diaz Frias, Juan Francisco
    Gaona Cuevas, Carlos Mauricio
    REVISTA CIENTIFICA, 2010, (12): : 156 - 171
  • [35] Parallel multi-objective calibration of a component-based river temperature model
    Buahin, Caleb A.
    Horsburgh, Jeffery S.
    Neilson, Bethany T.
    ENVIRONMENTAL MODELLING & SOFTWARE, 2019, 116 : 57 - 71
  • [36] Customizing component-based software using component coordination model: A use-context driven approach toward role-based model
    Olarnsakul, M
    Batanov, DN
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2004, 14 (02) : 103 - 140
  • [37] Using the ECLPSS software environment to build a spatially explicit component-based model of ozone effects on forest ecosystems
    Woodbury, PB
    Beloin, RM
    Swaney, DP
    Gollands, BE
    Weinstein, DA
    ECOLOGICAL MODELLING, 2002, 150 (03) : 211 - 238
  • [38] Component Based Modeling for Structuring Measurement Preliminary Modeling applied to automotive braking behavior
    Dupe, Valerie
    Briand, Renaud
    Fischer, Xavier
    2009 IEEE INTERNATIONAL CONFERENCE ON VIRTUAL ENVIRONMENTS, HUMAN-COMPUTER INTERFACES AND MEASUREMENT SYSTEMS, 2009, : 226 - 231
  • [39] Evaluating the simulation times and mass balance errors of component-based models: An application of OpenMI 2.0 to an urban stormwater system
    Buahin, Caleb A.
    Horsburgh, Jeffery S.
    ENVIRONMENTAL MODELLING & SOFTWARE, 2015, 72 : 92 - 109
  • [40] Sensing-based modeling and service for Conditional Connection of EDEVS component
    Lu Yang
    Yao Yiping
    Liu Gang
    Qi Longchen
    2012 ACM/IEEE/SCS 26TH WORKSHOP ON PRINCIPLES OF ADVANCED AND DISTRIBUTED SIMULATION (PADS), 2012, : 168 - 170
12345