Performability-oriented description and analysis of business processes