软件系统模块化语义理论的逻辑结构

IF 0.4 3区 哲学 0 PHILOSOPHY METAPHILOSOPHY Pub Date : 2024-07-15 DOI:10.1111/meta.12701
Nicola Angius, Petros Stefaneas
{"title":"软件系统模块化语义理论的逻辑结构","authors":"Nicola Angius,&nbsp;Petros Stefaneas","doi":"10.1111/meta.12701","DOIUrl":null,"url":null,"abstract":"<p>This paper studies the structure of semantic theories over modular computational systems and applies the algebraic <i>Theory of Institutions</i> to provide a logical representation of such theories. A modular semantic theory is here defined by a cluster of semantic theories, each for a single program's module, and by a set of relations connecting models of different semantic theories. A semantic theory of a single module is provided in terms of the set of <i>∑-models</i> mapped from the category <b>Th</b> of <i>∑-theories</i> and generating a hierarchy of structures from an abstract model to a concrete model of data. The collection of abstract models representing different modules of a program is formalised as the category of institutions <b>INS,</b> where theory morphisms express refinements, integrations, and compositions between couples of modules. Finally, it is required that a morphism in <b>INS</b> at any level occurs iff the same morphism occurs at the lower level alongside the <b>Th</b> hierarchy.</p>","PeriodicalId":46874,"journal":{"name":"METAPHILOSOPHY","volume":"55 3","pages":"440-456"},"PeriodicalIF":0.4000,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"The logical structure of modular semantic theories of software systems\",\"authors\":\"Nicola Angius,&nbsp;Petros Stefaneas\",\"doi\":\"10.1111/meta.12701\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>This paper studies the structure of semantic theories over modular computational systems and applies the algebraic <i>Theory of Institutions</i> to provide a logical representation of such theories. A modular semantic theory is here defined by a cluster of semantic theories, each for a single program's module, and by a set of relations connecting models of different semantic theories. A semantic theory of a single module is provided in terms of the set of <i>∑-models</i> mapped from the category <b>Th</b> of <i>∑-theories</i> and generating a hierarchy of structures from an abstract model to a concrete model of data. The collection of abstract models representing different modules of a program is formalised as the category of institutions <b>INS,</b> where theory morphisms express refinements, integrations, and compositions between couples of modules. Finally, it is required that a morphism in <b>INS</b> at any level occurs iff the same morphism occurs at the lower level alongside the <b>Th</b> hierarchy.</p>\",\"PeriodicalId\":46874,\"journal\":{\"name\":\"METAPHILOSOPHY\",\"volume\":\"55 3\",\"pages\":\"440-456\"},\"PeriodicalIF\":0.4000,\"publicationDate\":\"2024-07-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"METAPHILOSOPHY\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1111/meta.12701\",\"RegionNum\":3,\"RegionCategory\":\"哲学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"0\",\"JCRName\":\"PHILOSOPHY\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"METAPHILOSOPHY","FirstCategoryId":"1085","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1111/meta.12701","RegionNum":3,"RegionCategory":"哲学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"0","JCRName":"PHILOSOPHY","Score":null,"Total":0}
引用次数: 0

摘要

本文研究了模块化计算系统的语义理论结构,并应用机构代数理论为此类理论提供了逻辑表示。在这里,模块化语义理论是由一组语义理论和一组连接不同语义理论模型的关系来定义的,每组语义理论针对一个程序模块。单个模块的语义理论由Σ-模型集提供,Σ-模型集由Σ-理论类别 Th 映射而来,并生成从抽象模型到具体数据模型的结构层次。代表程序不同模块的抽象模型集合被形式化为机构 INS 类别,其中的理论形态表达了模块耦合之间的细化、整合和组合。最后,要求 INS 中任何层次的形态发生时,如果 Th 层次结构中较低层次也发生了同样的形态,则表示该形态发生。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
The logical structure of modular semantic theories of software systems

This paper studies the structure of semantic theories over modular computational systems and applies the algebraic Theory of Institutions to provide a logical representation of such theories. A modular semantic theory is here defined by a cluster of semantic theories, each for a single program's module, and by a set of relations connecting models of different semantic theories. A semantic theory of a single module is provided in terms of the set of ∑-models mapped from the category Th of ∑-theories and generating a hierarchy of structures from an abstract model to a concrete model of data. The collection of abstract models representing different modules of a program is formalised as the category of institutions INS, where theory morphisms express refinements, integrations, and compositions between couples of modules. Finally, it is required that a morphism in INS at any level occurs iff the same morphism occurs at the lower level alongside the Th hierarchy.

求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
METAPHILOSOPHY
METAPHILOSOPHY PHILOSOPHY-
CiteScore
0.90
自引率
0.00%
发文量
58
期刊介绍: Metaphilosophy publishes articles and reviews books stressing considerations about philosophy and particular schools, methods, or fields of philosophy. The intended scope is very broad: no method, field, or school is excluded.
期刊最新文献
Issue Information The purpose of metaphysics: Apology of excess Moral testimony and epistemic privilege The poverty of postmodernist constructivism: And a case for naturalism out of Hume, Darwin, and Wittgenstein Virtuous leadership: Ambiguities, challenges, and precedents
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1