当前位置: X-MOL 学术Sci. Comput. Program. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Mediator: A component-based modeling language for concurrent and distributed systems
Science of Computer Programming ( IF 1.3 ) Pub Date : 2020-03-03 , DOI: 10.1016/j.scico.2020.102438
Yi Li , Weidi Sun , Meng Sun

In this paper we propose a new language Mediator to 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.



中文翻译:

介体:用于并发和分布式系统的基于组件的建模语言

在本文中,我们提出了一种新的语言中介程序,以形式化基于组件的并发和分布式系统模型。Mediator支持两步分层建模方法:提供端口接口的Automata是基本行为单位;系统通过自动机声明组件或连接器,然后将它们粘合在一起。借助Mediator,可以分别和精确地对组件和系统进行建模。分布式介体及其语义可用于捕获分布式系统中固有的实时和异步行为。中介者的属性可以通过支持各种属性系列(例如安全性和活动性)的CTL *公式指定模型,可以使用nuXmv模型检查器进行验证。给出了一个领导者选举示例,以表明该语言能够对实际场景进行建模。

更新日期:2020-03-03
down
wechat
bug