Alloy framework implementation