## Recovering repetitive sub-functions from observationsJourdan, Guy-Vincent and Ural, Hasan and Wang, Shen and Yenigün, Hüsnü (2007) Full text not available from this repository. Official URL: http://dx.doi.org/10.1007/978-3-540-73196-2_3 ## AbstractThis paper proposes an algorithm which, given a set of observations of an existing concurrent system that has repetitive sub-functions, constructs a Message Sequence Charts (MSC) graph where repetitive sub-functions of the concurrent system are identified. This algorithm makes fewer assumptions than previously published work, and thus requires fewer and easier to generate observations to construct the MSC-graph. The constructed MSC-graph may then be used as input to existing synthesis algorithms to recover the design of the existing concurrent system.
Repository Staff Only: item control page |