{Straw01}
"Checking consistency between architectural models using SPIN".
P. Inverardi, H. Muccini and P. Pelliccione. Proc. ICSE2001 Workshop ``From Software Requirements to Architectures"
(STRAW'01), May 2001.
Abstract:
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.
