Equivalence-Based Selection of Best-Fit Models to Support Wiki Design

A wiki is a collaborative Web site whose content can be edited by anyone who has the access. Wikis are becoming a new work tool in enterprises and are widely spreading every-where. Indeed, it is important to consider the design and evolution of a wiki. We present a methodology to help wiki designers, engineers and domain experts. In practice, from the wikis we derive formal models, which are successively used to perform equivalence checking. More precisely, in order to design a wiki p we propose a methodology for the selection of the best-fit wiki model q, among a set of candidate ones. For best fit we mean that p and q have a similar structure. To handle the complexity of finding all possible candidates processes q, a heuristic function can be used to filter the set of significant candidates, and to speed up the search of a successful one, which is the main contribution of the paper. Eventually, the elected model may be exploited to start the design process.