Validation Based on Observation of the Behavior of Distributed Components

In this paper, we present the results of a research in which the validation activity of distributed software components is accomplished via formal models based on the observation of the component behavior. The proposal is to present an improved manner to validate the component by using its real behavior, and not only insufficient documentation and suppositions