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 subfunctions". 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. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Jourdan, G. V., Ural, K., & Yenigün, H. (2005). Recovering the lattice of repetitive sub-functions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3733 LNCS, pp. 956–965). https://doi.org/10.1007/11569596_97
Mendeley helps you to discover research relevant for your work.