A Middleware Model in Alloy A Middleware Model in Alloy - IRIT
A Middleware Model in Alloy A Middleware Model in Alloy - IRIT
A Middleware Model in Alloy A Middleware Model in Alloy - IRIT
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Specify Universe<br />
sig Agent{...}<br />
sig Role{...}<br />
sig Organization{<br />
roles:set Role<br />
}<br />
sig Context{...}<br />
sig Law{...}<br />
sig <strong>Middleware</strong><strong>Model</strong>{...}<br />
Agen<br />
t<br />
Role<br />
Law<br />
Agen<br />
t<br />
Org<br />
Law<br />
Universe<br />
Role<br />
Context<br />
Agen<br />
t<br />
Role<br />
Context<br />
Org<br />
MW<br />
Agen<br />
t<br />
Role<br />
Role<br />
MW<br />
MW<br />
Search space for Analyzer<br />
To f<strong>in</strong>d <strong>in</strong>stances and counter-examples<br />
Abstract <strong>Model</strong> of <strong>Middleware</strong><br />
Check assertions – Check Laws and Policies