A Rôle for Mereology in Domain Science and Engineering: To Every Mereology There Corresponds a λ–Expression

Abstract

We give an abstract model of parts and part-hood relations of software application domains such as the financial service industry, railway systems, road transport systems, health-care, oil pipelines, secure [IT] systems, etcetera. 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.

Original document

The different versions of the original document can be found in:

• http://www2.imm.dtu.dk/~dibj/bjorner-urbino.pdf

• http://link.springer.com/content/pdf/10.1007/978-3-319-05356-1_12,

http://dx.doi.org/10.1007/978-3-319-05356-1_12

• https://link.springer.com/chapter/10.1007/978-3-319-05356-1_12,

http://www.imm.dtu.dk/~dibj/bjorner-urbino.pdf,

https://rd.springer.com/chapter/10.1007/978-3-319-05356-1_12,

https://link.springer.com/chapter/10.1007/978-3-319-05356-1_12/fulltext.html,

https://academic.microsoft.com/#/detail/2122906243