Strategic Business Modeling: Representation and Reasoning