Cross-platform application framework for Alloy