Agile and Dependable Service Development with Bosque and Morphir
summary
Bosque provides executable types with pre/postconditions and converts them to first-order logic so a solver produces solver-generated mocks and targeted witness inputs for fuzzing; Morphir compiles a pure-logic IR to runtime targets (Scala, JS, SQL), generates OpenAPI and persistence, and wires logging and APM. The system formalizes version changes as MBEF versioning (extension, fix, bugfix) and the checker finds a real div-by-zero witness in a float-time client when wind min equals max after a spec change.
AI-written summary · about
chapters (16)
- 0:00Intro
- 0:28Writing microservices should be easy
- 1:55Automate Management & Reliability
- 3:10National Weather Service Inspired Forecast
- 4:39NWS Inspired Forecast (Bosque)
- 7:34Forecast - DataType
- 8:10Checking Implementations
- 9:20Testing and Service Mocking
- 10:44Bosque Mock Generator
- 13:55M.B.E.F Versioning
- 16:58Provider/Consumer Validation
- 17:55Forecast Clients
- 18:34Forecast - Bug
- 23:24IR Design For Reasoning
- 25:19How this Works (Checker)
- 28:23Calculator Check
related talks
32mPanel: Integrating Legend, Bosque, and Morphir For Open Reg Tech through FINOS
31mHigh Assurance Software for Financial Regulation and Business Platforms
22mMorphir: A Single Language for Business and Technology
09mInterview of Julien Topcu and Josian Chevalier
28mWhat You See Is What It Does: A Structural Pattern for Legible Software
50mSpring for the architecturally curious developer
01h 06mOn-The-Fly Verification via Incremental, Interactive Abstract Interpretation wi...
57mA Journey With MPS in FinTech: One Year Later