Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Leveraging Applications of Formal Methods

ISoLA 2018: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice pp 472–486Cite as

A Methodology for Combinatory Process Synthesis: Process Variability in Clinical Pathways

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 11247))

Abstract

Combinatory Process Synthesis (CPS) is a special case of software synthesis that can be used to manage variability by synthetizing target-specific processes from a repository of components. While conducted CPS research mainly addresses formal aspects of algorithm engineering, no structured methodology is available that enables the broader industrial application. This study addresses this gap and proposes a procedural model for CPS. The presented research bases on the Design Science Research principles. A case study in the healthcare sector shows the successful applicability of the elaborated procedure.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.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

References

  1. Bessai, J., Dudenhefner, A., Düdder, B., Martens, M., Rehof, J.: Combinatory process synthesis. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 266–281. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47166-2_19

    Chapter  Google Scholar 

  2. Peffers, K., Tuunanen, T., Rothenberger, M.A., Chatterjee, S.: A design science research methodology for information systems research. J. Manag. Inf. Syst. 24, 45–77 (2007)

    Article  Google Scholar 

  3. Busse, R.: Diagnosis Related Groups in Europe. Moving Towards Transparency, Efficiency and Quality in Hospitals. McGraw Hill Open University Press, Maidenhead (2011)

    Google Scholar 

  4. Sackett, D.L.: Evidence-based medicine. Semin. Perinatol. 21, 3–5 (1997)

    Article  Google Scholar 

  5. Reichert, M., Pryss, R.: Flexible support of healthcare processes. In: Combi, C., Pozzi, G., Veltri, P. (eds.) Process Modeling and Management for Healthcare, pp. 35–66. Taylor & Francis Group, London (2017)

    Chapter  Google Scholar 

  6. Rosa, M.L., van der Aalst, W.M.P., Dumas, M., Milani, F.P.: Business process variability modeling. A survey. ACM Comput. Surv. (CSUR) 50, 2 (2017)

    Article  Google Scholar 

  7. Yin, R.K.: Case Study Research: Design and Methods. Sage Publications, Beverley Hills (2008)

    Google Scholar 

  8. Lee, A.S., Baskerville, R.L.: Generalizing generalizability in information systems research. Inf. Syst. Res. 14, 221–243 + 315 (2003)

    Google Scholar 

  9. Broy, M.: From actions, transactions, and processes to services. In: Kordon, F., Moldt, D. (eds.) PETRI NETS 2016. LNCS, vol. 9698, pp. 13–19. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-39086-4_2

    Chapter  Google Scholar 

  10. Aguilar-Savén, R.S.: Business process modelling. Review and framework. Int. J. Prod. Econ. 90, 129–149 (2004)

    Article  Google Scholar 

  11. Kinsman, L., Rotter, T., James, E., Snow, P., Willis, J.: What is a clinical pathway? Development of a definition to inform the debate. BMC Med. 8, 31 (2010)

    Article  Google Scholar 

  12. Rotter, T., et al.: Clinical pathways: effects on professional practice, patient outcomes, length of stay and hospital costs. Cochrane Database Syst. Rev. CD006632 (2010)

    Google Scholar 

  13. ISO: Information technology – Object Management Group Business Process Model and Notation 35.020 Information technology (IT) in general. ISO/IEC 19510:2013 (2013)

    Google Scholar 

  14. Chinosi, M., Trombetta, A.: BPMN: an introduction to the standard. Comput. Stand. Interfaces 34, 124–134 (2012)

    Article  Google Scholar 

  15. Muehlen, M., Recker, J.: How much language is enough? Theoretical and practical use of the business process modeling notation. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 465–479. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-69534-9_35

    Chapter  Google Scholar 

  16. Aagesen, G., Krogstie, J.: BPMN 2.0 for modeling business processes. In: vom Brocke, J., Rosemann, M. (eds.) Handbook on Business Process Management 1. IHIS, pp. 219–250. Springer, Heidelberg (2015). https://doi.org/10.1007/978-3-642-45100-3_10

    Chapter  Google Scholar 

  17. Müller, R., Rogge-solti, A. (eds.): BPMN for healthcare processes. CEUR-WS.org (2011)

    Google Scholar 

  18. Braun, R., Schlieter, H., Burwitz, M., Esswein, W. (eds.): BPMN4CP: design and implementation of a BPMN extension for clinical pathways. In: 2014 IEEE International Conference on Bioinformatics and Biomedicine (BIBM) (2014)

    Google Scholar 

  19. Scheuerlein, H., et al.: New methods for clinical pathways-business process modeling notation (BPMN) and tangible business process modeling (t.BPM). Langenbeck’s Arch. Surg. 397, 755–761 (2012)

    Article  Google Scholar 

  20. Blaine, L., Gilham, L., Liu, J., Smith, D.R., Westfold, S.: Planware-domain-specific synthesis of high-performance schedulers. In: Proceedings of 13th IEEE International Conference on Automated Software Engineering, pp. 270–279 (1998)

    Google Scholar 

  21. Becker, M., Gilham, L., Smith, D.R., et al: Planware II: synthesis of schedulers for complex resource systems (2003)

    Google Scholar 

  22. Lamprecht, A.-L., Naujokat, S., Margaria, T., Steffen, B.: Synthesis-based loose programming. In: 2010 Seventh International Conference on the Quality of Information and Communications Technology (QUATIC), pp. 262–267 (2010)

    Google Scholar 

  23. Yu, J., Han, Y.-B., Han, J., Jin, Y., Falcarin, P., Morisio, M.: Synthesizing service composition models on the basis of temporal business rules. J. Comput. Sci. Technol. 23, 885–894 (2008)

    Article  Google Scholar 

  24. Grambow, G., Oberhauser, R., Reichert, M.: Semantically-driven workflow generation using declarative modeling for processes in software engineering. In: Proceedings of EDOCW 2011, pp. 164–173. IEEE Computer Society (2011)

    Google Scholar 

  25. Dadam, P., Reichert, M.: The ADEPT project: a decade of research and development for robust and flexible process support. Comput. Sci.-Res. Dev. 23, 81–97 (2009)

    Article  Google Scholar 

  26. Reichert, M., Dadam, P.: ADEPT flex—supporting dynamic changes of workflows without losing control. J. Intell. Inf. Syst. 10, 93–129 (1998)

    Article  Google Scholar 

  27. Roser, S., Lautenbacher, F., Bauer, B.: Generation of workflow code from DSMs. In: Proceedings of OOPSLA 2007 (2007)

    Google Scholar 

  28. Bessai, J., Dudenhefner, A., Düdder, B., Martens, M., Rehof, J.: Combinatory logic synthesizer. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8802, pp. 26–40. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-45234-9_3

    Chapter  Google Scholar 

  29. Curry, H.B.: Functionality in combinatory logic. Proc. Natl. Acad. Sci. 20, 584–590 (1934)

    Article  Google Scholar 

  30. Howard, W.A.: The formulae-as-types notion of construction. HB Curry Essays Comb. Log. Lambda Calc. Form. 44, 479–490 (1980)

    Google Scholar 

  31. Hevner, A.R., March, S.T., Park, J., Ram, S.: Design science in information systems research. MIS Q. Manag. Inf. Syst. 28, 75–105 (2004)

    Article  Google Scholar 

  32. Carlsson, S.A., Henningsson, S., Hrastinski, S., Keller, C.: Socio-technical IS design science research: developing design theory for IS integration management. Inf. Syst. e-Bus. Manag. 9, 109–131 (2011)

    Article  Google Scholar 

  33. Gutzwiller, T.A.: Das CC RIM-Referenzmodell für den Entwurf von betrieblichen, transaktionsorientierten Informationssystemen. Physica-Verlag HD, Heidelberg (2013)

    Google Scholar 

  34. Gerring, J.: What is a case study and what is it good for? APSR 98, 341–354 (2004)

    Article  Google Scholar 

  35. Eisenhardt, K.M., Graebner, M.E.: Theory building from cases: opportunities and challenges. Acad. Manag. J. 50, 25–32 (2007)

    Article  Google Scholar 

  36. Flyvbjerg, B.: Five misunderstandings about case-study research. Qual. Inq. 12, 219–245 (2006)

    Article  Google Scholar 

  37. Hallerbach, A., Bauer, T., Reichert, M.: Capturing variability in business process models: the Provop approach. J. Softw. Evol. Process. 22, 519–546 (2010)

    Article  Google Scholar 

  38. Kumar, A., Yao, W.: Design and management of flexible process variants using templates and rules. Comput. Ind. 63, 112–130 (2012)

    Article  Google Scholar 

  39. Hallerbach, A., Bauer, T., Reichert, M.: Managing process variants in the process lifecycle (2008)

    Google Scholar 

  40. Reuter, C.: Modellierung und dynamische Adaption klinischer Pfade auf Basis semantischer Prozessfragmente. Shaker, Aachen (2012)

    Google Scholar 

  41. Weber, B., Reichert, M., Mendling, J., Reijers, H.A.: Refactoring large process model repositories. Comput. Ind. 62, 467–486 (2011)

    Article  Google Scholar 

  42. van der Aalst, W.M.P., Ter Hofstede, A.H.M.: YAWL: yet another workflow language. Inf. Syst. 30, 245–275 (2005)

    Article  Google Scholar 

  43. Reichert, M., Rinderle, S., Kreher, U., Dadam, P.: Adaptive process management with ADEPT2. In: 2005 Proceedings of 21st International Conference on Data Engineering, ICDE 2005, pp. 1113–1114 (2005)

    Google Scholar 

Download references

Acknowledgment

The research project presented in this paper stems from the Center of Excellence for Logistics and IT (http://www.leistungszentrum-logistik-it.de/, last accessed: 04.09.2018) located in Dortmund.

Author information

Authors and Affiliations

  1. TU Dortmund University, August-Schmidt-Straße 4, 44227, Dortmund, Germany

    Tristan Schäfer, Frederik Möller & Jakob Rehof

  2. Fraunhofer ISST, Emil-Figge-Straße 91, 44227, Dortmund, Germany

    Anja Burmann, Yevgen Pikus, Norbert Weißenberg & Jakob Rehof

  3. Fraunhofer IML, Joseph-von-Fraunhofer-Straße 2-4, 44227, Dortmund, Germany

    Marcus Hintze

Authors
  1. Tristan Schäfer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Frederik Möller
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Anja Burmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Yevgen Pikus
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Norbert Weißenberg
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Marcus Hintze
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Jakob Rehof
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Tristan Schäfer .

Editor information

Editors and Affiliations

  1. University of Limerick, Limerick, Ireland

    Tiziana Margaria

  2. TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Schäfer, T. et al. (2018). A Methodology for Combinatory Process Synthesis: Process Variability in Clinical Pathways. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice. ISoLA 2018. Lecture Notes in Computer Science(), vol 11247. Springer, Cham. https://doi.org/10.1007/978-3-030-03427-6_35

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-03427-6_35

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-03426-9

  • Online ISBN: 978-3-030-03427-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation