Abstrakt
The thesis introduces a formal model permiting to obtain the whole picture behavior of an entity from its use cases (behavior assembly and behavior composition). The thesis also analyzes UML 2.0 and proposes its extension Port State Machines.