Skip to main content
SpringerLink
Log in

On a Parthood Specification Method for Component Software

  • Conference paper
Rough Sets and Current Trends in Computing (RSCTC 2006)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4259))

Included in the following conference series:

Abstract

The Basic Mereology framework of [8] is enriched by adding colimit construction from Category Theory. The new framework is then used to model component-based software architecture.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. 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

Author information

Authors and Affiliations

  1. Department of Computing and Software, McMaster University, Hamilton, ON, L8S 4K1, Canada

    Dai Tri Man Le & Ryszard Janicki

Authors
  1. Dai Tri Man Le
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ryszard Janicki
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Economics, University of Catania, Corso Italia, 55, 95129, Catania, Italy

    Salvatore Greco

  2. Graduate School of Engineering, Department of Electrical Engineering and Computer Sciences, University of Hyogo, 2167 Shosha, 671-2280,, Himeji, Hyogo, Japan

    Yutaka Hata

  3. Department of Medical Informatics, Faculty of Medicine, Shimane University, 89-1 Enya-cho, Izumo, 693-8501, Shimane, Japan

    Shoji Hirano

  4. Department of Systems Innovation, Graduate School of Engineering Science, Osaka University, 1-3, Machikaneyama, Toyonaka, 560-8531, Osaka, Japan

    Masahiro Inuiguchi

  5. Department of Risk Engineering, School of Systems and Information Engineering, University of Tsukuba, 305-8573, Ibaraki, Japan

    Sadaaki Miyamoto

  6. Institute of Mathematics, Warsaw University, Banacha 2, 02-097, Warsaw, Poland

    Hung Son Nguyen

  7. Systems Research Institute, Polish Academy of Sciences, 01-447, Warsaw, Poland

    Roman Słowiński

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Le, D.T.M., Janicki, R. (2006). On a Parthood Specification Method for Component Software. In: Greco, S., et al. Rough Sets and Current Trends in Computing. RSCTC 2006. Lecture Notes in Computer Science(), vol 4259. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11908029_56

Download citation

  • DOI: https://doi.org/10.1007/11908029_56

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-47693-1

  • Online ISBN: 978-3-540-49842-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation