On Semantics for Mediator: A Coalgebraic Perspective

机译：关于调解员的语义：基础教子视角

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Mediator is a component-based modeling language where components and systems can be modeled separately and precisely. This paper aims to analyze the behavior of Mediator systems from a coalgebraic perspective, which is directly derived from the operational semantics of Mediator. Such a coalgebraic approach induces suitable notions of equivalence and refinement for Mediator.

机译：Mediator是一种基于组件的建模语言，可以单独和精确地建模组件和系统。本文旨在分析来自基地教会的介质系统的行为，这是直接来自介质的操作语义。这种基地攻击方法诱导介质的当量和细化的合适概念。

著录项

来源
《International Workshop on Structured Object-Oriented Formal Language and Method》|2019年|viii 183 p. :|共20页
会议地点
作者
Ai Liu; Shun Wang; Yi Li; Meng Sun;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类 TP311.1-532;
关键词
Mediator; Coalgebra; Operational semantics; Bisimulation; Refinement;

机译：调解员;余积;操作语义;互模拟;细化;

相似文献

外文文献
中文文献
专利

1. A Unifying Coalgebraic Semantics Framework for Quantum Systems [J] . Ai Liu, Meng Sun International journal of software engineering and knowledge engineering . 2021,第3期

机译：用于量子系统的统一基地布鲁语框架
2. Coalgebraic Semantics for Probabilistic Logic Programming [J] . Zanasi Fabio, Gu Tao Logical Methods in Computer Science . 2021,第3期

机译：概率逻辑编程的临时语义
3. Coalgebraic Operational Semantics for an Imperative Language [J] . Steingartner William, Novitzka Valerie, Schreiner Wolfgang Computing and informatics . 2020,第5期

机译：植入语言的陆基运营语义
4. On Semantics for Mediator: A Coalgebraic Perspective [C] . Ai Liu, Shun Wang, Yi Li, International Workshop on Structured Object-Oriented Formal Language and Method . 2019

机译：关于调解员的语义：基础教子视角
5. Measurement from a semantic perspective: A model of scale construction using latent semantic analysis [D] . Sherman, Geoffrey William 2006

机译：从语义角度进行度量：使用潜在语义分析的量表构建模型
6. Anterior temporal lobes mediate semantic representation: Mimicking semantic dementia by using rTMS in normal participants [O] . Gorana Pobric, Elizabeth Jefferies, Matthew A. Lambon Ralph 2007

机译：前颞叶介导语义表示：在正常参与者中使用rTMS模仿语义痴呆
7. Sequoidal Categories and Transfinite Games:A Coalgebraic Approach to Stateful Objects in Game Semantics [O] . Gowers William John, Laird James 2017

机译：序列类别和超局限博弈：一种游戏语义学中有状态对象的联合代数方法
8. Truth-as-Simulation: Towards a Coalgebraic Perspective on Logic and Games.211 Software Engineering [R] . Baltag, A. 1999

机译：真理模拟：走向关于逻辑和游戏的核代数观点.211软件工程

On Semantics for Mediator: A Coalgebraic Perspective

摘要

著录项

相似文献

相关主题

期刊订阅