Mediator: A component-based modeling language for concurrent and distributed systems

作     者：Li, Yi Sun, Weidi Sun, Meng 

作者机构：Peking Univ Sch Math Sci Beijing Peoples R China 

出 版 物：《SCIENCE OF COMPUTER PROGRAMMING》 (计算机程序设计科学)

年 卷 期：2020年第192卷第0期

页      面：102438-000页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：National Natural Science Foundation of China [61772038, 61532019, 61272160] Guangdong Science and Technology Department [2018B010107004] 

主　　题：Component-based development Modeling language Mediator Coordination Distributed systems 

摘      要：In this paper we propose a new language Mediatorto formalize component-based concurrent and distributed system models. Mediator supports a two-step hierarchical modeling approach: Automata, which provide 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. The distributed Mediator and its semantics can be used to capture the inherent real-time and asynchronous behavior in distributed systems. Properties of Mediator models can be specified through CTL* formulae that support various families of properties such as safety and liveness, which can be verified using the nuXmv model checker. A leader election example is presented to show that this language is capable for modeling practical scenarios. (C) 2020 Elsevier B.V. All rights reserved.