Title: Automating the Derivation of Components Designs from a Global Specification


Abstract: Given the global requirements specification of a distributed system, we want to derive the corresponding behavior of each component of that system. It is necessary that these components act in coordination with each other, in order for the temporal constraints that are defined for the global system, to be respected. Otherwise some problems could arise such as race conditions. This coordination of the tasks to be performed by each component, can be enforced by the exchange of coordination messages.

In our project, we work on automating the process of deriving the components behaviors of a given distributed system, starting from the definition of that global system's behavior. The System's requirements are defined by a global UML activity diagram. And the obtained components behaviors, when the components are working in collaboration, have to respect the defined temporal constraints of the global system, and to eliminate any race conditions.