An Approach Based on Software Components and Mobile Agents for Developing Distributed Applications with Verification of Validity Criterion

In this paper we present an approach based on software components for developing distributed applications, we use mobile agents as connectors between components to support the execution of the composition (assembly). We use also mobile agents to verify the validity of compositions to achieve the functionality provided by the application. We treat the validity of the components composition in a functional point of view and a structural point of view, in the first one we propose a fuzzy axiomatic semantics of a concurrent programming language to measure to what degree the behavior resulting from the expected composition will satisfy the expected functionality from the application. In the second point we treat a structural point of view related to the dynamics of the network environment, in this point we use mobile agents to ensure structural validity criteria.