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 条

[41] Component-Based Modeling and Integration of Automotive Application Architectures
Schorp, Konstantin
Sommer, Stephan
2014 IEEE INTERNATIONAL ELECTRIC VEHICLE CONFERENCE (IEVC), 2014,
[42] Component-Based Dynamic Load Modeling of a Paper Mill
Wong, K. E.
Haque, M. E.
Davies, M.
2012 22ND AUSTRALASIAN UNIVERSITIES POWER ENGINEERING CONFERENCE (AUPEC): GREEN SMART GRID SYSTEMS, 2012,
[43] Formal component-based modeling and synthesis for PLC systems
Zhou, M.
Wan, H.
Wang, R.
Song, X.
Su, C.
Gu, M.
Sun, J.
COMPUTERS IN INDUSTRY, 2013, 64 (08) : 1022 - 1034
[44] Simulation: Transactions of the SCS component-based modeling and simulation
Barros, F
Sarjoughian, HS
SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2004, 80 (7-8): : 319 - 320
[45] A component-based aircraft instrument rapid modeling tool
Fang-wen LI
Frontiers of Information Technology & Electronic Engineering, 2010, (11) : 911 - 918
[46] A component-based aircraft instrument rapid modeling tool
Fang-wen Li
Xu-kun Shen
Journal of Zhejiang University SCIENCE C, 2010, 11 : 911 - 918
[47] Reproducible, component-based modeling with TopoFlow, a spatial hydrologic modeling toolkit
Peckham, Scott D.
Stoica, Maria
Jafarov, Elchin
Endalamaw, Abraham
Bolton, W. Robert
EARTH AND SPACE SCIENCE, 2017, 4 (06): : 377 - 394
[48] Component-based modeling of systems for automated fault tree generation
Majdara, Aref
Wakabayashi, Toshio
RELIABILITY ENGINEERING & SYSTEM SAFETY, 2009, 94 (06) : 1076 - 1086
[49] Component-based mission planning modeling and solution to intelligent satellite
Zhang, Xue-Ting
Xing, Li-Ning
Chen, Ying-Wu
Zhu, Jian-Bing
Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2014, 20 (12): : 2944 - 2951
[50] A Component-Based 3D Garment Modeling Algorithm
Wang, Ruo-Mei
Xie, Gong-Hai
Zhou, Bing-Guang
Zhou, Fan
TEXTILE BIOENGINEERING AND INFORMATICS SYMPOSIUM PROCEEDINGS, 2016, VOLS 1 AND 2, 2016, : 628 - 632

← 1 2 3 4 5 →