Unified Modelling and Consistency Verification of UML Multi-View Models Using Alloy.

Yihui Guo, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu

Browse the full APSEC paper archive.