On a Parthood Specification Method for Component Software

1. Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology 6(3), 213–249 (1997)

   Article  Google Scholar 

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

   Google Scholar 

3. Fiadeiro, J.L.: Categories for Software Engineering. Springer, Berlin (2004)

   Google Scholar 

4. Forrest, P.: Nonclassical mereology and its application to sets. Notre Dame Journal of Formal Logic 43(2), 79–94 (2002)

   Article  MATH  MathSciNet  Google Scholar 

5. Goodman, N.: The structure of appearance. Dordrecht, Holland (1977)

   Google Scholar 

6. Ivers, J., Clements, P., Garlan, D., Nord, R., Schmerl, B., Oviedo, J.: Documenting component and connector views with UML 2.0. Technical Report CMU-CS-2004-TR-008, School of Computer Science, Carnegie Mellon University (April 2004)

   Google Scholar 

7. Janicki, R.: On a mereological system for relational software specifications. In: Diks, K., Rytter, W. (eds.) MFCS 2002. LNCS, vol. 2420, pp. 375–386. Springer, Heidelberg (2002)

   Chapter  Google Scholar 

8. Janicki, R.: Basic mereology with equivalence relations. In: Jedrzejowicz, J., Szepietowski, A. (eds.) MFCS 2005. LNCS, vol. 3618, pp. 507–519. Springer, Heidelberg (2005)

   Chapter  Google Scholar 

9. Janicki, R., Khedri, R.: On a formal semantics of tabular expressions. Science of Computer Programming 39(2-3), 189–213 (2001)

   Article  MATH  MathSciNet  Google Scholar 

10. Jazayeri, M., Ran, A., van der Linden, F.: Software architecture for product families: principles and practice, Boston, MA, USA (2000)

    Google Scholar 

11. Khedri, R., Wang, L., Situ, L.: Requirements specification decomposition: A system testing driven approach. In: Proc. 7th Int’l Seminar On Relational Methods in Computer Science, Bad Melente, Germany, pp. 97–104 (2003)

    Google Scholar 

12. Leonard, H.S., Goodman, N.: The calculus of individuals and its uses. J. Symb. Log. 5(2), 45–55 (1940)

    Article  MATH  MathSciNet  Google Scholar 

13. Lopes, A., Wermelinger, M., Luiz Fiadeiro, J.: High-order architectural connectors. ACM Trans. Softw. Eng. Methodol. 12(1), 64–104 (2003)

    Article  Google Scholar 

14. Motschnig-Pitrik, R., Kaasbøll, J.J.: Part-whole relationship categories and their application in object-oriented analysis. IEEE Transactions on Knowledge and Data Engineering 11(5), 779–797 (1999)

    Article  Google Scholar 

15. Polkowski, L., Skowron, A.: Rough mereology: A new paradigm for approximate reasoning. Journal of Approximate Reasoning 15, 316–333 (1997)

    Google Scholar 

16. Rumbaugh, J.: Controlling propagation of operations using attributes on relations. In: OOPSLA 1988, pp. 285–296. ACM Press, New York (1988)

    Chapter  Google Scholar 

17. Rumbaugh, J., Eddy, F.: Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs (1991)

    Google Scholar 

18. Salustri, F.: A formal theory for knowledge-based product model representation. In: Knowledge-Intensive CAD II: proceedings of the IFIP WG 5.2 workshop (1996)

    Google Scholar 

19. Simons, P.: Parts: A Study in Ontology. Oxford University Press, Oxford (1987)

    Google Scholar 

20. Smith, B.: Mereotopology: a theory of parts and boundaries. Data and knowledge engineering 20(3), 287–303 (1996)

    Article  MATH  Google Scholar 

21. Srzednicki, J.T.J., Rickey, V.F. (eds.): Lesniewski’s Systems. Kluwer, Dordrecht (1984)

    Google Scholar 

22. Tversky, B., Hemenway, K.: Objects, parts, and categories. J. Exp. Psychol.: General 113(2), 169–193 (1984)

    Article  Google Scholar 

Download references