For the implementation of callcontrol software, it will be shown how to divide problems into dimain and also presents methodologies to specify domains according to the object-orented analysis techniques. Domains is specified by the set of related objects as shown in call control examples. Events and conditons are able to be transformed into system invariant so that is possible to figure out the relationship between domains and those concludes that the software requirements specification can be established for the design and implementation. Relationships existing between domains can be formalized so as to verify software requirements.