Abstract
This paper investigates the use of modeling conventions for enterprise models. With the help of Archi, a tool supporting the ArchiMate standard, we have enhanced the enterprise modeling process with semantic modeling conventions that support assessment of enterprise models during their design. For enterprise architects who want more from ArchiMate than just drawing pictures, this paper proposes to use a language and a tool, Ampersand, to impose and verify modeling conventions in ArchiMate models. Unlike informal languages, Ampersand allows enterprise architects to signal where an ArchiMate model violates their own modeling conventions, so they can fix the model accordingly. It allows enterprise architects to enhance their ArchiMate models with semantic modeling conventions that are verified by Ampersand. This paper contains a case study that demonstrates the approach. The authors also share their experience with modeling with semantic conventions.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Babkin, E.A., Ponomarev, N.O.: Analysis of the consistency of enterprise architecture models using formal verification methods. Business Inf. 41(3), 30–40 (2017)
Beauvoir, P., Sarrodie, J.: Archi user guide. The Open Group (2013)
Blanco-Lainé, G., Sottet, J.-S., Dupuy-Chessa, S.: Using an enterprise architecture model for GDPR compliance principles. In: Gordijn, J., Guédria, W., Proper, H.A. (eds.) PoEM 2019. LNBIP, vol. 369, pp. 199–214. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-35151-9_13
Filet, P., van de Wetering, R., Joosten, S.: Enterprise architecture alignment. researchgate.net. Department of Information Sciences, Open University of the Netherland (2019)
Jackson, D.: Software abstractions: logic, language, and analysis. The MIT Press (2006)
Joosten, S.: Relation Algebra as programming language using the Ampersand compiler. J. Logical Algebr. Methods Programm. 100, 113–129 (2018). https://doi.org/10.1016/j.jlamp.2018.04.002
Joosten, S., Roubtsova, E., Haddouchi, E.M.: Constraint formalization for automated assessment of enterprise models. In: Proceedings of the 24th International Conference on Enterprise Information Systems - Volume 2: ICEIS, pp. 430–441. SciTePress (2022)
Korman, M., Lagerström, R., Ekstedt, M.: Modeling enterprise authorization: a unified metamodel and initial validation. Complex Syst. Inf. Model. Quart. 7, 1–24 (2016)
Lankhorst, M.M., Proper, H.A., Jonkers, H.: The architecture of the Archimate language. In: Halpin, T., et al. (eds.) BPMDS/EMMSAD -2009. LNBIP, vol. 29, pp. 367–380. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-01862-6_30
Lankhorst, M.M., Proper, H.A., Jonkers, H.: The anatomy of the ArchiMate language. Int. J. Inf. Syst. Model. Design (IJISMD) 1(1), 1–32 (2010)
Mayer, N., Aubert, J., Grandry, E., Feltus, C., Goettelmann, E., Wieringa, R.: An integrated conceptual model for information system security risk management supported by enterprise architecture management. Softw. Syst. Model. 18(3), 2285–2312 (2019)
Nakamura, Y.: Expressive power and succinctness of the positive calculus of relations. In: Fahrenberg, U., Jipsen, P., Winter, M. (eds.) RAMiCS 2020. LNCS, vol. 12062, pp. 204–220. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-43520-2_13
Roubtsova, E., Bosua, R.: Privacy as a service (PraaS): a conceptual model of GDPR to construct privacy services. In: Shishkov, B. (ed.) BMSD 2021. LNBIP, vol. 422, pp. 170–189. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-79976-2_10
Stef Joosten: AmpersandTarski GitBook project. Documentation of Ampersand. [GitHub]. https://ampersandtarski.gitbook.io/documentation/. Accessed 1 Oct 2022
Stef Joosten: HostFamilies. [GitHub]. https://github.com/AmpersandTarski/ampersand-models/tree/master/ArchiChecker/ResearchData/HostFamilies.archimate. Accessed 1 Oct 2022
Stef Joosten: HostFamilies. Constraints. [GitHub]. https://github.com/AmpersandTarski/ampersand-models/tree/master/ArchiChecker/ResearchData/hostfamilies.adl. Accessed 1 Oct 2022
Tarski, A., Givant, S.R.: A formalization of set theory without variables, vol. 41. American Mathematical Soc. (1988)
Tepandi, J., et al.: Towards a cross-border reference architecture for the once-only principle in Europe: an enterprise modelling approach. In: Gordijn, J., Guédria, W., Proper, H.A. (eds.) PoEM 2019. LNBIP, vol. 369, pp. 103–117. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-35151-9_7
Berghammer, R., Neumann, F.: RelView – an OBDD-based computer algebra system for relations. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2005. LNCS, vol. 3718, pp. 40–51. Springer, Heidelberg (2005). https://doi.org/10.1007/11555964_4
The Open Group: Archimate 3.1 Specification. https://pubs.opengroup.org/architecture/archimate3-doc/. Accessed 1 Oct 2022
Zhi, Q., Yamamoto, S., Morisaki, S.: IMSA-Intra Model Security Assurance. J. Internet Serv. Inf. Secur. 8(2), 18–32 (2018)
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Joosten, S., Roubtsova, E. (2023). Enterprise Modeling with Conventions. In: Shishkov, B. (eds) Business Modeling and Software Design. BMSD 2023. Lecture Notes in Business Information Processing, vol 483. Springer, Cham. https://doi.org/10.1007/978-3-031-36757-1_4
Download citation
DOI: https://doi.org/10.1007/978-3-031-36757-1_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-36756-4
Online ISBN: 978-3-031-36757-1
eBook Packages: Computer ScienceComputer Science (R0)