Towards a Pragmatic Mereology

• Autorzy: Janicki R. , Le D.T.M.
• Języki publikacji: EN

Abstrakty

EN

A version of mereology (i.e. theory of parts and fusions) is presented. Some applications to model software structures are discussed.

Słowa kluczowe

EN

mereology

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2007
• Tom: Vol. 75, nr 1-4
• Strony: 295--314
• Opis fizyczny: bibliogr. 32 poz.

Twórcy

autor

Janicki R.

autor

Le D.T.M.

• Software Quality Research Lab., Department of Computing and Software, McMaster University, Hamilton, Ontario, Canada L8S 4K1,

Bibliografia

• [1] M. Abadi, L. Cardelli, Theory of Objects, Springer 1996.
• [2] R. Allen, D. Garlan. A Formal Basis for Architectural Connection, ACM Transactions on Software Engineering and Methodology, 6,3 (1997) 213-249.
• [3] A. Artale, G. Franconi, E. Guarina, L. Pazzi, Part-whole relations in object-centered systems, Data and Knowledge Engineering, 20 (1996), 347-383.
• [4] R. Casati, A. C. Varzi, Parts and Places, MIT Press, 1999.
• [5] E. F. Codd, A relational model of data for large shared data banks, Comm. of the ACM, 13 (1970) 377-388.
• [6] J. L. Fiadeiro, Categories for Software Engineering, Springer 2004
• [7] N. Goodman, The Structure of Appearance, 3rd edition, D. Reidel, 1977.
• [8] A. Grzegorczyk, The System of Leśniewski in Relation to Contemporary Logical Research, Studia Logica 3 (1955), 77-95.
• [9] D. M. Hoffman, D. M. Weiss (eds.), Collected Papers by David L. Parnas, Addison-Wesley, 2001.
• [10] R. Janicki, Remarks on Mereology of Direct Products and Relations, in J. Desharnais, M. Frappier, W. MacCaull (eds.), Relational Methods in Computer Science, Methodos Publ. 2002, pp. 65-84.
• [11] R. Janicki, On a Mereological System for Relational Software Specifications, Proc. of MFCS'2002, Lecture Notes in Comp. Science 2420, Springer 2002, pp. 375-386.
• [12] R. Janicki, Basic Mereology with Equivalence Relations, Proc. of MFCS'2005, Lecture Notes in Comp. Science 3618, Springer 2005, pp. 507-519.
• [13] R. Janicki, R. Khédri, On a Formal Semantics of Tabular Expressions, Science of Computer Programming, 39 (2001) 189-214.
• [14] R. Janicki, D. L. Parnas, J. Zucker, Tabular Representations in Relational Documents, in C. Brink, W. Kahl, G. Schmidt (eds.), Relational Methods in Computer Science, Springer 1997, pp. 184-196.
• [15] R. Janicki, A.Wassyng, Tabular Expressions and Their Relational Semantics, Fundamenta Informaticae 67,4 (2005), 343-370
• [16] M. Jazayeri, A. Ran, F. van der Linden, Software architecture for product families: principles and practice. Boston, MA, USA, 2000.
• [17] R. Khédri, L. Wang, L. Situ, Requirements Specification Decomposition: A System Testing Driven Approach, Proc. 7th Int'l Seminar On Relational Methods in Computer Science, Bad Melente, Germany, 2003,pp. 97-104.
• [18] D. T. M. Le, R. Janicki, On a Parthood Specification for Component Software, Proc. of RSCTC'06, Lecture Notes in Artificial Intelligence 4259, Springer 2006, pp. 537-546.
• [19] H. Leonard, N. Goodman, The calculus of individuals and its uses, Journal of Symbolic Logic, 5 (1940), 45-55.
• [20] A. Lopes, M. Wermelinger, J. L. Fiadeiro, High-order architectural connectors. ACM Transactions on Software Engineering and Methodology, 12,1 (2003) 64-104.
• [21] S. Leśniewski, Grundzüge eines neuen Systems der Grundlagen derMathematik, Fundamenta Mathematicae 24 (1929), 1-81.
• [22] D. L. Parnas, On the criteria to be used in decomposing systems into modules, Comm. of ACM, 15, 12 (1972), 1053-1058.
• [23] Z. Pawlak, Rough Sets, Kluwer, 1991.
• [24] L. Polkowski, A. Skowron, Rough Mereology, A New Paradigm for Approximate Reasoning, Journal of Approximate Reasoning, 15, 4 (1997), 316-333.
• [25] K. H. Rosen, Discrete Mathematics and its Applications, McGraw-Hill 1991.
• [26] F. A. Salustri, J. C. Lockledge, Towards a formal theory of products including mereology, Proc. 12th Int'l Conf. on Engn. Design, Munich, 1999, pp. 1125-30.
• [27] P. Simons, On Understanding Leśniewski, Hist. and Phil. of Logic 3 (1982),165-191.
• [28] P. Simons, Parts. A Study in Ontology, Claredon Press, 1987.
• [29] B. Smith, Mereotopology: a Theory of Parts and Boundaries. Data and Knowledge Engineering, 20,3 (1996) 287-303.
• [30] C. Szyperski, Component Software, Addison-Wesley, 1997.
• [31] J. T. J. Srzednicki, V. F. Rickey (eds.), Leśniewski's Systems, Kluwer, 1984.
• [32] B. Tversky, K. Hemenway, Objects, Parts and Categories, Journal of Experimental Psychology, 113, 2 (1984) 169-193.