Multi-Factoring Business-level Specification