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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
model artifacts are, e.g., activities, graph models and projects.
- 2.
- 3.
References
Activiti Team. Activiti BPM Platform (2012). http://www.activiti.org/
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)
AristaFlow BPM. Aristaflow website, May 2015
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
Doedt, M.: Ph.D. thesis
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)
El Emam, K., Koru, A.: A replicated survey of IT software project failures. Softw. IEEE 25(5), 84–90 (2008)
Fields, D.K., Saunders, S.: IntelliJ IDEA in Action. Dreamtech Press, New Delhi (2006)
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
Hrsch, W.L., Lopes, C.V.: Separation of concerns. Technical report NU-CCS-95-03, College of Computer Science, Northeastern University, Boston, Massachusetts (1995)
Jrges, S.: Construction and Evolution of Code Generators. LNCS, vol. 7747. Springer, Heidelberg (2013)
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
Lamprecht, A.-L., Naujokat, S., Margaria, T., Steffen, B.: Semantics-based composition of EMBOSS services. J. Biomed. Semant. 2(suppl 1), S5 (2011)
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)
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
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)
Margaria, T., Steffen, B.: Service-orientation: conquering complexity with XMDD. In: Hinchey, M., Koyle, L. (eds.) Conquering Complexity, pp. 217–236. Springer, Heidelberg (2012)
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
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.
Neubauer, J.: Higher-order process engineering. Ph.D. thesis, Technische Universität Dortmund (2014)
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
Neubauer, J., Steffen, B.: Plug-and-play higher-order process integration. IEEE Comput. 46(11), 56–62 (2013)
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)
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
RedHat Software - JBoss. jBPM Website (2012). http://www.jboss.org/jbpm
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
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights 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)