To every manifest domain a CSP expression – a rôle for mereology in computer science

Dines Bjørner

doi:10.1016/j.jlamp.2017.09.005

To every manifest domain a CSP expression – a rôle for mereology in computer science

Dines Bjørner^*

^*Corresponding author for this work

Department of Applied Mathematics and Computer Science

Research output: Contribution to journal › Journal article › Research › peer-review

166 Downloads (Pure)

Abstract

We give an abstract model of parts and part-hood relations, of Stanisław Lesniewski’s mereology. Mereology applies to software application domains such as the financial service industry, railway systems, road transport systems, health care, oil pipelines, secure [IT] systems, etc.We relate this model to axiom systems for mereology, showing satisfiability, and show that for every mereology there corresponds a class of Communicating Sequential Processes, that is: a λ-expression.

Original language	English
Journal	Journal of Logical and Algebraic Methods in Programming
Volume	94
Pages (from-to)	91-108
ISSN	2352-2208
DOIs	https://doi.org/10.1016/j.jlamp.2017.09.005
Publication status	Published - 2018

Keywords

Mereology
Manifest domain
Domain description

Access to Document

10.1016/j.jlamp.2017.09.005

Jlamp mereoAccepted author manuscript, 260 KB

OpenUrl availability

Full text

Cite this

@article{be928e4803ed4c65a2a5b94d376eb4b8,

title = "To every manifest domain a CSP expression – a r{\^o}le for mereology in computer science",

abstract = "We give an abstract model of parts and part-hood relations, of Stanis{\l}aw Lesniewski{\textquoteright}s mereology. Mereology applies to software application domains such as the financial service industry, railway systems, road transport systems, health care, oil pipelines, secure [IT] systems, etc.We relate this model to axiom systems for mereology, showing satisfiability, and show that for every mereology there corresponds a class of Communicating Sequential Processes, that is: a λ-expression.",

keywords = "Mereology, Manifest domain, Domain description",

author = "Dines Bj{\o}rner",

year = "2018",

doi = "10.1016/j.jlamp.2017.09.005",

language = "English",

volume = "94",

pages = "91--108",

journal = "Journal of Logical and Algebraic Methods in Programming",

issn = "2352-2208",

publisher = "Elsevier",

}

TY - JOUR

T1 - To every manifest domain a CSP expression – a rôle for mereology in computer science

AU - Bjørner, Dines

PY - 2018

Y1 - 2018

N2 - We give an abstract model of parts and part-hood relations, of Stanisław Lesniewski’s mereology. Mereology applies to software application domains such as the financial service industry, railway systems, road transport systems, health care, oil pipelines, secure [IT] systems, etc.We relate this model to axiom systems for mereology, showing satisfiability, and show that for every mereology there corresponds a class of Communicating Sequential Processes, that is: a λ-expression.

AB - We give an abstract model of parts and part-hood relations, of Stanisław Lesniewski’s mereology. Mereology applies to software application domains such as the financial service industry, railway systems, road transport systems, health care, oil pipelines, secure [IT] systems, etc.We relate this model to axiom systems for mereology, showing satisfiability, and show that for every mereology there corresponds a class of Communicating Sequential Processes, that is: a λ-expression.

KW - Mereology

KW - Manifest domain

KW - Domain description

U2 - 10.1016/j.jlamp.2017.09.005

DO - 10.1016/j.jlamp.2017.09.005

M3 - Journal article

SN - 2352-2208

VL - 94

SP - 91

EP - 108

JO - Journal of Logical and Algebraic Methods in Programming

JF - Journal of Logical and Algebraic Methods in Programming

ER -

To every manifest domain a CSP expression – a rôle for mereology in computer science

Abstract

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this