Cross-platform multi-state methodology synthesize extensible applications