Validation of User Intentions in Process Models

  • Gerd Gröner
  • Mohsen Asadi
  • Bardia Mohabbati
  • Dragan Gašević
  • Fernando Silva Parreiras
  • Marko Bošković
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7328)


Goal models and business process models are complementary artifacts for capturing the requirements and their execution flow in software engineering. Usually, goal models serve as input for designing business process models, and it requires mappings between both types of models. Due to the large number of possible configurations of elements from both goal models and business process models, developers struggle with the challenge of maintaining consistent configurations of both models and their mappings. Managing these mappings manually is error-prone. In our work, we propose an automated solution that relies on Description Logics and automated reasoners for validating mappings that describe the realization of goals by activities in business process models. The results are the identification of two inconsistency patterns – strong inconsistency and potential inconsistency, and the development of the corresponding algorithms for detecting inconsistencies.


requirement modeling goal-oriented process engineering inconsistency detection 


  1. 1.
    Dumas, M., Recker, J., Weske, M.: Management and engineering of process-aware information systems: Introduction to the special issue. Information Systems 37(2), 77–79 (2012)CrossRefGoogle Scholar
  2. 2.
    Koliadis, G., Vranesevic, A., Bhuiyan, M.A., Krishna, A., Ghose, A.K.: Combining i* and BPMN for Business Process Model Lifecycle Management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 416–427. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  3. 3.
    Kueng, P., Kawalek, P.: Goal-based Business Process Models: Creation and evaluation. Business Process Management Journal, 17–38 (1997)Google Scholar
  4. 4.
    Santos, E., Castro, J., Sánchez, J., Pastor, O.: A Goal-Oriented Approach for Variability in BPMN. In: Workshop em Engenharia de Requisitos, WER (2010)Google Scholar
  5. 5.
    Andersson, B., Bergholtz, M., Edirisuriya, A., Ilayperuma, T., Johannesson, P.: A Declarative Foundation of Process Models. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 233–247. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  6. 6.
    Bergholtz, M., Jayaweera, P., Johannesson, P., Wohed, P.: A Pattern and Dependency Based Approach to the Design of Process Models. In: Atzeni, P., Chu, W., Lu, H., Zhou, S., Ling, T.-W. (eds.) ER 2004. LNCS, vol. 3288, pp. 724–739. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  7. 7.
    Russel, N., ter Hofstede, A., van der Aalst, W., Mulyar, N.: Workflow Control-Flow Patterns: A Revised View. Technical report, BPM Center Report BPM-06-22, (2006)Google Scholar
  8. 8.
    Yu, E., Giorgin, P., Maiden, N., Mylopoulos, J. (eds.): Social Modeling for Requirements Engineering. MIT (2011)Google Scholar
  9. 9.
    Giorgini, P., Mylopoulos, J., Sebastiani, R.: Goal-oriented requirements analysis and reasoning in the TROPOS methodology. Engineering Applications of Artificial Intelligence 18, 159–171 (2005)CrossRefGoogle Scholar
  10. 10.
    Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering, 1st edn. Springer (1999)Google Scholar
  11. 11.
    van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley (2009)Google Scholar
  12. 12.
    ITU-T: Recommendation Z.151 (09/08): User Requirements Notation (URN) Language Definition (2008)Google Scholar
  13. 13.
    Amyot, D., Ghanavati, S., Horkoff, J., Mussbacher, G., Peyton, L., Yu, E.: Evaluating Goal Models within the Goal-Oriented Requirement Language. International Journal on Intelligent Systems 25, 841–877 (2010)CrossRefGoogle Scholar
  14. 14.
    Ouyang, C., Dumas, M., Aalst, W.M.P.V.D., Hofstede, A.H.M.T., Mendling, J.: From business process models to process-oriented software systems. ACM Trans. Softw. Eng. Methodol. 19, 2:1–2:37 (2009)Google Scholar
  15. 15.
    Feiler, P.H., Humphrey, W.S.: Software process development and enactment: concepts and definitions. In: Second International Conference on the Software Process, Continuous Software Process Improvement, pp. 28–40 (February 1993)Google Scholar
  16. 16.
    Johnson, R., Pearson, D., Pingali, K.: The Program Structure Tree: Computing Control Regions in Linear Time. In: PLDI, pp. 171–185 (1994)Google Scholar
  17. 17.
    Küster, J.M., Gerth, C., Förster, A., Engels, G.: Detecting and Resolving Process Model Differences in the Absence of a Change Log. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 244–260. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  18. 18.
    Vanhatalo, J., Völzer, H., Leymann, F.: Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 43–55. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  19. 19.
    Kiepuszewski, B., ter Hofstede, A.H.M., Bussler, C.J.: On Structured Workflow Modelling. In: Wangler, B., Bergman, L.D. (eds.) CAiSE 2000. LNCS, vol. 1789, pp. 431–445. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  20. 20.
    van der Aalst, W., ter Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow Patterns. In: Distributed and Parallel Databases (2003)Google Scholar
  21. 21.
    Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook, 2nd edn. Cambridge University Press (2007)Google Scholar
  22. 22.
    Lau, S.Q.: Domain Analysis of E-Commerce Systems Using Feature-Based Model Templates. Master’s thesis, University of Waterloo, Waterloo (2006)Google Scholar
  23. 23.
    Lapouchnian, A., Yu, Y., Mylopoulos, J.: Requirements-Driven Design and Configuration Management of Business Processes. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 246–261. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  24. 24.
    Decreus, K., Poels, G.: A Goal-Oriented Requirements Engineering Method for Business Processes. In: Soffer, P., Proper, E. (eds.) CAiSE Forum 2010. LNBIP, vol. 72, pp. 29–43. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  25. 25.
    Frankova, G., Frankova, G., Massacci, F., Massacci, F., Seguran, M., Seguran, M.: From early requirements analysis towards secure workflows. Technical Report TR DIT-07-036, University of Trento (2007)Google Scholar
  26. 26.
    Kazhamiakin, R., Pistore, M., Roveri, M.: A framework for integrating business processes and business requirements. In: Proc. IEEE DOC 2004 Conf., pp. 9–20 (2004)Google Scholar
  27. 27.
    Soffer, P., Wand, Y.: Goal-Driven Analysis of Process Model Validity. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 521–535. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  28. 28.
    Soffer, P., Wand, Y., Kaner, M.: Semantic Analysis of Flow Patterns in Business Process Modeling. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 400–407. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  29. 29.
    Liaskos, S., Litoiu, M., Jungblut, M.D., Mylopoulos, J.: Goal-Based Behavioral Customization of Information Systems. In: Mouratidis, H., Rolland, C. (eds.) CAiSE 2011. LNCS, vol. 6741, pp. 77–92. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  30. 30.
    La Rosa, M., van der Aalst, W., Dumas, M., ter Hofstede, A.: Questionnaire-based Variability Modeling for System Configuration. Software and Systems Modeling 8, 251–274 (2009)CrossRefGoogle Scholar
  31. 31.
    Gottschalk, F., van der Aalst, W.M.P., Jansen-Vullers, M.H., Rosa, M.L.: Configurable workflow models. International Journal on Cooperative Information Systems 17(2), 177–221 (2008)CrossRefGoogle Scholar
  32. 32.
    van der Aalst, W., Dumas, M., Gottschalk, F., ter Hofstede, A., La Rosa, M., Mendling, J.: Preserving correctness during business process model configuration. Formal Aspects of Computing 22, 459–482 (2010)zbMATHCrossRefGoogle Scholar
  33. 33.
    Gröner, G., Wende, C., Bošković, M., Silva Parreiras, F., Walter, T., Heidenreich, F., Gašević, D., Staab, S.: Validation of Families of Business Processes. In: Mouratidis, H., Rolland, C. (eds.) CAiSE 2011. LNCS, vol. 6741, pp. 551–565. Springer, Heidelberg (2011)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Gerd Gröner
    • 1
  • Mohsen Asadi
    • 2
  • Bardia Mohabbati
    • 2
  • Dragan Gašević
    • 3
  • Fernando Silva Parreiras
    • 4
  • Marko Bošković
    • 3
  1. 1.WeST InstituteUniversity of Koblenz-LandauGermany
  2. 2.Simon Fraser UniversityCanada
  3. 3.Athabasca UniversityCanada
  4. 4.FUMEC UniversityBrazil

Personalised recommendations