Panel: Integrating Legend, Bosque, and Morphir For Open Reg Tech through FINOS
summary
Open-source Legend models author business logic in Pure, an automated step generates Morphir IR JSON from Pure so a Morpher visualizer displays every logical path; a demo shows changing inputs to trace outcomes live. Bosque converts that IR into formulas and uses Z3 to prove no divide‑by‑zero (or report it), surfacing exact source lines. The pipeline is implemented as working integrations in FINOS repos, aimed at compile‑time feedback, model-to-IR transformations, and formal assurance rather than manual code reviews.
AI-written summary · about
chapters (7)
- 0:00Start
- 1:53Stephen Goldbaum
- 2:56Mark Maron
- 7:16Data Transformation
- 9:28Why Would We Want To Share Business Logic
- 12:15The Bosque Language Project
- 21:38Creating the Functional Legend
related talks
22mMorphir: A Single Language for Business and Technology
31mHigh Assurance Software for Financial Regulation and Business Platforms
38mAgile and Dependable Service Development with Bosque and Morphir
30mExploring Open Reg Tech with the LCR
33mMorphir Integration with Scala
26mBreaking New Ground in RegTech Through Open Source TechSprint Innovation
26mPanel Discussion: Collaborating on a Model and...
36mAn Open-sourced Solution to Data Governance? How Legend May Be t...