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 mod...
| Publicado en: | Metaphilosophy Vol. 55; no. 3; pp. 440 - 457 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Wiley-Blackwell
Jul2024
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=178683680&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 178683680 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00261068 9OM jtl: Metaphilosophy issn: 00261068 maglogo: Y pubinfo: dt: Jul2024 vid: 55 iid: 3 pid: 480 pub: Wiley-Blackwell artinfo: ui: 178683680 10.1111/meta.12701 ppf: 440 ppct: 17 formats: fmt: – @attributes: type: T – @attributes: type: C – @attributes: type: P size: 828KB tig: atl: The logical structure of modular semantic theories of software systems. aug: au: Angius, Nicola Stefaneas, Petros affil: Department of Cognitive Science, University of Messina,, Italy Department of Mathematics, National Technical University of Athens, Zografou, Greece su: Modular construction Computer science Representation theory Systems software Structural analysis (Engineering) sug: subj: Modular construction Computer science Representation theory Systems software Structural analysis (Engineering) keyword: Philosophy of Computer Science scientific structuralism semantic view of theories software theory Theory of Institutions ab: 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Copyright of Metaphilosophy is the property of Wiley-Blackwell and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. item: Metaphilosophy holder: Wiley-Blackwell dt: @attributes: year: 2024 holdings: @attributes: islocal: N |
|---|