Comorphisms of structured institutions

被引：1
作者：
Tutu, Ionut [1 ,2 ]
机构：
[1] Royal Holloway Univ London, Dept Comp Sci, London, England
[2] Acad Romana, Inst Math, Res Grp Project ID 3 0439, Bucharest, Romania
来源：
INFORMATION PROCESSING LETTERS | 2013年 / 113卷 / 22-24期
关键词：
Formal methods; Specification languages; Structured specifications; Institution theory; GROTHENDIECK INSTITUTIONS; LOGICAL SYSTEMS; SPECIFICATIONS;
D O I：
10.1016/j.ipl.2013.09.003
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper we formalise the intuition of encoding an institution of structured specifications into another one by extending the concept of institution comorphism to the abstract framework of structured institutions. This allows us to define a category of comorphisms of structured institutions, and supports in this way the development of heterogeneous specification languages in which the actual structuring mechanisms may vary, in addition to the base logical systems. We consider a number of properties with practical relevance for the comorphisms between base institutions and discuss their implications in the structured setting. (C) 2013 Elsevier B.V. All rights reserved.
引用
收藏
页码：894 / 900
页数：7
相关论文
共 39 条
1234