Semantically-enriched framework for analysis and design of shop floor operations