Thinai Language Docs

Thinai is a domain-specific modeling language for expressing DDD structures, relationships, and behavioral intent in a shared, navigable model. Use these guides to learn the language and model a domain by topic:

• Language model — subdomains, bounded contexts, context maps, shared kernels, imports, and working across files.
• Tactical modeling — aggregates, entities, value objects, operations, modules, and domain constraints.
• Events and behavior — application-service methods, aggregate events, integration contracts, journeys, and behavior specifications.
• Syntax and formatting — line layout, identifiers, strings, collections, and the formatter.
• Modules and visibility — exposures, dependencies, nested re-exports, and published query contracts.
• References and paths — specification links, qualified paths, parameters, results, and journey timelines.
• Validation rules — the rules behind common diagnostics.
• Examples — the Order Fulfillment model and the Language Tour.
• Alpha notes — installation, known limitations, and issue reporting.

For a complete multi-file model, see the Order Fulfillment example. The language guides describe the language precisely; the alpha notes describe installation and current limitations.