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] Component-based modeling of enterprise architectures for collaborative manufacturing
    Chae, Heekwon
    Choi, Younghwan
    Kim, Kwangsoo
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2007, 34 (5-6): : 605 - 616
  • [32] COMPONENT-BASED APPROACH TO MAINTENANCE MODELING OF GAS TURBINES
    Volovoi, Vitali
    Valenzuela, Rene
    Bhatnagar, Himanshu
    Nordlund, Scott
    Davis, Fred
    Villeneuve, Frederic
    Guo, Yan
    Patel, Chirag
    PROCEEDINGS OF THE ASME TURBO EXPO 2012, VOL 3, 2012, : 1025 - +
  • [33] Exploring component-based approaches in forest landscape modeling
    He, HS
    Larsen, DR
    Mladenoff, DJ
    ENVIRONMENTAL MODELLING & SOFTWARE, 2002, 17 (06) : 519 - 529
  • [34] Component-based Modeling and Code Synthesis for Cyclic Programs
    Zhou, Min
    Wan, Hai
    Su, Chen
    Yin, Liangze
    Zhang, Lianyi
    He, Fei
    Gu, Ming
    2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 569 - 578
  • [35] Design of a component-based integrated environmental modeling framework
    Whelan, Gene
    Kim, Keewook
    Pelton, Mitch A.
    Castleton, Karl J.
    Laniak, Gerard F.
    Wolfe, Kurt
    Parmar, Rajbir
    Babendreier, Justin
    Galvin, Michael
    ENVIRONMENTAL MODELLING & SOFTWARE, 2014, 55 : 1 - 24
  • [36] Variable structure in DEVS component-based modeling and simulation
    Hu, XL
    Hu, XL
    Zeigler, BP
    Mittal, S
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2005, 81 (02): : 91 - 102
  • [37] Component-based performance modeling of a storage area network
    Aizikowitz, N
    Glikson, A
    Landau, A
    Mendelson, B
    Sandbank, T
    PROCEEDINGS OF THE 2005 WINTER SIMULATION CONFERENCE, VOLS 1-4, 2005, : 2417 - 2426
  • [38] Separation of concerns in modeling distributed component-based architectures
    Marvie, R
    Merle, P
    Geib, JM
    SIXTH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE, PROCEEDINGS, 2002, : 144 - 154
  • [39] A component-based aircraft instrument rapid modeling tool
    Fangwen LI Xukun SHENState Key Lab of Virtual Reality Technology and SystemsSchool of Computer ScienceBeihang UniversityBeijing China
    JournalofZhejiangUniversity-ScienceC(Computers&Electronics), 2010, 11 (11) : 911 - 918
  • [40] Component-Based Modeling and Integration of Automotive Application Architectures
    Schorp, Konstantin
    Sommer, Stephan
    2014 IEEE INTERNATIONAL ELECTRIC VEHICLE CONFERENCE (IEVC), 2014,
12345