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] A framework for automated distributed implementation of component-based models
    Borzoo Bonakdarpour
    Marius Bozga
    Mohamad Jaber
    Jean Quilbeuf
    Joseph Sifakis
    Distributed Computing, 2012, 25 : 383 - 409
  • [22] Support Formal Component-based Development with UML Profile
    Li, Dan
    Li, Xiaoshan
    Liu, Zhiming
    Stolz, Volker
    2013 22ND AUSTRALASIAN CONFERENCE ON SOFTWARE ENGINEERING (ASWEC), 2013, : 191 - 200
  • [23] Formalizing Consistent Dynamic Updates for Component-based Software
    Xu, Xiaohui
    Zhang, Yi
    2013 3RD INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND NETWORK TECHNOLOGY (ICCSNT), 2013, : 292 - 296
  • [24] Model-driven and component-based framework for scientific applications
    Ait Wakrime, Abderrahim
    Ouhammou, Yassine
    Bouichou, Milouda
    INTERNATIONAL JOURNAL OF MODELING SIMULATION AND SCIENTIFIC COMPUTING, 2024, 15 (05)
  • [25] PASSIVE FAULT-TOLERANCE MANAGEMENT IN COMPONENT-BASED EMBEDDED SYSTEMS
    Nogueira, Luis
    Coelho, Jorge
    COMPUTING AND INFORMATICS, 2015, 34 (01) : 23 - 44
  • [26] Service-Wide Adaptations in Distributed Embedded Component-Based Systems
    Nogueira, Luis
    Coelho, Jorge
    INTELLIGENT DISTRIBUTED COMPUTING VII, 2014, 511 : 141 - 150
  • [27] A Component-Based Conference Control Model and Implementation for Loosely Coupled Sessions
    ZHANG Zai long
    The Journal of China Universities of Posts and Telecommunications, 2002, (04) : 19 - 27
  • [28] Component-based Distributed Software Reconfiguration: A Verification-oriented Survey
    Coullon, Helene
    Henrio, Ludovic
    Loulergue, Frederic
    Robillard, Simon
    ACM COMPUTING SURVEYS, 2024, 56 (01)
  • [29] Model-Driven Development of Component-based Adaptive Distributed Applications
    Phung-Khac, An
    Beugnard, Antoine
    Gilliot, Jean-Marie
    Segarra, Maria-Teresa
    APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 2186 - 2191
  • [30] An automata-based approach for addressing erroneous behaviors and deadlocks in component-based systems
    Pittou, Maria
    Rahonis, George
    THEORETICAL COMPUTER SCIENCE, 2025, 1030
12345