Axini
Back to customer stories
TKP Pensioen logo

TKP Pensioen: Ready for the Future Pensions Act

How TKP manages the complex WTP transition with unambiguous specifications and automated testing

The challenge

The largest transition in decades

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.

The solution

Formal modeling with the Axini Modeling Platform

TKP chose the Axini Modeling Platform to formally model WTP schemes. The result: an unambiguous truth that prevents miscommunication and ensures fast, automated validation.

100% unambiguous specifications

without room for interpretation

Fully automated

testing with every delivery

Continuous validation

keeping pace with supplier

Own team

fully trained and operational

Max Pieters
"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

Approach

How TKP uses the Axini Modeling Platform

1

Unambiguous communication with the supplier

TKP works iteratively with their administration system supplier. The formal models in AMP form the shared language - no vague descriptions, but clear, testable specifications.

  • Zero ambiguity in what needs to be built
  • Faster alignment between TKP and supplier
  • Less back-and-forth about interpretation
  • Direct validation of deliveries
2

Central management of specifications and calculation rules

All WTP specifications and calculation rules are housed in one place. This creates a single source of truth for the entire transition process.

  • Full control over the regulations
  • Maximum clarity
  • Easy manageability
  • Quick adjustments possible
3

Automated testing from day one

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.

  • Continuous verification of correctness
  • Early detection of deviations
  • Fast feedback loops
  • Risk reduction in the transition process
4

Minimum keeping pace with development

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.

  • The WTP deadline doesn't wait
  • Migrations require certainty
  • No room for late discoveries
  • Continuous alignment with all stakeholders
5

Reporting for management and supervisors

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.

  • Management gets insight into progress and risks
  • Supervisors can verify compliance
  • Audit trails document all test steps
  • Traceability from specification to test result

Ownership in own hands

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.

Direct control over the process
Fast response to changes
Knowledge stays in the organization
Optimal link between business and systems
Why this works

The right approach for WTP transition

Speed

Automated testing speeds up the entire process

Certainty

Formal models eliminate interpretation errors

Control

Central specifications, full overview

Collaboration

Unambiguous language between all parties

Future-proof

Models remain valuable after go-live

From specification to production

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.

Is your organization also facing a complex transition?

Discover how the Axini Modeling Platform can help - contact us.