Skip to content

Model-Driven Engineering for FHIR Testing: Experiences from Australia's Sparked Accelerator

Oct 2026 · Proceedings of the ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems · 0 citations · 2 references

Abstract

Fast Healthcare Interoperability Resources (FHIR) is a rapidly emerging and inherently model-driven technology in medical informatics. Its complexity makes it a prime candidate for Model-Driven Engineering (MDE). This paper reports on our experience applying progressively richer MDE techniques to FHIR testing within Australia’s Sparked FHIR Accelerator program. We trace a growth story through three stages: an initial FHIR Mapping Language (FML) tool that solved structural transformation from tabular inputs but proved verbose and hard to maintain; a second-generation Epsilon-based approach with a custom FHIR EMC connector that resolved maintainability through model abstraction but produces structurally rigid test data; and an emerging hybrid direction combining MDE with Large Language Models to address the remaining variability gap. Each stage solved the preceding limitation while revealing a new one. We detail the Epsilon EMC connector, model-driven test data generation for AU Core, and stateful protocol testing for AU eRequesting using generated FHIR TestScript resources executed by FHIR Frog, an open-source TestScript engine. The approach has been deployed at two national connectathons and validated across 17 AU Core resource types and the complete eRequesting lifecycle.

View source

Similar papers

#small language model Preprint Aug 2026

HEPToolBench 1.2: Testing How Reliably Language Models Can Drive Particle Physics Software

HEPToolBench is introduced, a benchmark of 28 collider-simulation tasks scored by deterministic, task-specific scorers, plus a three-task structured-debugging extension, and moving syntax generation into deterministic software can substantially improve reliability for both small local and frontier models.

Aadarsh Singh, Sudhir Vempati · 1 citation
#large language models Book Open access Oct 2026

From Unfinished to Done: Bridging the MDE Implementation Gap with Constrained LLMs

Model-driven engineering (MDE) excels at ensuring architectural consistency and managing complexity, yet extending generated code skeletons with project-specific business logic often remains a time-consuming manual task. Conversely, large language models (LLMs) offer immense flexibility in coding but may produce vibe-c...

J. C. Kirchhof, Lukas Netz, Dennis Mertens et al. · 0 citations
Preprint Sep 2026

LLM-enabled Behavior Driven Development Workflow for Formally Verified Hardware Designs

This work proposes an integrated view on the use of LLMs for EDA and establishes an LLM-enabled behavior driven hardware development workflow, introducing and defining Formal Verification Gherkin Scenarios (FV Gherkin Scenarios), unlocking CNL specifications as the foundation for formally verified hardware designs via...

Luca Müller, Qian Liu, Rolf Drechsler · 0 citations
Preprint Sep 2026

Is there a future for models in the LLM era?

In an era where software development is deeply tied with Large Language Models, does Model Driven Engineering (MDE) still make sense? This raises the question of the extent to which MDE can be successfully combined with an LLM approach to address the downsides of each approach separately. In this paper, we try to answe...

Marco Calamo, Massimo Mecella, Monique Snoeck · 0 citations
Open access Sep 2026

From Formal Specifications to Simulations: Generating Executable Hardware Models for Early Validation

Formal specification techniques have been introduced to address the ambiguities inherent in natural-language hardware specifications. One such approach is the Universal Specification Format (USF), which provides a machine-readable, formal reference for Register-Transfer Level (RTL) verification. However, verifying agai...

Robert Kunzelmann, Raphael Kunz, Stephanie Ecker et al. · 0 citations
#artificial intelligence Preprint Sep 2026

PerfReasoning: How Well Do LLMs Reason on Hardware Performance?

PerfReasoning is introduced, a benchmark that evaluates LLMs both as direct performance reasoners and as generators of analytical performance-model code, exposing the gap between plausible architectural reasoning and reliable performance-model construction.

Da Zhao, K. Sankaralingam, Christos Kozyrakis et al. · 0 citations

Related blog posts

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.