Recovering Representations of Systems with Repetitive Subfunctions from Observations
Guy-Vincent Jourdan and Husnu Yenigun
This paper proposes an algorithm for the construction of an MSC graph from a given set of actual observations of an existing concurrent system which has repetitive subfunctions. When a design representing the current functionality of the existing system is desired, such a graph can be checked for safe realizability and be used as input to existing synthesis techniques to construct the design for the system functionality.