From: w.icelander

I would like to trigger a discussion related to the use of Alloy as a compliance tool.
It would also be interesting to learn about Daniel's thoughts on this since this
topic was not 'directly' addressed in his book.

Given a system S and requirement R.  The goal is to validate if S is compliant to R.  

1# How would we validate compliance using Alloy?

Is the following approach valid?

Create an Alloy Model:
- Represent S as a system : S (signatures, facts, functions, etc..)
- Assert R : (rules to be asserted)
The result of the assertion can help us validate compliance.

Are there any other ways that Alloy can validate compliance?

2# Can we say that compliance is equivalent to conformance as defined by the SE community?

3# Can we say that Alloys validation of compliance is based on a simulation approach?

Cheers
Will