Recovering the Lattice of Repetitive Sub-functions
- Cite this paper as:
- Jourdan GV., Ural H., Yenigün H. (2005) Recovering the Lattice of Repetitive Sub-functions. In: Yolum ., Güngör T., Gürgen F., Özturan C. (eds) Computer and Information Sciences - ISCIS 2005. ISCIS 2005. Lecture Notes in Computer Science, vol 3733. Springer, Berlin, Heidelberg
Given a set of observations of an existing concurrent system with repetitive sub-functions, we consider the construction of an MSC graph representing the functionality of the concurrent system. We first introduce a formal structure that we call ”lattice of repetitive sub-functions”. This lattice provides us with a global view of all the repetitive sub-functions of the system and all the compatible observations. Using the lattice, we are able to propose an algorithm that constructs the MSC graph representation of the system functionality in a more general context than in previously published work.
Unable to display preview. Download preview PDF.