Logical decomposition is a representation of the organization of the main source code, where every and each file is put in exactly one logical component.

• A software system can have one or more logical decompositions.
• A logical decomposition can be defined in two ways in Sokrates.
• First approach is based on the folders structure. Components are mapped to folders at defined folder depth relative to the source code root.
• Second approach is based on explicit definition of each component. In such explicit definitions, components are explicitly named and their files are selected based on explicitly defined path and content filters.
• A logical decomposition is considered invalid if a file is selected into two or more components. This constraint is introduced in order to facilitate measuring of dependencies among components.
• Files not assigned to any component are put into a special "Unclassified" component.