Discovery of SOA patterns via model checking
Massimiliano Di Penta, Antonella Santone, Maria Luisa Villani · 2007
Design pattern recovery has been proved to be an useful mechanism to assess the quality of object-oriented systems, to facilitate their comprehension, and to help identifying reusable assets. The diffusion of Service Oriented Architectures (SOA) is fostering the introduction of new patterns, realizing recurring mechanisms that service-oriented systems often realize. Examples are proxies used to enable dynamic binding or to ensure fault tolerance, service compositions, and loggers used for monitoring purposes. This paper describes how SOA patterns can be identified by analyzing SOAP messages collected by monitoring a service oriented system. Namely, the paper presents a model checking-based approach where patterns, described by parametric selective mu-calculus logic formulae, are verified on a synthetized model of the system.