Tagged alloy-software