Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Leveraging Applications of Formal Methods

ISoLA 2016: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques pp 266–281Cite as

Combinatory Process Synthesis

  • Conference paper
  • First Online:

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

Abstract

We report on a type-theoretic method for functional synthesis of processes from repositories of components. Our method relies on the existing framework for composition synthesis based on combinatory logic, (CL)S. Simple types for BPMN 2.0 components and a taxonomy of domain specific concepts are used to assign types to BPMN 2.0 fragments and functional fragment constructors. Both serve as input for the automatic creation of meaningful processes. Staging synthesis into two levels provides a separation of concerns between the easy task of extracting fragments from existing processes and the more sophisticated task of deducing functional fragment transformations.

We study the applicability of the described approach by synthesizing control processes for LEGO® Mindstorms® NXT robots deployed on the Activiti platform. We evaluate experimental results analyzing synthesized processes regarding correctness, variability and the time consumed for their creation by the (CL)S framework. Additionally, the steps necessary to target a different application domain are described.

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   84.99
Price excludes VAT (USA)
  • Available as EPUB and 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

Notes

  1. 1.

    http://www-seal.cs.tu-dortmund.de/seal/downloads/research/ISoLA16.zip.

  2. 2.

    Experiments conducted on a 2.7GHz Intel® Core™ i7-4800MQ CPU.

References

  1. Apel, S., Batory, D., Kästner, C., Saake, G.: Feature-Oriented Software Product Lines. Springer, Heidelberg (2013)

    Book  Google Scholar 

  2. Autili, M., Di Ruscio, D., Di Salle, A., Inverardi, P., Tivoli, M.: A model-based synthesis process for choreography realizability enforcement. In: Cortellessa, V., Varró, D. (eds.) FASE 2013 (ETAPS 2013). LNCS, vol. 7793, pp. 37–52. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  3. Berg, K., Bishop, J., Muthig, D.: Tracing software product line variability: from problem to solution space. In: SAICSIT 2005, pp. 182–191 (2005)

    Google Scholar 

  4. Bessai, J., Dudenhefner, A., Düdder, B., Martens, M., Rehof, J.: Combinatory logic synthesizer. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol. 8802, pp. 26–40. Springer, Heidelberg (2014)

    Google Scholar 

  5. Bessai, J., Dudenhefner, A., Duedder, B., De’Liguoro, U., Chen, T.C., Rehof, J.: Mixin composition synthesis based on intersection types. In: TLCA 2015, vol. 38, pp. 76–91 (2015)

    Google Scholar 

  6. Bessai, J., Düdder, B., Heineman, G.T. Rehof, J.: Combinatory synthesis of classes using feature grammars. In: FACS 2015, pp. 123–140 (2016)

    Google Scholar 

  7. Chun, S.A., Atluri, V., Adam, N.R.: Domain knowledge-based automatic workflow generation. In: Hameurlain, A., Cicchetti, R., Traunmüller, R. (eds.) DEXA 2002. LNCS, vol. 2453, pp. 81–92. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  8. Clarke, D., Helvensteijn, M., Schaefer, I.: Abstract delta modeling. In: GPCE 2010, pp. 13–22 (2010)

    Google Scholar 

  9. Czarnecki, K., Ulrich, E.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Reading (2000)

    Google Scholar 

  10. Dadam, P., Manfred, R.: The ADEPT project: a decade of research and development for robust and flexible process support – challenges and achievements. Comput. Sci.- R&D 23(2), 81–97 (2009)

    Google Scholar 

  11. Davies, R., Pfenning, F.: A modal analysis of staged computation. J. ACM 48(3), 555–604 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  12. Düdder, B., Martens, M., Rehof, J.: Staged composition synthesis. In: Shao, Z. (ed.) ESOP 2014 (ETAPS). LNCS, vol. 8410, pp. 67–86. Springer, Heidelberg (2014)

    Chapter  Google Scholar 

  13. Düdder, B., Martens, M., Rehof, J., Urzyczyn, P.: Bounded combinatory logic. In: CSL 2012. LIPIcs, vol. 16, pp. 243–258 (2012)

    Google Scholar 

  14. Eichberg, M., Klose, K., Mitschke, R., Mezini, M.: Component composition using feature models. In: Grunske, L., Reussner, R., Plasil, F. (eds.) CBSE 2010. LNCS, vol. 6092, pp. 200–215. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  15. Fernandes, A., Ciarlini, A.E.M., Furtado, A.L., Hinchey, M.G., Casanova, M.A., Breitman, K.K.: Adding flexibility to workflows through incremental planning. ISSE 3(4), 291–302 (2007)

    Google Scholar 

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

    Google Scholar 

  17. Jörges, S., Lamprecht, A.L., Margaria, T., Schaefer, I., Steffen, B.: A constraint-based variability modeling framework. STTT 14(5), 511–530 (2012)

    Article  Google Scholar 

  18. Lamprecht, A., Naujokat, S., Margaria, T., Steffen, B.: Synthesis-based loose programming. In: QUATIC 2010, pp. 262–267 (2010)

    Google Scholar 

  19. Neubauer, J., Frohme, M., Steffen, B., Margaria, T.: Prototype-driven development of web applications with DyWA. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part I. LNCS, vol. 8802, pp. 56–72. Springer, Heidelberg (2014)

    Google Scholar 

  20. Pohl, K., Böckle, G., van Der Linden, F.J.: Software Product Line Engineering - Foundations, Principles, and Techniques. Springer, Heidelberg (2005)

    Book  MATH  Google Scholar 

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

    Google Scholar 

  22. Schaefer, I., Rabiser, R., Clarke, D., Bettini, L., Benavides, D., Botterweck, G., Pathak, A., Trujillo, S., Villela, K.: Software diversity: state of the art and perspectives. STTT 14(5), 477–495 (2012)

    Article  Google Scholar 

  23. Schmid, K., Rabiser, R., Grünbacher, P.: A comparison of decision modeling approaches in product lines. In: VaMoS 2011, pp. 119–126 (2011)

    Google Scholar 

  24. Steffen, B., Lamprecht, A., Margaria, T.: User-level synthesis: treating product lines as systems of constraints. In: SPLC 2015, pp. 427–431 (2015)

    Google Scholar 

  25. Steffen, B., Margaria, T., von der Beeck, M.: Automatic synthesis of linear process models from temporal constraints: an incremental approach. In: AAS 1997 (1997)

    Google Scholar 

  26. Yang, B., Bundy, A., Smaill, A., Dixon, L.: Deductive synthesis of workflows for e-Science. In: CCGrid 2005, pp. 168–175 (2005)

    Google Scholar 

  27. Zhang, H., Horvitz, E., Parkes, D.C.: Automated workflow synthesis. In: AI 2013 (2013)

    Google Scholar 

Download references

Acknowledgments

The authors would like to thank Anna Vasileva and Zani Sarkisyan for spending a lot of time building and experimenting with the NXTs.

Author information

Authors and Affiliations

  1. Technical University of Dortmund, Dortmund, Germany

    Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens & Jakob Rehof

Authors
  1. Jan Bessai
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andrej Dudenhefner
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Boris Düdder
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Moritz Martens
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Jakob Rehof
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jan Bessai .

Editor information

Editors and Affiliations

  1. Lero, Limerick, Ireland

    Tiziana Margaria

  2. TU Dortmund, Dortmund, Germany

    Bernhard Steffen

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this paper

Cite this paper

Bessai, J., Dudenhefner, A., Düdder, B., Martens, M., Rehof, J. (2016). Combinatory Process Synthesis. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. ISoLA 2016. Lecture Notes in Computer Science(), vol 9952. Springer, Cham. https://doi.org/10.1007/978-3-319-47166-2_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-47166-2_19

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-47165-5

  • Online ISBN: 978-3-319-47166-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation