Foundations of Software Science and Computational Structures
Foundations of Software Science and Computational Structures
复制标题
软件科学和计算结构基础
DOI：
10.1007/978-3-642-19805-2_3
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Levy P
中科院分区：
文献类型：
--
作者：
Levy P
我们给出了一个将转移系统结点上的分支时间关系连接到一个合适内函子的最终余代数的一般框架。我们的理论处理的关系的例子包括双相似、相似、具有发散的过渡系统的上和下相似、离散概率系统的相似和嵌套相似。我们的结果首先描述了如何用给定的最终余代数来刻画这种关系，然后描述了如何利用这种关系来构造一个最终余代数。我们的理论在Thijs早期工作的基础上使用了“Relator”的概念。但是，虽然Relator必须在Thijs的框架中保存二进制组成，但它只松懈地保留了我们的框架中的组成。正是这一较弱的要求使得嵌套相似性成为一个例子。
We give a general framework connecing a branching time relation on nodes of a transition system to a final coalgebra for a suitable endofunctor. Examples of relations treated by our theory include bisimilarity, similarity, upper and lower similarity for transition systems with divergence, similarity for discrete probabilistic systems, and nested similarity. Our results describe firstly how to characterize the relation in terms of a given final coalgebra, and secondly how to construct a final coalgebra using the relation.Our theory uses a notion of “relator” based on earlier work of Thijs. But whereas a relator must preserve binary composition in Thijs’ framework, it only laxly preserves composition in ours. It is this weaker requirement that allows nested similarity to be an example.
登录
查看更多内容
使用 OCL 和 Prolog 查询 UML 模型：性能研究
DOI：
--
发表时间：
2008
期刊：
2008 IEEE International Conference on Software Testing Verification and Validation Workshop
影响因子：
--
作者：
Joanna Chimiak;M. Felderer;C. Lenz;Christian Lange
通讯作者：
Christian Lange
影响因子：
1.1
作者：
K. Kaneiwa;K. Satoh
通讯作者：
K. Satoh
通过加入非循环性和防护性来扩展可判定的存在规则
DOI：
--
发表时间：
2011
期刊：
International Joint Conference on Artificial Intelligence
影响因子：
--
作者：
M. Krötzsch;S. Rudolph
通讯作者：
S. Rudolph
DOI：
--
发表时间：
1987
期刊：
Very Large Data Bases Conference
影响因子：
--
作者：
M. Lenzerini;P. Nobili
通讯作者：
P. Nobili