Similarity for Reuse of Specifications in Communication Software Development

摘要

The reuse of existing software is one of the most effec-tive way for software development. We have focused on the specification process with FDTs (Formal De-scription Techniques), and have proposed a new con-cept of similarity based on LTSs (Labelled Transition Systems) as a criterion to reuse specifications. How-ever, it's definition has some problems, such that (a) it can't be applied to an LTS with some loops, and (b) the definition of similarity between actions is not clearly expressed.In this paper, we remove these problems in order for our approach to be widely applicable to practical use. For first problem., we extend the definition of similarity to be able to apply to an LTSs with some loops. For second one, we consider that the similarity of actions is defined based on not only the name of actions, but also the attribute of actions and the way of occurrence of actions as the temporal ordering.