×

zbMATH — the first resource for mathematics

To every manifest domain a CSP expression – a rôle for mereology in computer science. (English) Zbl 1382.68050
Summary: We give an abstract model of parts and part-hood relations, of Stanisław Leśniewski’s mereology [R. Casati and A. Varzi, Parts and places: the structures of spatial representation. Cambridge, MA: The MIT Press (1999)]. 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 Processe [C. A. R. Hoare, Communicating sequential processes. Englewood Cliffs, NJ, etc.: Prentice-Hall International (1985; Zbl 0637.68007)], that is: a \(\lambda\)-expression.

MSC:
68N01 General topics in the theory of software
03A05 Philosophical and critical aspects of logic and foundations
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
PDF BibTeX Cite
Full Text: DOI
References:
[1] Bjørner, D., A rôle for mereology in domain science and engineering, (Calosi, Claudio; Graziani, Pierluigi, Synthese Library, (2014), Springer Amsterdam, The Netherlands)
[2] Casati, R.; Varzi, A., Parts and places: the structures of spatial representation, (1999), MIT Press
[3] Hoare, C. A.R., Communicating sequential processes, C.A.R. Hoare Series in Computer Science, (2004), Prentice-Hall International, published electronically: · Zbl 0841.68042
[4] Bjørner, D., Manifest domains: analysis & description, Form. Asp. Comput., 29, 2, 175-225, (March 2017)
[5] D. Bjørner, From domain descriptions to requirements prescriptions — a different approach to requirements engineering, extensive revision of [20].
[6] D. Bjørner, Pipelines — a Domain Description http://www.imm.dtu.dk/ dibj/pipe-p.pdf, Experimental Research Report 2013-2, DTU Compute and Fredsvej 11, DK-2840 Holte, Denmark, Spring, 2013.
[7] George, C. W.; Haxthausen, A. E.; Hughes, S.; Milne, R.; Prehn, S.; Pedersen, J. S., The RAISE development method, The BCS Practitioner Series, (1995), Prentice-Hall Hemel Hampstead, England · Zbl 0875.68296
[8] George, C. W.; Haff, P.; Havelund, K.; Haxthausen, A. E.; Milne, R.; Nielsen, C. B.; Prehn, S.; Wagner, K. R., The RAISE specification language, The BCS Practitioner Series, (1992), Prentice-Hall Hemel Hampstead, England · Zbl 0835.68076
[9] McCarthy, J., Recursive functions of symbolic expressions and their computation by machines, part I, Commun. ACM, 3, 4, 184-195, (1960) · Zbl 0101.10413
[10] McCarthy, J., Towards a mathematical science of computation, (Popplewell, C., IFIP World Congress Proceedings, (1962)), 21-28
[11] Ross, D. T.; Ward, J. E., Investigations in computer-aided design for numerically controlled production, (May 1968), Electronic Systems Laboratory Electrical Engineering Department, MIT Cambridge, Massachusetts, Final Technical Report ESL-FR-351, 1 December 1959-3 May 1967
[12] Ross, D. T., Computer-aided design, Commun. ACM, 4, 5, 41-63, (1961)
[13] Ross, D. T., Toward foundations for the understanding of type, (Proceedings of the 1976 Conference on Data: Abstraction, Definition and Structure, (1976), ACM New York, NY, USA), 63-65
[14] Leonard, H. S.; Goodman, N., The calculus of individuals and its uses, J. Symb. Log., 5, 45-55, (1940) · JFM 66.0030.02
[15] Smith, B., Mereotopology: a theory of parts and boundaries, Data Knowl. Eng., 20, 287-303, (1996) · Zbl 0875.68387
[16] Ganter, B.; Wille, R., Formal concept analysis — mathematical foundations, (January 1999), Springer-Verlag
[17] Bjørner, D., Domain facets: analysis & description, Extensive revision of [21]
[18] Bjørner, D., Domain analysis and description — formal models of processes and prompts, Extensive revision of [22]
[19] Bjørner, D., Domains: their simulation, monitoring and control — A divertimento of ideas and suggestions, (2016), Tech. rep., Fredsvej 11, DK-2840 Holte, Denmark, extensive revision of [23]
[20] Bjørner, D., From domains to requirements, (Degano, Pierpaolo; De Nicola, Rocco; Meseguer, José, Montanari Festschrift, Lecture Notes in Computer Science, vol. 5065, (2008), Springer Heidelberg), 1-30
[21] Bjørner, D., Domain engineering, (Boca, P.; Bowen, J., Formal Methods: State of the Art and New Directions, (2010), Springer London, UK), 1-42 · Zbl 1194.68100
[22] Bjørner, D., Domain analysis: endurants — an analysis & description process model, (Iida, S.; Meseguer, J.; Ogata, K., Specification, Algebra, and Software: A Festschrift Symposium in Honor of Kokichi Futatsugi, (2014), Springer) · Zbl 1407.68072
[23] Bjørner, D., Domains: their simulation, monitoring and control — a divertimento of ideas and suggestions, (Calude, C.; Rozenberg, G.; Saloma, A., Rainbow of Computer Science, Festschrift for Hermann Maurer on the Occasion of His 70th Anniversary, (2011), Springer Heidelberg, Germany), 167-183
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.