权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Behavioural Equivalences: Environmental Aspects, Metrics and Generic Algorithms (BEMEGA)

行为等效：环境方面、指标和通用算法 (BEMEGA)

基本信息

批准号：
260261790
负责人：
Professorin Dr. Barbara König
金额：
--
依托单位：
Lehrstuhl Theoretische Informatik
依托单位国家：
德国
项目类别：
Research Grants
财政年份：
2014
资助国家：
德国
起止时间：
2013-12-31 至 2022-12-31
项目状态：
已结题

来源：
https://gepris.dfg.de/gepris/projekt/260261790?language=en
关键词：
Behavioural Equivalences Environmental Aspects Metrics

项目摘要

Behavioural equivalences are an important concept for the analysis and verification of concurrent systems. Two processes or system states are behaviourally equivalent if they are indistinguishable from the Point of view of an external observer. Depending on the power that is given to the observer, one obtains different notions such as strong and weakbisimilarity or trace equivalence. Such equivalences are used to compare a system to its specification, to minimise a large state space, to verify model transformations and cryptographic protocols. The purpose of this project is to gain a general view on the notion ofbehavioural equivalences, to provide efficient algorithms for specific types of systems and to develop suitable tools. Compared to the first phase of the project we plan to concentrate more on quantitative issues and on logics and games.In particular, we plan to work on the following topics:- Foundations (metrics, bisimulation games, bisimilarity with silent actions)- Specific Types of Systems (weighted automata, conditional transition systems, graph transformation systems)- Tools and Case Studies (tool T-Beg for behavioural games, tool Paws for the analysis of weighted systems, case studies).

行为等价是并发系统分析和验证的一个重要概念。两个过程或系统状态在行为上是等价的，如果从外部观察者的角度来看它们是不可区分的。根据观察者的权力，人们会得到不同的概念，如强和弱双相似性或迹等价。这种等价性用于将系统与其规范进行比较，以最小化大的状态空间，验证模型转换和加密协议。这个项目的目的是获得一个一般的看法上的概念ofbehavioural等价物，提供有效的算法，为特定类型的系统，并开发合适的工具。与项目的第一阶段相比，我们计划更多地关注定量问题以及逻辑和游戏。特别是，我们计划研究以下主题：-基础（度量，互模拟游戏，无声动作的双相似性）-特定类型的系统（加权自动机，条件转换系统，图形转换系统）-工具和案例研究（用于行为游戏的工具T-Beg，用于加权系统分析的工具Paws，案例研究）。

项目成果

期刊论文数量（8）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

Up-To Techniques for Behavioural Metrics via Fibrations

通过纤维进行行为测量的最新技术

DOI：
10.4230/lipics.concur.2018.17
发表时间：
2018
期刊：
ArXiv
影响因子：
0
作者：
Filippo Bonchi;Barbara König;Daniela Petrişan
通讯作者：
Daniela Petrişan

A van Benthem Theorem for Fuzzy Modal Logic

DOI：
10.1145/3209108.3209180
发表时间：
2018-02
期刊：
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
影响因子：
0
作者：
P. Wild;Lutz Schröder;D. Pattinson;B. König
通讯作者：
P. Wild;Lutz Schröder;D. Pattinson;B. König

(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras