Sciweavers

Share
ISCIS
2005
Springer

Recovering the Lattice of Repetitive Sub-functions

10 years 5 months ago
Recovering the Lattice of Repetitive Sub-functions
Abstract. 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.
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Y
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where ISCIS
Authors Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün
Comments (0)
books