Communicating sequential processes
Communicating sequential processes
Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
The Z notation: a reference manual
The Z notation: a reference manual
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Formal Concept Analysis: Mathematical Foundations
Formal Concept Analysis: Mathematical Foundations
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
Unifying Theories for Parallel Programming
Euro-Par '97 Proceedings of the Third International Euro-Par Conference on Parallel Processing
Programming in the META-Language: A Tutorial
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
The Vienna development method (VDM): Software specification & program synthesis
Proceedings of the International Conference on Mathematical Studies of Information Processing
Toward foundations for the understanding of type
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Handbook on Ontologies (International Handbooks on Information Systems)
Handbook on Ontologies (International Handbooks on Information Systems)
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Domain theory: practice and theories a discussion of possible research topics
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Relating domain concepts intensionally by ordering connections
Formal methods and hybrid real-time systems
Cybernetics and Systems Analysis
Domains: their simulation, monitoring and control-a divertimento of ideas and suggestions
Rainbow of computer science
Hi-index | 0.00 |
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.