

How TKP manages the complex WTP transition with unambiguous specifications and automated testing
The introduction of the Future Pensions Act (WTP) means the largest transition in decades for pension funds. For TKP Pensioen it was crucial to correctly specify the new schemes, communicate clearly with their system supplier and test on time - all under high time pressure.
TKP chose the Axini Modeling Platform to formally model WTP schemes. The result: an unambiguous truth that prevents miscommunication and ensures fast, automated validation.
without room for interpretation
testing with every delivery
keeping pace with supplier
fully trained and operational

"Zodra we een nieuwe versie van Plexus krijgen, testen we deze met een druk op de knop helemaal door. We kunnen zo direct feedback geven en weten op elk moment waar we staan."
Max Pieters
TKP Pensioen
TKP works iteratively with their administration system supplier. The formal models in AMP form the shared language - no vague descriptions, but clear, testable specifications.
All WTP specifications and calculation rules are housed in one place. This creates a single source of truth for the entire transition process.
With every delivery from the supplier, TKP immediately runs automated tests, including regression. The model is updated in real-time, after which new adjustments are immediately validated.
With this approach, TKP always stays at least in sync with deliveries. There is never a situation where TKP falls behind or is surprised by unexpected implementations.
AMP generates detailed test reports that demonstrably show the correctness of the WTP implementation. These reports provide full transparency about what was tested and what results were achieved.
TKP's strategy is clear: the domain experts who know exactly what needs to happen, make the models themselves. No intermediaries, no translation step, but direct translation of knowledge into testable specifications.
The TKP team is an enthusiastic team working on modeling the WTP schemes of funds and ready for each supplier release to test automatically.
Automated testing speeds up the entire process
Formal models eliminate interpretation errors
Central specifications, full overview
Unambiguous language between all parties
Models remain valuable after go-live
With the Axini Modeling Platform, TKP has a robust approach to the WTP transition. From the first conversation with the supplier to the final migration: the platform ensures clarity, speed and quality in every phase.
Discover how the Axini Modeling Platform can help - contact us.