Developing an Alloy Framework akin to OO Frameworks