Class(sec:OOClass partial sec:OOSoftwareComponent
                         restriction(sec:extendedBy allValuesFrom(sec:OOClass))
                         restriction(sec:packageMemberOf allValuesFrom(sec:OOPackage))
                         restriction(sec:implementsInterface allValuesFrom(sec:OOInterface))
                         restriction(sec:encodesRequirement allValuesFrom(sec:Requirement))
                         restriction(sec:hasTest allValuesFrom(sec:IntegrationTest))
                         restriction(sec:hasTest allValuesFrom(sec:UnitTest))
                         restriction(sec:hasMethod allValuesFrom(sec:OOMethod))
                         restriction(sec:extends allValuesFrom(sec:OOClass)))

DisjointClasses(sec:OOClass sec:OOInterface
                            sec:OOMethod
                            sec:OOMethodSignature
                            sec:OOPackage
                            sec:OOProgram)

sec:OOAbstractClass, sec:OOClass, sec:OOPackage, sec:Requirement

sec:encodesRequirement, sec:hasMethod, sec:implementsInterface

Class: sec:OOClass

Super Classes

Disjoint Classes

Individuals

Abstract Syntax

Usage

Class Description/Definition (Necessary Conditions)

Domain of