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
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Summary<br />
Reusable organizational abstractions<br />
– For controlled supply cha<strong>in</strong>-wide <strong>in</strong>teractions<br />
<strong>Middleware</strong> <strong>Model</strong> + <strong>Alloy</strong><br />
– Check assertions, specific laws and policies<br />
Even with simple concepts<br />
– Control <strong>in</strong>teractions and provide some guarantees<br />
Future work<br />
– Execution semantics of laws<br />
– Dynamically group agents accord<strong>in</strong>g to context