Test the language
against real workflows.
Two demonstrations put S++ under different kinds of pressure: an end-to-end commerce journey and deposit transactions reconstructed from a banking legacy system.
A complete customer journey
The Petstore demonstration spans customer, product, inventory, and shop domains. It covers buyer registration, catalogue browsing, carts, order placement, payment, shipment, delivery, cancellation, return, and reservation. APP definitions can deploy the domains together, while the scenes keep their business participants and transaction boundaries explicit.
What it tests
- Entities playing domain roles
- Checks, calculations, and quantum updates
- Explicit transaction and failure flows
- Role facts retained as order-time snapshots
Read the flow
Start at the payment scene: a buyer, merchant, order, and payment agreement participate. The scene checks eligibility before the bounded funds transfer and records the paid order and receipt.
Understand the language model →Account opening and cash deposit
The deposit demonstration studies selected transactions from an existing COBOL banking system. It models account opening and cash deposit alongside ledger postings, overdraft repayment allocation, and reversal behavior. The goal is to test whether the business rules can be made explicit while generated Java handles the chosen implementation.
This is a focused conversion exercise, not a claim that the complete banking application has been migrated.
What it tests
- Explicit agreement and participant roles
- Quantum updates for financial amounts
- Transaction boundaries and reverse operations
- Comparison with legacy business branches
Why it matters
Banking workflows reveal where a declarative business model needs precise rules for ordering, rollback, reversal, and compensation. Open design questions are recorded with the demonstration rather than hidden in handwritten Java.
See implementation boundaries →Read the source
Browse the complete SPP, APP, PHY and enum definitions behind both demonstrations, organized by domain and function.