Addressing Performance Requirements in the FDT Based Design of DistributedSystems

摘要

The development of distributed systems is generally regarded as a complex andcostly task, and for this reason Formal Description Techniques (FDT's) such as LOTOS and ESTELLE are increasingly used in this process. It was experienced that LOTOS can be exploited at many stages on the design trajectory from requirements specification of implementation; however, the language elements do not allow direct formalization of performance requirements. In order to avoid duplication of effort by using two formalisms with distinct approaches, a design method that incoporates performance constraints in a heuristic but effective manner is proposed.