Abstract
We present KTML, a Kotlin library for creating well-structured and type-safe HTML documents. KTML is entirely built within the Kotlin language set, highlighting Kotlin’s suitability through language design choices to support internal DSLs. Internal DSLs are fully embedded in an existing ecosystem and can take full advantage of the host language’s capabilities. Yet, they are designed for a single purpose, abstracting from otherwise cumbersome boilerplate code and other intricacies while simultaneously allowing the developer to use the tool stack they are familiar with. We exemplify KTML through the professional Tangle project, part of a conference management collection that generates different programme views during ongoing conferences.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Brandon, C., Margaria, T.: Low-code/no-code artificial intelligence platforms for the health informatics domain. Electron. Commun. EASST 82 (2023)
Bugayenko, Y.: Elegant Objects. CreateSpace Independent Publishing (2016)
Chaudhary, H.A.A., Margaria, T.: DSL-based interoperability and integration in the smart manufacturing digital thread (2024)
Doherty, A.J., Murphy, R.A., Schieweck, A., Clancy, S., Breathnach, C., Margaria, T.: CensusIRL: historical census data preparation with MDD support. In: 2022 IEEE International Conference on Big Data (Big Data), pp. 2507–2514. IEEE (2022)
Margaria, T., Schieweck, A.: The digital thread in industry 4.0. In: Ahrendt, W., Tapia Tarifa, S.L. (eds.) IFM 2019. LNCS, vol. 11918, pp. 3–24. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-34968-4_1
Margaria, T., Steffen, B.: Service-orientation: conquering complexity with XMDD. In: Hinchey, M., Coyle, L. (eds.) Conquering Complexity, pp. 217–236. Springer, London (2012). https://doi.org/10.1007/978-1-4471-2297-5_10
Naujokat, S., Lybecait, M., Kopetzki, D., Steffen, B.: Cinco: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. Int. J. Softw. Tools Technol. Transfer 20, 327–354 (2018)
Smyth, S.: Pragmatic action charts. In: Proceedings of the 22th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2024), Raleigh, NC, USA (2024, accepted)
Smyth, S., et al.: Executable documentation: test-first in action. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13702, pp. 135–156. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-19756-7_8
Smyth, S., Schulz-Rosengarten, A., von Hanxleden, R.: Guidance in model-based compilations. In: Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), Doctoral Symposium. Electronic Communications of the EASST, vol. 78. Limassol, Cyprus (2018)
Smyth, S., Schulz-Rosengarten, A., von Hanxleden, R.: Towards interactive compilation models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 246–260. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-03418-4_15
Tegeler, T., Boßelmann, S., Schürmann, J., Smyth, S., Teumert, S., Steffen, B.: Executable documentation: from documentation languages to purpose-specific languages. In: Margaria, T., Steffen, B. (eds.) ISoLA 2022. LNCS, vol. 13702, pp. 174–192. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-19756-7_10
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2025 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Smyth, S., Tegeler, T., Busch, D., Boßelmann, S. (2025). A Case-Study on Structured Modeling with Internal Domain-Specific Languages. In: Hinchey, M., Steffen, B. (eds) The Combined Power of Research, Education, and Dissemination. Lecture Notes in Computer Science, vol 15240. Springer, Cham. https://doi.org/10.1007/978-3-031-73887-6_10
Download citation
DOI: https://doi.org/10.1007/978-3-031-73887-6_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-73886-9
Online ISBN: 978-3-031-73887-6
eBook Packages: Computer ScienceComputer Science (R0)