Mediator的概率扩展

• 作者: 孙猛 薛骁勇
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: Mediator 概率扩展 基于组件建模 代码生成
• 年，卷（期）: 2020,（8）
• 所属期刊栏目: 软件工程
• 页码范围: 1367-1373
• 页数: 7页
• 分类号: TP311
• 字数: 7269字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2020.08.006

摘要

Mediator是一种基于组件的形式化建模语言,它提供了分层的模块化结构,从而可以方便地对复杂系统进行建模.它以自动机为其底层单位,自动机连接成的系统作为高级结构,能在对模型进行形式化描述的同时让其本身简单易用.为了使Mediator具有更强的表达能力,可对具有概率行为的系统进行形式化建模,对Mediator做了概率方面的扩展,并对扩展后的语言给出了基于马尔可夫决策过程的语义.同时还介绍了由Mediator模型自动生成PRISM代码的方法,能够使用PRISM工具对Mediator模型的相关性质进行验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙猛	北京大学数学科学学院	4	52	2.0	4.0
2	薛骁勇	北京大学数学科学学院	1	0	0.0	0.0