Modelagem executável de sistemas distribuídos em JAVA.

Abstract

With the aim to minimize the errors in computer systems, developers try to include in their development process activities which will contribute to the increase in the quality of systems. Among these activities, one finds the behavior modeling, which allows the creation of models that reflect the developing system’s behavior, thus being models which can be executed. The execution of a model simulates the execution of the modeled system. This simulation makes it possible to validate the system even before its implementation through the detection and correction of errors that might exist in the model. The correction of these errors is carried out at low cost if compared to the costs to correct the same errors after having implemented the system. If the language used in the behavior modeling is formal, i.e. mathematically defined, we can verify our models through the use of techniques of formal verification. This document presents the results of our work: a formal language of behavior modeling called CROMOL, which permits the creation of formal models for a system, even if the designer does not have advanced mathematical knowledge. During its development, we faced many problems found in formal languages which exist in the literature and focused on modeling Java-implemented systems. As a result, we got a language that offers support to the orientation of objects, to distributed systems and is structurally close to the programming language Java, making the mapping process between the code and model easier.