The aim of SOFAnet 2, as a network environment of the SOFA 2 component system, is to exchange components between SOFAnodes in a simple and rational way. Current concerns of the SOFA 2 users about software distribution are analyzed and discussed. New high level concepts of Applications and Components are defined together with their mapping to SOFA 2 first class concepts, means of distribution and removal. Furthermore a methodology to keep SOFA 2 repository clean is introduced. All new elements as concepts and operations are studied using a formal set model. The proposed concept of SOFAnet 2 is proved by a prototype implementation.

@mastersthesis{Papez2011a,
  abstract = {The aim of {SOFAnet 2}, as a network environment of the {SOFA 2} component
	system, is to exchange components between {SOFAnodes} in a simple
	and rational way. Current concerns of the {SOFA 2} users about software
	distribution are analyzed and discussed. New high level concepts
	of Applications and Components are defined together with their mapping
	to {SOFA 2} first class concepts, means of distribution and removal.
	Furthermore a methodology to keep {SOFA 2} repository clean is introduced.
	All new elements as concepts and operations are studied using a formal
	set model. The proposed concept of {SOFAnet 2} is proved by a prototype
	implementation.},
  address = {Ovocn\'{y} trh 5, 116 36 Praha 1, Czech Republic},
  author = {Michal Pape{\v{z}}},
  keywords = {distributed systems, component systems, software distribution},
  month = {May},
  school = {{C}harles {U}niversity in {P}rague},
  title = {{SOFAnet 2}},
  year = {2011}
}