Skip to main content

A Case-Study on Structured Modeling with Internal Domain-Specific Languages

  • Chapter
  • First Online:
The Combined Power of Research, Education, and Dissemination

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 15240))

  • 66 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

Notes

  1. 1.

    https://getbootstrap.com/docs/4.6/components/jumbotron.

  2. 2.

    https://aisola.org.

  3. 3.

    https://getbootstrap.com.

  4. 4.

    https://github.com/Kotlin/kotlinx.html.

  5. 5.

    https://svelte.dev.

  6. 6.

    https://elm-lang.org.

  7. 7.

    https://react.dev/learn/writing-markup-with-jsx.

  8. 8.

    https://gitlab.com/MazeChaZer/soundless.

References

  1. Brandon, C., Margaria, T.: Low-code/no-code artificial intelligence platforms for the health informatics domain. Electron. Commun. EASST 82 (2023)

    Google Scholar 

  2. Bugayenko, Y.: Elegant Objects. CreateSpace Independent Publishing (2016)

    Google Scholar 

  3. Chaudhary, H.A.A., Margaria, T.: DSL-based interoperability and integration in the smart manufacturing digital thread (2024)

    Google Scholar 

  4. 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)

    Google Scholar 

  5. 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

    Chapter  Google Scholar 

  6. 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

    Chapter  Google Scholar 

  7. 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)

    Article  Google Scholar 

  8. 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)

    Google Scholar 

  9. 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

    Chapter  Google Scholar 

  10. 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)

    Google Scholar 

  11. 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

    Chapter  Google Scholar 

  12. 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

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Steven Smyth .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2025 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics