Skip to main content
SpringerLink
Log in
Book cover

Reflections on the Work of C.A.R. Hoare pp 47–70Cite as

On Mereologies in Computing Science

  • Chapter
  • First Online:

Abstract

In this paper we solve the following problems: ∙ We give a formal model of a large class of mereologies, with simple entities modelled as parts and their relations by connectors. ∙ We show that class applies to a wide variety of societal infrastructure component domains. ∙ We show that there is a class of CSP channel and process structures that correspond to the class of mereologies where mereology parts become CSP processes and connectors become channels; and where simple entity attributes become process states. We have yet to prove to what extent the models satisfy the axiom systems for mereologies of, for example, [12] and a calculus of individuals [13]. Mereology is the study, knowledge and practice of part-hood relations: of the relations of part to whole and the relations of part to part within a whole. By parts we shall here understand simple entities – of the kind illustrated in this paper. Manifest simple entities of domains are either continuous (fluid, gaseous) or discrete (solid, fixed), and if the latter, then either atomic or composite. It is how the sub-entities of a composite entity are “put together” that “makes up” a mereology of that composite entity – at least such as we shall study the mereology concept. In this paper, we shall study some ways of modelling the mereology of composite entities. One way of modelling mereologies is using sorts, observer functions and axioms (McCarthy style), another is using CSP.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    Our notation now is not RSL but some conventional first-order predicate logic notation.

  2. 2.

    This paper is most likely not published with colours, so red will be shown as darker colour.

  3. 3.

    Shown as lighter coloured connections.

  4. 4.

    http://www2.imm.dtu.dk/\~db/container-paper.pdf

  5. 5.

    http://www2.imm.dtu.dk/\~db/fsi.pdf

  6. 6.

    http://www2.imm.dtu.dk/\~db/pipeline.pdf

  7. 7.

    http://www2.imm.dtu.dk/\~db/transport.pdf

  8. 8.

    http://www.railwaydomain.org/

  9. 9.

    We use the name “simple entities” in contrast to “entities” which we see as comprising all of simple entities, functions, events and behaviours. “Interesting” functions and normal events involve all forms of entities.

References

  1. Bjørner, D.: Software systems engineering–from domain analysis to requirements capture: an air traffic control example. In: 2nd Asia-Pacific Software Engineering Conference (APSEC ’95). IEEE Computer Society, 6–9 December 1995. Brisbane, Queensland, Australia.

    Google Scholar 

  2. Bjørner, D.: Domain models of “The Market” – in Preparation for e–transaction systems. In: Kilovm, H., Baclawski, K. (eds.) Practical Foundations of Business and System Specifications, Kluwer Academic Press, The Netherlands, December 2002.

    Google Scholar 

  3. Bjørner, D.: Dynamics of railway nets: on an interface between automatic control and software engineering. In: Tsugawa, S., Aoki, M. (eds.) CTS2003: 10th IFAC Symposium on Control in Transportation Systems, Oxford, UK, August 4–6 2003. Elsevier Science Ltd. Symposium held at Tokyo, Japan.

    Google Scholar 

  4. Bjørner, D.: New results and trends in Formal techniques for the development of software for transportation systems. In: Tarnai, G., Schnieder, E. (eds.) FORMS2003: Symposium on Formal Methods for Railway Operation and Control Systems. Institut für Verkehrssicherheit und Automatisierungstechnik, Techn.Univ. of Braunschweig, Germany, 15–16 May 2003. Conf. held at Techn.Univ. of Budapest, Hungary, Germany.

    Google Scholar 

  5. Bjørner, D.: Software Engineering, Vol.1: Abstraction and Modelling. Texts in Theoretical Computer Science, the EATCS Series. Springer, Berlin Heidelberg, Germany (2006).

    Google Scholar 

  6. Bjørner, D.: Software Engineering, Vol.2: Specification of Systems and Languages. Texts in Theoretical Computer Science, the EATCS Series. Springer, Berlin Heidelberg, Germany (2006) Chapters 12–14 are primarily authored by Christian Krog Madsen.

    Google Scholar 

  7. Bjørner, D.: Software Engineering, Vol.3: Domains, Requirements and Software Design. Texts in Theoretical Computer Science, the EATCS Series. Springer, Berlin Heidelberg, Germany (2006).

    Google Scholar 

  8. Bjørner, D.: An emerging domain science – a role for Stanisław Leśniewski’s Mereology and Bertrand Russell’s philosophy of logical atomism. Higher-Order and Symbolic Computation (2009).

    Google Scholar 

  9. Bjørner, D.: Domain Engineering.http://www2.imm.dtu.dk/|db/container-paper.pdf

    Google Scholar 

  10. Bjørner, D.: Domain Engineering: Technology Management, Research and Engineering. JAIST Press, March 2009. The monograph contains the following chapters: [18, 19, 20, 21, 15, 22, 23, 24, 17, 16].

    Google Scholar 

  11. Bjørner, D., and Henson, M.C.: (eds.) Logics of Specification Languages. EATCS Series, Monograph in Theoretical Computer Science. Springer, Heidelberg, Germany (2008).

    Google Scholar 

  12. Casati, R. and Varzi, A.: Parts and Places: the Structures of Spatial Representation. MIT Press, Cambridge, Mass., USA (1999).

    Google Scholar 

  13. Clarke, B.L.: A calculus of individuals based on ‘Connection’. Notre Dame J. Formal Logic 22(3), 204–218 (1981).

    Article  MATH  MathSciNet  Google Scholar 

  14. Clarke, B.L.: Individuals and points. Notre Dame J. Formal Logic, 26(1): 61–75 (1985).

    Article  MATH  MathSciNet  Google Scholar 

  15. Bjørner, D.: Chapter 5: The Triptych process model – process assessment and improvement, Domain Engineering: Technology Management, Research and Engineering, pp.107–138. JAIST Press, Nomi, Ishikawa, Japan (March 2009).

    Google Scholar 

  16. Bjørner, D.: Chapter 10: Towards a family of script languages – licenses and contracts – incomplete sketch, Domain Engineering: Technology Management, Research and Engineering [10], pp.283–328. JAIST Press, (March 2009).

    Google Scholar 

  17. Bjørner, D.: Chapter 9: Towards a model of IT security– the ISO information security code of practice – an incomplete rough sketch analysis, Domain Engineering: Technology Management, Research and Engineering [10], pp.223–282. JAIST Press, (March 2009).

    Google Scholar 

  18. Bjørner, D.: Chapter 1: On domains and on domain engineering – prerequisites for trustworthy software – a necessity for believable management, Domain Engineering: Technology Management, Research and Engineering [10], pp.3–38. JAIST Press (March 2009).

    Google Scholar 

  19. Bjørner, D.: Chapter 2: Possible collaborative domain projects – a management brief, Domain Engineering: Technology Management, Research and Engineering [10], pp.39–56. JAIST Press (March 2009).

    Google Scholar 

  20. Bjørner, D.: Chapter 3: The role of domain engineering in software development, Domain Engineering: Technology Management, Research and Engineering [10], pp.57–72. JAIST Press (March 2009).

    Google Scholar 

  21. Bjørner, D.: Chapter 4: Verified software for ubiquitous computing – a VSTTE ubiquitous computing project proposal, Domain Engineering: Technology Management, Research and Engineering [10], pp.73–106. JAIST Press (March 2009).

    Google Scholar 

  22. Bjørner, D.: Chapter 6: Domains and problem frames – the triptych dogma and M.A.Jackson’s PF paradigm, Domain Engineering: Technology Management, Research and Engineering [10], pp.139–175. JAIST Press (March 2009).

    Google Scholar 

  23. Bjørner, D.: Chapter 7: Documents – A rough sketch domain analysis, Domain Engineering: Technology Management, Research and Engineering [10], pp.179–200. JAIST Press (March 2009).

    Google Scholar 

  24. Bjørner, D.: Chapter 8: Public Government – a rough sketch domain analysis, Domain Engineering: Technology Management, Research and Engineering [10], pp.201–222. JAIST Press (March 2009).

    Google Scholar 

  25. George, C. and Haxthausen, A.E.: Chapter The logic of the RAISE specification language, Logics of Specification Languages, pp.349–399 in [11]. Springer, Berlin Heidelberg, Germany (2008).

    Book  Google Scholar 

  26. George, C.W., Haff, P., Havelund, K., Haxthausen, A.E., Milne, R., Nielsen, C.B., Prehn, S. and Wagner, K.R. The RAISE Specification Language. The BCS Practitioner Series. Prentice-Hall, Hemel Hampstead, England (1992).

    Google Scholar 

  27. George, C.W., Haxthausen, A.E., Hughes, S., Milne, R. Prehn, S. and Pedersen, J.S. The RAISE Method. The BCS Practitioner Series. Prentice-Hall, Hemel Hampstead, England (1995).

    Google Scholar 

  28. Hoare, T.: Communicating Sequential Processes. C.A.R. Hoare Series in Computer Science. Prentice-Hall International, Hemel Hampstead, UK (1985).

    Google Scholar 

  29. Hoare, T.: Communicating Sequential Processes. Published electronically: http://www.usingcsp.com/cspbook.pdf, 2004. Second edition of [28]. See also http://www.usingcsp.com/.

  30. Leonard, H.S. and Goodman, N.: The calculus of individuals and its uses. J. of Symbolic Logic, 5: 45–44 (1940).

    Article  MathSciNet  Google Scholar 

  31. Luschei, E.C.: The Logical Systems of Leśniewksi. North Holland, Amsterdam, The Netherlands (1962).

    Google Scholar 

  32. Pěnička, M. and Bjørner, D.: From railway resource planning to train operation — a brief survey of complementary formalisations. In: Jacquart, R. (ed.) Building the Information Society, IFIP 18th World Computer Congress, Topical Sessions, 22–27 August, 2004, Toulouse, France, pp.629–636. Kluwer Academic Publishers (August 2004).

    Google Scholar 

  33. Pěnička, M. Strupchanska, A.K. and Bjørner, D.: Train Maintenance Routing. In: Editors: Tarnai, G., Schnieder, E. (eds.) FORMS’2003: Symposium on Formal Methods for Railway Operation and Control Systems. L’Harmattan Hongrie, 15–16 May 2003. Conf. held at Techn.Univ. of Budapest, Hungary, Germany.

    Google Scholar 

  34. Roscoe, A.W.: Theory and Practice of Concurrency. C.A.R. Hoare Series in Computer Science. Prentice-Hall, Hemel Hampstead, UK (1997). Now available on the net: http://www.comlab.ox.ac.uk/people/bill.roscoe/publications/68b.pdf.

  35. Russell, B.: The philosophy of logical atomism. The Monist: An Int. Quarterly J. General Philoso. Inqu., xxxviii–xxix:495–527, 32–63, 190–222, 345–380, 1918–1919.

    Google Scholar 

  36. Schneider, S.: Concurrent and Real-Time Systems – The CSP Approach. Worldwide Series in Computer Science. John Wiley & Sons, Baffins Lane, Chichester, West Sussex PO19 1UD, England (January 2000).

    Google Scholar 

  37. Slater, J.G.: (ed.), The Collected Papers of Bertrand Russel. Allen and Unwin, London, England (1986).

    Google Scholar 

  38. Srzednicki, J.T.J. and Stachniak, Z.: (eds.) Leśniewksi’s Lecture Notes in Logic. Kluwer Academic,Dordrecht, The Netherlands (1988).

    Google Scholar 

  39. Strupchanska, A.K., Pěnička, M. and Bjørner, D.: Railway Staff Rostering. In: Tarnai, G., Schnieder, E. (eds.) FORMS2003: Symposium on Formal Methods for Railway Operation and Control Systems. L’Harmattan Hongrie, 15–16 May 2003. Conf. held at Techn.Univ. of Budapest, Hungary, Germany.

    Google Scholar 

Download references

Acknowledgements

I thank University of Saarland for hosting me during some of the time when I wrote this paper.

Author information

Authors and Affiliations

  1. Fredsvej 11, DK-2840, Holte, Denmark

    Dines Bjørner

Authors
  1. Dines Bjørner
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Dines Bjørner .

Editor information

Editors and Affiliations

  1. Oxford University Computing Laboratory, Parks Road, Oxford, OX13QD, United Kingdom

    A.W. Roscoe

  2. Dept. Computing Science, University of Newcastle upon Tyne, Newcastle upon Tyne, NE17RU, United Kingdom

    Cliff B. Jones

  3. Microsoft Research Ltd., J. J. Thomson Avenue 7, Cambridge, CB30FB, United Kingdom

    Kenneth R. Wood

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer London

About this chapter

Cite this chapter

Bjørner, D. (2010). On Mereologies in Computing Science. In: Roscoe, A., Jones, C., Wood, K. (eds) Reflections on the Work of C.A.R. Hoare. Springer, London. https://doi.org/10.1007/978-1-84882-912-1_3

Download citation

  • DOI: https://doi.org/10.1007/978-1-84882-912-1_3

  • Published:

  • Publisher Name: Springer, London

  • Print ISBN: 978-1-84882-911-4

  • Online ISBN: 978-1-84882-912-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation