Checking consistency between architectural models using SPIN
Paola Inverardi, Patrizio Pelliccione · 2001
Requirements and Software Architectures are strictly related but only a little attention has been paid to their integration. What we propose in this paper is an approach to i) trace coordination requirements from their definition to the low level specification and ii) validate the architectural dynamic model with respect to these coordination requirements.