Service-oriented architectures have emerged as an architectural style for the design of business applications. Accordingly, business process models play a central role in the description of business requirements as well as in the specification of required service compositions.The modeling of business processes is not pursued for its own sake, but contributes to the achievement of strategic concerns represented by business goals. In order to evaluate the suitability of business process models, e.g. with respect to completeness and relevance, their relations to business goals need to be considered. This comprises the initial specification of business goals and business processes as well as the preservation of consistency between evolving models.In previous work, several goal-oriented requirements engineering approaches and business process modeling techniques have been proposed. Nonetheless, there is no integrated specification method that supports the goal-oriented specification, the systematic derivation of business process models and the assurance of quality in a sufficient manner.In this thesis, we present an approach for goal-oriented business process engineering that provides modeling techniques and analysis capabilities to assure the overall specification quality. Based on an existing goal-modeling notation, we introduce an extended modeling approach that supports the expression of goal dependencies, relevant business context elements and the identification of composable actions. Further, we describe a systematic derivation method to ensure the consideration of this information in the business process composition. To ensure a valid and consistent specification, a quality analysis and assurance framework is introduced.