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 pp 113–127Cite as

Guided Domain-Specific Tailoring of jABC4

  • Conference paper
  • First Online:

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 683))

Abstract

In this paper we present a new plugin for the Java Application Building Center 4 (jABC4) that supports domain-tailoring, i.e., standardizing the way how to prepare domain-specific development environments. The new and refined features bestride templates for activities, graphical process models, and projects as well as filter views hiding information depending on the expertise of the user. This enables to shield application experts (i.e., users on the business-level) from technical details. Our domain-tailoring approach consolidates and streamlines the process of domain preparation, making it less error-prone, easy to apply, and, finally, seamlessly usable for application experts. We show the impact of guided domain-tailoring by means of the concrete process modeling domain chainreaction, which has already been applied in several project weeks and workshops beside others for pupils in secondary school.

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

Notes

  1. 1.

    model artifacts are, e.g., activities, graph models and projects.

  2. 2.

    http://maven.apache.org.

  3. 3.

    http://hope.scce.info/chainreaction.

References

  1. Activiti Team. Activiti BPM Platform (2012). http://www.activiti.org/

  2. Adomavicius, G., Tuzhilin, A.: Toward the next generation of recommender systems: a survey of the state-of-the-art and possible extensions. IEEE Trans. Knowl. Data Eng. 17(6), 734–749 (2005)

    Article  Google Scholar 

  3. AristaFlow BPM. Aristaflow website, May 2015

    Google Scholar 

  4. Dadam, P., et al.: From ADEPT to AristaFlow BPM suite: a research vision has become reality. In: Rinderle-Ma, S., Sadiq, S., Leymann, F. (eds.) BPM 2009. LNBIP, vol. 43, pp. 529–531. Springer, Heidelberg (2010). doi:10.1007/978-3-642-12186-9_50

    Chapter  Google Scholar 

  5. Doedt, M.: Ph.D. thesis

    Google Scholar 

  6. Doedt, M., Steffen, B.: An evaluation of service integration approaches of business process management systems. In: Proceedings of the 35th Annual IEEE Software Engineering Workshop (SEW 2012). IEEE (2012)

    Google Scholar 

  7. El Emam, K., Koru, A.: A replicated survey of IT software project failures. Softw. IEEE 25(5), 84–90 (2008)

    Article  Google Scholar 

  8. Fields, D.K., Saunders, S.: IntelliJ IDEA in Action. Dreamtech Press, New Delhi (2006)

    Google Scholar 

  9. Hörmann, M., Margaria, T., Mender, T., Nagel, R., Steffen, B., Trinh, H.: The jABC approach to rigorous collaborative development of SCM applications. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol. 17, pp. 724–737. Springer, Heidelberg (2008). doi:10.1007/978-3-540-88479-8_52

    Chapter  Google Scholar 

  10. Hrsch, W.L., Lopes, C.V.: Separation of concerns. Technical report NU-CCS-95-03, College of Computer Science, Northeastern University, Boston, Massachusetts (1995)

    Google Scholar 

  11. Jrges, S.: Construction and Evolution of Code Generators. LNCS, vol. 7747. Springer, Heidelberg (2013)

    Book  Google Scholar 

  12. Jörges, S., Steffen, B., Margaria, T.: Building code generators with Genesys: a tutorial introduction. In: Fernandes, J.M., Lämmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2009. LNCS, vol. 6491, pp. 364–385. Springer, Heidelberg (2011). doi:10.1007/978-3-642-18023-1_10

    Chapter  Google Scholar 

  13. Lamprecht, A.-L., Naujokat, S., Margaria, T., Steffen, B.: Semantics-based composition of EMBOSS services. J. Biomed. Semant. 2(suppl 1), S5 (2011)

    Article  Google Scholar 

  14. Margaria, T., Kubczak, C., Steffen, B., Bio-jETI: a service integration, design, and provisioning platform for orchestrated bioinformatics processes. BMC Bioinform. 9(S-4) (2008)

    Google Scholar 

  15. Margaria, T., Nagel, R., Steffen, B.: jETI: a tool for remote tool integration. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 557–562. Springer, Heidelberg (2005). doi:10.1007/978-3-540-31980-1_38

    Chapter  Google Scholar 

  16. Margaria, T., Steffen, B., Modelling, B.P.: Business process modelling in the jABC: the one-thing-approach. In: Cardoso, J., van der Aalst, W. (eds.) Handbook of Research on Business Process Modeling. IGI Global, Hershey (2009)

    Google Scholar 

  17. Margaria, T., Steffen, B.: Service-orientation: conquering complexity with XMDD. In: Hinchey, M., Koyle, L. (eds.) Conquering Complexity, pp. 217–236. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  18. Naujokat, S., Lamprecht, A.-L., Steffen, B.: Loose programming with PROPHETS. In: Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 94–98. Springer, Heidelberg (2012). doi:10.1007/978-3-642-28872-2_7

    Chapter  Google Scholar 

  19. Naujokat, S., Neubauer, J., Lamprecht, A.-L., Steffen, B., Jrges, S., Margaria, T.: Simplicity-first model-based plug-in development. Softw.: Prac. Exp. (2013). John Wiley & Sons, Ltd.

    Google Scholar 

  20. Neubauer, J.: Higher-order process engineering. Ph.D. thesis, Technische Universität Dortmund (2014)

    Google Scholar 

  21. Neubauer, J., Margaria, T., Steffen, B.: Design for verifiability: the OCS case study. In: Formal Methods for Industrial Critical Systems: A Survey of Applications, chap. 8, pp. 153–178. Wiley-IEEE Computer Society Press, March 2013

    Google Scholar 

  22. Neubauer, J., Steffen, B.: Plug-and-play higher-order process integration. IEEE Comput. 46(11), 56–62 (2013)

    Article  Google Scholar 

  23. Neubauer, J., Steffen, B., Margaria, T.: Higher-order process modeling: product-lining, variability modeling and beyond. Electron. Proc. Theor. Comput. Sci. 129, 259–283 (2013)

    Article  Google Scholar 

  24. Niese, O., Steffen, B., Margaria, T., Hagerer, A., Brune, G., Ide, H.-D.: Library-based design and consistency checking of system-level industrial test cases. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol. 2029, pp. 233–248. Springer, Heidelberg (2001). doi:10.1007/3-540-45314-8_17

    Chapter  Google Scholar 

  25. RedHat Software - JBoss. jBPM Website (2012). http://www.jboss.org/jbpm

  26. Steffen, B., Margaria, T., Nagel, R., Jörges, S., Kubczak, C.: Model-driven development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 92–108. Springer, Heidelberg (2007). doi:10.1007/978-3-540-70889-6_7

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Chair for Programming Systems, Technical University Dortmund, Otto-Hahn-Str. 14, 44227, Dortmund, Germany

    Dennis Kühn & Johannes Neubauer

Authors
  1. Dennis Kühn
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Johannes Neubauer
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Dennis Kühn or Johannes Neubauer .

Editor information

Editors and Affiliations

  1. Lero - Irish Software Research Center, University of Limerick, Limerick, Ireland

    Anna-Lena Lamprecht

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this paper

Cite this paper

Kühn, D., Neubauer, J. (2016). Guided Domain-Specific Tailoring of jABC4. In: Lamprecht, AL. (eds) Leveraging Applications of Formal Methods, Verification, and Validation . ISoLA 2016. Communications in Computer and Information Science, vol 683. Springer, Cham. https://doi.org/10.1007/978-3-319-51641-7_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-51641-7_7

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-51640-0

  • Online ISBN: 978-3-319-51641-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation