Skip to main content

From Requirements to Executable Processes: A Literature Study

  • Conference paper

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 43))

Abstract

Service compositions are a major component to realize service-based applications (SBAs). The design of these service compositions follows mainly a process-modelling approach—an initial business process is refined until it can be executed on a workflow engine. Although this process-modelling approach proved to be useful, it largely disregards the knowledge gained in the requirements engineering discipline, e. g. in eliciting, documenting, managing and tracing requirements. Disregarding the requirements engineering phase may lead to undesired effects of the later service compositions such as lack of acceptance by the later users. To defuse this potentially critical issue we are interested in the interplay between requirements engineering and process modelling techniques. As a first step in this direction, we analyse the current literature in requirements engineering and process modelling in order to find overlaps where the techniques from both domains can be combined in useful ways. Our main finding is that scenario-based approaches from the requirements engineering discipline are a good basis for deriving executable processes. Depending whether the focus is on requirements engineering or on process design the integration of the techniques are slightly different.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Dresbach, S.: Modeling by Construction: A New Methodology for Constructing Models for Decision Support. Lehrstuhl für Wirtschaftsinformatik und Operations Research, University of Cologne, Germany (1995)

    Google Scholar 

  2. Cheng, B.H.C., Atlee, J.M.: Research Directions in Requirements Engineering. In: Conference on the Future of Software Engieering (FOSE 2007), Washington, USA, pp. 285–303 (2007)

    Google Scholar 

  3. Cockburn, A.: Writing Effective Use Cases. Addison-Wesley Professional, Reading (2000)

    Google Scholar 

  4. Whittle, J., Schumann, J.: Generating Statechart Designs from Scenarios. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), Limerick, Ireland, pp. 314–323 (2000)

    Google Scholar 

  5. Nawrocki, J.R., Nedza, T., Ochodek, M., Olek, L.: Describing Business Processes with Use Cases. In: Abramowicz, W., Mayr, H.C. (eds.) 9th International Conference on Business Information Systems (BIS 2006), Klagenfurt, Austria, vol. 85, pp. 13–27 (2006)

    Google Scholar 

  6. van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: Leymann, F., Reisig, W., Thatte, S.R., van der Aalst, W.M.P. (eds.) The Role of Business Processes in Service Oriented Architectures, Dagstuhl, Germany, vol. 06291 (2006)

    Google Scholar 

  7. Keller, G., Nüttgens, M., Scheer, A.-W.: Semantische Prozeßmodellierung auf der Grundlage Ereignisgesteuerter Prozeßketten (EPK). Veröffentlichungen des Instituts für Wirtschaftsinformatik (IWi). Universität des Saarlandes (1992)

    Google Scholar 

  8. Uchitel, S., Kramer, J., Magee, J.: Synthesis of Behavioral Models from Scenarios. IEEE Transactions on Software Engineering 29, 99–115 (2003)

    Article  Google Scholar 

  9. OMG: UML 2.0 Superstructure Specification (2003)

    Google Scholar 

  10. Weidenhaupt, K., Pohl, K., Jarke, M., Haumer, P.: Scenarios in System Development: Current Practice. IEEE Software 15, 34–45 (1998)

    Article  Google Scholar 

  11. Miga, A., Amyot, D., Bordeleau, F., Cameron, D., Woodside, C.M.: Deriving Message Sequence Charts from Use Case Maps Scenario Specifications. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol. 2078, pp. 268–287. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  12. ITU: Message Sequence Charts. International Telecomunication Union, Telecommunication Standardization Sector (1996)

    Google Scholar 

  13. Lübke, D., Schneider, K., Weidlich, M.: Visualizing Use Case Sets as BPMN Processes. In: 3rd International Workshop on Requirements Engineering Visualization (REV 2008), Barcelona, Spain (2008)

    Google Scholar 

  14. Ouyang, C., Dumas, M., Breutel, S., ter Hofstede, A.H.M.: Translating Standard Process Models to BPEL. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 417–432. Springer, Heidelberg (2006)

    Google Scholar 

  15. Lübke, D.: Transformation of Use Cases to EPC Models}. 5. Workshop der Gesellschaft für Informatik e.V (GI) und Treffen ihres Arbeitskreises. In: Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten (WI-EPK). CEUR Workshop Proceedings, vol. 224, Vienna, Austria, pp. 137–156 (2006)

    Google Scholar 

  16. Ziemann, J., Mendling, J.: EPC-Based Modelling of BPEL Processes: A Pragmatic Transformation Approach. In: International Conference on Modern Information Technology in the Innovation Processes of the Industrial Enterprises (MITIP 2005) Genoa, Italy (2005)

    Google Scholar 

  17. Lu, R., Sadiq, S., Governatori, G.: On Managing Business Processes Variants. Data & Knowledge Engineering 68, 642–664 (2009)

    Article  Google Scholar 

  18. Gagné, D., Trudel, A.: A Formal Temporal Semantics for Microsoft Project based on Allen’s Interval Algebra. In: Abramowicz, W., Maciaszek, L.A., Kowalczyk, R., Speck, A. (eds.) Business Process, Services Computing and Intelligent Service Management, Leipzig, Germany, vol. 137, pp. 32–45 (2009)

    Google Scholar 

  19. Allen, J.F.: Maintaining Knowledge about Temporal Intervals. Communications of the ACM 26, 832–843 (1983)

    Article  Google Scholar 

  20. Förster, A., Engels, G., Schattkowsky, T., Straeten, R.v.D.: Verification of Business Process Quality Constraints Based on Visual Process Patterns. In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, Shanghai, China, pp. 197–208 (2007)

    Google Scholar 

  21. Marzolla, M., Mirandola, R.: Performance Prediction of Web Service Workflows. In: Overhage, S., Szyperski, C., Reussner, R., Stafford, J.A. (eds.) QoSA 2007. LNCS, vol. 4880, pp. 127–144. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  22. Rud, D., Kunz, M., Schmietendorf, A., Dumke, R.: Performance Analysis in WS-BPEL-Based Infrastructures. In: 23rd Annual UK Performance Engineering Workshop (UKPEW 2007), Edge Hill University, Ormskirk, Lancashire, UK, pp. 130–141 (2007)

    Google Scholar 

  23. Vanderfeesten, I., Reijers, H.A., Aalst, W.M.P.v.d.: Evaluating Workflow Process Designs using Cohesion and Coupling Metrics. Computers in Industry 59, 429–437 (2008)

    Article  Google Scholar 

  24. Chidamber, S.R., Kemerer, C.F.: A Metrics Suite for Object Oriented Design. IEEE Transactions on Software Engineering 20, 476–493 (1994)

    Article  Google Scholar 

  25. Reijers, H., Mendling, J.: Modularity in Process Models: Review and Effects. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 20–35. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  26. Cardoso, J., Mendling, J., Neumann, G., Reijers, H.A.: A Discourse on Complexity of Process Models (Survey Paper). In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 117–128. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  27. Recker, J., Mendling, J.: On the Translation between BPMN and BPEL: Conceptual Mismatch between Process Modelling Languages. In: Krogstie, J., Halpin, T.A., Proper, H.A. (eds.) 11th International Workshop on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD 2006), pp. 521–532. Namur University Press, Namur (2006)

    Google Scholar 

  28. Born, M., Brelage, C., Markovic, I., Weber, I.: Semantic Business Process Modeling: from Business Goals to Execution-Level Business Processes. Forschungszentrum Informatik, Karlsruhe (2008)

    Google Scholar 

  29. Markovic, I., Kowalkiewicz, M.: Linking Business Goals to Process Models in Semantic Business Process Modeling. In: 12th International IEEE Enterprise Distributed Object Computing Conference, 2008 (EDOC 2008), Munich, Germany, pp. 332–338 (2008)

    Google Scholar 

  30. Weidlich, M., Grosskopf, A., Lübke, D., Schneider, K., Knauss, E., Singer, L.: Verzahnung von Requirements Engineering und Geschäftsprozessdesign. 1. In: Workshops für Requirements Engineering und Business Prcess Management (REBPM 2009), Kaiserslautern, Deutschland (2009)

    Google Scholar 

  31. Vara, J.L.: Improving Requirements Analysis through Business Process Modelling: a Participative Approach. In: Fensel, D., Abramowicz, W. (eds.) 11th International Conference on Business Information Systems (BIS 2008), pp. 165–176. Springer, Heidelberg (2008)

    Google Scholar 

  32. White, S.A.: Using BPMN to Model a BPEL Process. BPTrends, 1–18 (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gehlert, A., Danylevych, O., Karastoyanova, D. (2010). From Requirements to Executable Processes: A Literature Study. In: Rinderle-Ma, S., Sadiq, S., Leymann, F. (eds) Business Process Management Workshops. BPM 2009. Lecture Notes in Business Information Processing, vol 43. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-12186-9_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-12186-9_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-12185-2

  • Online ISBN: 978-3-642-12186-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics