Skip to main content
SpringerLink
Log in

Compositionality: Ontology and Mereology of Domains

Some Clarifying Observations in the Context of Software Engineering

  • Chapter
Concurrency, Compositionality, and Correctness

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5930))

Abstract

In this discursive paper we discuss compositionality of (i) simple entities, (ii) operations, (iii) events, and (iv) behaviours. These four concepts, (i)–(iv), together define a concept of entities. We view entities as “things” characterised by properties. We shall review some such properties. Mereology, the study of part-whole relations is then applied to a study of composite entities. We then speculate on compositionality of simple entities, operations, events and behaviours in the light of their mereologies. entities. We end the paper with some speculations on the rôle of Galois connections in the study of compositionality and domain mereology.

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

Access this chapter

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abrial, J.-R.: The B Book: Assigning Programs to Meanings. Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (1996)

    Book  MATH  Google Scholar 

  2. Balaguer, M.: Platonism and Anti–Platonism in Mathematics. Oxford University Press, Oxford (1998)

    MATH  Google Scholar 

  3. Bjørner, D.: Programming in the Meta-Language: A Tutorial. In: Bjørner, D., Jones, C.B. (eds.) The Vienna Development Method: The Meta-Language. LNCS, vol. 61, pp. 24–217. Springer, Heidelberg (1978)

    Chapter  Google Scholar 

  4. Bjørner, D.: Software Abstraction Principles: Tutorial Examples of an Operating System Command Language Specification and a PL/I-like On-Condition Language Definition. In: Bjørner, D., Jones, C.B. (eds.) The Vienna Development Method: The Meta-Language, [13]. LNCS, vol. 61, pp. 337–374. Springer, Heidelberg (1978)

    Chapter  Google Scholar 

  5. Bjørner, D.: The Vienna Development Method: Software Abstraction and Program Synthesis. In: Proceedings of Conference at Research Institute for Mathematical Sciences (RIMS), University of Kyoto, August 1978. Mathematical Studies of Information Processing, vol. 75. Springer, Heidelberg (1979)

    Google Scholar 

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

    MATH  Google Scholar 

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

    Google Scholar 

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

    MATH  Google Scholar 

  9. Bjørner, D.: Domain Theory: Practice and Theories, Discussion of Possible Research Topics. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) ICTAC 2007. LNCS, vol. 4711, pp. 1–17. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  10. Bjørner, D.: Domain Engineering. In: Boca, P., Bowen, J., Siddiqi, J. (eds.) Formal Methods: State of the Art and New Directions, pp. 1–42. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  11. Bjørner, D.: Software Engineering, vol. I: The Triptych Approach, vol. II: A Model Development (2009); To be submitted to Springer for evaluation

    Google Scholar 

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

    MATH  Google Scholar 

  13. Bjørner, D., Jones, C.B. (eds.): The Vienna Development Method: The Meta-Language. LNCS, vol. 61. Springer, Heidelberg (1978)

    MATH  Google Scholar 

  14. Bjørner, D., Jones, C.B. (eds.): Formal Specification and Software Development. Prentice-Hall, Englewood Cliffs (1982)

    MATH  Google Scholar 

  15. Casati, R., Varzi, A.: Parts and Places: the structures of spatial representation. MIT Press, Cambridge (1999)

    Google Scholar 

  16. Clarke, B.L.: A calculus of individuals based on “connection”. Notre Dame J. Formal Logic 22(3), 204–218 (1981)

    Article  MathSciNet  MATH  Google Scholar 

  17. Eir, A.: Construction Informatics — issues in engineering, computer science, and ontology. PhD thesis, Dept. of Computer Science and Engineering, Institute of Informatics and Mathematical Modeling, Technical University of Denmark, Building 322, Richard Petersens Plads, DK–2800 Kgs.Lyngby, Denmark (February 2004)

    Google Scholar 

  18. Eir, A.: Relating Domain Concepts Intensionally by Ordering Connections. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) Formal Methods and Hybrid Real-Time Systems. LNCS, vol. 4700, pp. 188–216. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  19. Fitzgerald, J.S., Larsen, P.G.: Developing Software using VDM-SL. Cambridge University Press, Cambridge (1997)

    Google Scholar 

  20. Fox, C.: The Ontology of Language: Properties, Individuals and Discourse. CSLI Publications, Center for the Study of Language and Information, Stanford University, California, ISA (2000)

    Google Scholar 

  21. Ganter, B., Wille, R.: Formal Concept Analysis — Mathematical Foundations. Springer, Heidelberg (1999)

    Book  MATH  Google Scholar 

  22. 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. Prentice-Hall, Hemel Hampstead (1992)

    MATH  Google Scholar 

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

    MATH  Google Scholar 

  24. Grenon, P., Smith, B.: SNAP and SPAN: Towards Dynamic Spatial Ontology. Spatial Cognition and Computation 4(1), 69–104 (2004)

    Article  Google Scholar 

  25. Hoare, C.A.R., He, J.F.: Unifying Theories of Programming. Prentice Hall, Englewood Cliffs (1997)

    MATH  Google Scholar 

  26. Hoare, T.: Communicating Sequential Processes. C.A.R. Hoare Series in Computer Science. Prentice-Hall International, Englewood Cliffs (1985)

    MATH  Google Scholar 

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

  28. Ingleby, M.: Safety properties of a control network: local and global reasoning in machine proof. In: Proceedings of Real Time Systems, Paris (January 1994)

    Google Scholar 

  29. Ingleby, M.: A galois theory of local reasoning in control systems with compositionality. In: Proceedings of Mathematics of Dependable Systems, Oxford, UP, UK (1995)

    Google Scholar 

  30. Ingleby, M., Mitchell, I.H.: Proving Safety of a Railway Signaling System Incorporating Geographic Data. In: Frey, H.H. (ed.) SAFECOM 1992 Conference Proceedings of IFAC, Zürich (CH), November 1992, pp. 129–134. Pergamon Press (1992)

    Google Scholar 

  31. Jackson, D.: Software Abstractions Logic, Language, and Analysis. The MIT Press, Cambridge (2006)

    Google Scholar 

  32. Jackson, M.A.: Software Requirements & Specifications: a lexicon of practice, principles and prejudices. ACM Press/Addison-Wesley Publishing Company (1995), ipc@awpub.add-wes.co.uk

    Google Scholar 

  33. Lamport, L.: Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM 21(7), 558–565 (1978)

    Article  MATH  Google Scholar 

  34. Lejewski, C.: A note on Leśniewksi’s axiom system for the mereological notion of ingredient or element. Topoi 2(1), 63–71 (1983)

    Article  MathSciNet  Google Scholar 

  35. Leonard, H.S., Goodman, N.: The Calculus of Individuals and Its Uses. Journal of Symbolic Logic 5, 45–55 (1940)

    Article  MathSciNet  MATH  Google Scholar 

  36. Loux, M.J.: Metaphysics, a contemporary introduction, 2nd edn. Routledge Contemporary Introductions to Philosophy. Routledge, London (1998/2020)

    Book  Google Scholar 

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

    MATH  Google Scholar 

  38. Manna, Z.: Mathematical Theory of Computation. McGraw-Hill, New York (1974)

    MATH  Google Scholar 

  39. McCarthy, J.: Towards a Mathematical Science of Computation. In: Popplewell, C.M. (ed.) IFIP World Congress Proceedings, pp. 21–28 (1962)

    Google Scholar 

  40. Mellor, D.H., Oliver, A.: Properties. Oxford Readings in Philosophy. Oxford Univ. Press, Oxford (1997)

    Google Scholar 

  41. Pi, C.-Y.T.: Mereology in Event Semantics. Phd, McGill University, Montreal, Canada (August 1999)

    Google Scholar 

  42. Roscoe, A.W.: Theory and Practice of Concurrency. C.A.R. Hoare Series in Computer Science. Prentice-Hall, Englewood Cliffs (1997), http://www.comlab.ox.ac.uk/people/bill.roscoe/publications/68b.pdf

    Google Scholar 

  43. Ross, D.T.: Toward foundations for the understanding of type. In: Proceedings of the 1976 conference on Data: Abstraction, definition and structure, pp. 63–65. ACM, New York (1976)

    Chapter  Google Scholar 

  44. Shapiro, S.: Philosophy of Mathematics — structure and ontology. Oxford University Press, Oxford (1997)

    MATH  Google Scholar 

  45. Simons, P.M.: Parts: A Study in Ontology. Clarendon Press (1987)

    Google Scholar 

  46. Spivey, J.M.: Understanding Z: A Specification Language and its Formal Semantics. Cambridge Tracts in Theoretical Computer Science, vol. 3. Cambridge University Press, Cambridge (1988)

    MATH  Google Scholar 

  47. Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice Hall International Series in Computer Science (1992)

    Google Scholar 

  48. Srzednicki, J.T.J., Stachniak, Z.: Leśniewksi’s Lecture Notes in Logic, Dordrecht (1988)

    Google Scholar 

  49. Staab, S., Stuber, R. (eds.): Handbook on Ontologies. International Handbooks on Information Systems. Springer, Heidelberg (2004)

    MATH  Google Scholar 

  50. Woodcock, J.C.P., Davies, J.: Using Z: Specification, Proof and Refinement. Prentice Hall International Series in Computer Science (1996)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DTU Informatics, Techn. Univ. of Denmark, DK-2800, Kgs. Lyngby, Denmark

    Dines Bjørner

  2. Maconomy, Vordingborggade 18-22, DK–2100, Copenhagen Ø, Denmark

    Asger Eir

Authors
  1. Dines Bjørner
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Asger Eir
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Bell Laboratories, 600 Mountain Ave., 07974, Murray Hill, NJ, USA

    Dennis Dams

  2. Computer Science Department, University of Bremen, P.O. Box 330440, 28334, Bremen, Germany

    Ulrich Hannemann

  3. Faculty of Mathematics and Natural Sciences, Department of Computer Science, University of Oslo, P.O. Box 1080, 0316, Blindern, Oslo, Norway

    Martin Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Bjørner, D., Eir, A. (2010). Compositionality: Ontology and Mereology of Domains. In: Dams, D., Hannemann, U., Steffen, M. (eds) Concurrency, Compositionality, and Correctness. Lecture Notes in Computer Science, vol 5930. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11512-7_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-11512-7_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-11511-0

  • Online ISBN: 978-3-642-11512-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation