Kaos4SOA - Extending KAOS Models with Temporal and Logical Dependencies

In requirements engineering for service-oriented systems, stakeholder objectives are described by goal models from which business process models are derived that define the required service compositions. A goal-based requirements specification should ensure completeness of the goals that need to be achieved as well as the consideration of temporal and logical dependencies between goals. Recent approaches lack the ability to elicitate and specify the stakeholders’ knowledge about dependencies between goals that need to be considered in the derivation of business processes. We present Kaos4SOA, an extended goal notation for the explicit specification of goal dependencies and briefly describe how existing approaches can be extended to validate the consistency of business processes against these dependencies. The application of our approach is supported by the implemented Kaos4SOA modeling workbench.