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] Developing Reliable Component-Based Software in Mediator
    Li, Yi
    FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2018, 2018, 11232 : 432 - 435
  • [3] Composition for component-based modeling
    Gössler, G
    Sifakis, J
    SCIENCE OF COMPUTER PROGRAMMING, 2005, 55 (1-3) : 161 - 183
  • [4] Component-based simulation modeling
    Buss, AH
    PROCEEDINGS OF THE 2000 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2000, : 964 - 971
  • [5] Component-based Modeling in Umple
    Orabi, Mahmoud Husseini
    Orabi, Ahmed Husseini
    Lethbridge, Timothy C.
    PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2018, : 247 - 255
  • [6] Composition for component-based modeling
    Gössler, G
    Sifakis, J
    FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2003, 2852 : 443 - 466
  • [7] Component-Based Modeling for Embedded Systems
    Chen, Fulong
    Fan, Xiaoya
    Wei, Jianjun
    2009 WASE INTERNATIONAL CONFERENCE ON INFORMATION ENGINEERING, ICIE 2009, VOL I, 2009, : 414 - +
  • [8] REASONING, MODELING, AND COMPONENT-BASED TECHNOLOGY
    WEGNER, P
    LOGIC PROGRAMMING AND AUTOMATED REASONING, 1993, 698 : 372 - 386
  • [9] A strategy for component-based modeling and refinement
    Liu, J
    Miao, HK
    ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 26 - 27
  • [10] Component-based modeling of huge databases
    Schmidt, P
    Thalheim, B
    ADVANCES IN DATABASES AND INFORMATION SYSTEMS, PROCEEDINGS, 2004, 3255 : 113 - 128
12345