Abstract
Goal-driven requirements engineering is a well-known approach for the systematic elicitation and specification of strategic business goals in early phases of software engineering processes. From these goals concrete operations can be derived that are composed in terms of a business process model. Lacking consistency between goal models and derived business processes especially with respect to the dependencies between goals can result in an implementation that is not in line with the actual business objectives. Hence, constraints indicated from these dependencies need to be considered in the derivation of business process models. In previous work, we introduced the extended goal modeling language Kaos4SOA that provides comprehensive modeling capabilities for temporal and logical dependencies among goals. Further, we presented an approach to validate the consistency between goal models and business process models regarding these dependencies. Extending the previous work, this paper presents a constructive approach for the derivation of consistent business processes from goal models. We introduce an algorithm that calculates logically encapsulated business process fragments from a given goal model and describe how these fragments can be composed to a business process model that fulfills the given temporal constraints.
Chapter PDF
Similar content being viewed by others
References
Alrajeh, D., Kramer, J., Russo, A., Uchitel, S.: Learning operational requirements from goal models. In: Proc. of the 31st Int. Conf. on Software Engineering, ICSE 2009, pp. 265–275. IEEE Computer Society (2009)
Baresi, L., Pasquale, L.: Adaptive Goals for Self-Adaptive Service Compositions. In: 2010 IEEE International Conference on Web Services (ICWS), pp. 353–360. IEEE (2010)
Baresi, L., Pasquale, L.: Adaptation Goals for Adaptive Service-oriented Architectures. In: Relating Software Requirements and Architecture, pp. 161–181. Springer, Heidelberg (2011)
Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: TROPOS: An agent-oriented software development methodology. Autonomous Agents and Multi-Agent Systems (2004)
Dardenne, A., Fickas, S., van Lamsweerde, A.: Goal-directed concept acquisition in requirements elicitation. In: Proceedings of the 6th International Workshop on Software Specification and Design, IWSSD 1991, pp. 14–21. IEEE Computer Society Press (1991)
Dubois, E., Petit, M., Yu, E.: From Early to Late Formal Requirements: A Process-Control Case Study. In: Proc. of the 9th Int. Workshop on Software Specification and Design, p. 34. IEEE Computer Society (1998)
Gerth, C., Küster, J.M., Engels, G.: Language-Independent Change Management of Process Models. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 152–166. Springer, Heidelberg (2009)
Koliadis, G., Ghose, A.: Relating Business Process Models to Goal-Oriented Requirements Models in KAOS. In: Hoffmann, A., Kang, B.-H., Richards, D., Tsumoto, S. (eds.) PKAW 2006. LNCS (LNAI), vol. 4303, pp. 25–39. Springer, Heidelberg (2006)
Lapouchnian, A.: Goal-Oriented Requirements Engineering: An Overview of the Current Research. Requirements Engineering 8(3), 32 (2005)
Liaskos, S., McIlraith, S., Sohrabi, S., Mylopoulos, J.: Integrating preferences into goal models for requirements engineering. In: 2010 18th IEEE International Requirements Engineering Conference (RE), pp. 135–144 (2010)
Lo, A., Yu, E.: From Business Models to Service-Oriented Design: A Reference Catalog Approach. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol. 4801, pp. 87–101. Springer, Heidelberg (2007)
Martínez, A., Pastor, Ó., Mylopoulos, J., Giorgini, P.: From Early to Late Requirements: A Goal-Based Approach. In: Kolp, M., Henderson-Sellers, B., Mouratidis, H., Garcia, A., Ghose, A.K., Bresciani, P. (eds.) AOIS 2006. LNCS (LNAI), vol. 4898, pp. 123–142. Springer, Heidelberg (2008)
Nagel, B., Gerth, C., Post, J., Engels, G.: Ensuring Consistency among Business Goals and Business Process Models. In: Proceedings of 16th IEEE International Enterprise Distributed Object Computing Conference (EDOC), pp. 17–26 (2013)
Nagel, B., Gerth, C., Post, J., Engels, G.: Kaos4SOA - Extending KAOS Models with Temporal and Logical Dependencies. In: Proceedings of the CAiSE 2013 Forum at the 25th International Conference on Advanced Information Systems Engineering (CAiSE), pp. 9–16 (2013)
OMG. OMG Unified Modeling Language (OMG UML) Superstructure (2010)
OMG. Business Process Model and Notation (BPMN) (2011)
Oster, Z.J., Ali, S.A., Santhanam, G.R., Basu, S., Roop, P.S.: A service composition framework based on goal-oriented requirements engineering, model checking, and qualitative preference analysis. In: Liu, C., Ludwig, H., Toumani, F., Yu, Q. (eds.) ICSOC 2012. LNCS, vol. 7636, pp. 283–297. Springer, Heidelberg (2012)
Russell, N., Hofstede, A.H.M.T., Mulyar, N.: Workflow ControlFlow patterns: A revised view. Technical report (2006)
van Lamsweerde, A.: Goal-oriented requirements engineering: a guided tour. In: Proceedings of the Fifth IEEE International Symposium on Requirements Engineering, pp. 249–262 (2001)
van Lamsweerde, A.: From System Goals to Software Architecture. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, pp. 25–43. Springer, Heidelberg (2003)
Yu, E.S.-K.: Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering. In: Proc. of the 3rd IEEE Int. Symposium on Requirements Engineering, pp. 226–235. IEEE Computer Society (1997)
Yu, Y., Lapouchnian, A., Liaskos, S., Mylopoulos, J., Leite, J.: From Goals to High-Variability Software Design. In: Foundations of Intelligent Systems, pp. 1–16 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Nagel, B., Gerth, C., Engels, G. (2014). Goal-Driven Composition of Business Process Models. In: Lomuscio, A.R., Nepal, S., Patrizi, F., Benatallah, B., Brandić, I. (eds) Service-Oriented Computing – ICSOC 2013 Workshops. ICSOC 2013. Lecture Notes in Computer Science, vol 8377. Springer, Cham. https://doi.org/10.1007/978-3-319-06859-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-06859-6_3
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-06858-9
Online ISBN: 978-3-319-06859-6
eBook Packages: Computer ScienceComputer Science (R0)