编译执行,非解释
Java + GraalVM Truffle。Native Image 启动以毫秒计。
面向可执行业务逻辑的开源受控自然语言(CNL)
三种语言同源,编译到同一台审计级引擎
双参考实现(Java/ANTLR + TypeScript/PEG),每次提交交叉验证
词典包随发布即用 —— 新增第四种语言只需一个配置文件
通过 REST、GraphQL、WebSocket 即插即用
Apache-2.0 协议
面向生产环境
Java + GraalVM Truffle。Native Image 启动以毫秒计。
每次评估均经 SHA-256 哈希链记录。防篡改可重放。
English、中文、Deutsch 已就绪。新增一种语言只需一个配置文件。
用 English、简体中文 或 德语 表达贷款资质检查、审批门禁流程、路由决策、定价规则。相同语义、相同引擎。新增第四种语言是配置任务,不是工程任务。
内置 LLM 辅助,从自然语言提示生成规则草稿、解释现有规则、自动修复语法错误。SSE 流式输出,建议前先校验。
Java + GraalVM Truffle 解释器实现高吞吐评估。Native Image 启动以毫秒计。P99 延迟低于 200ms。
每次策略评估都记录到引擎的防篡改审计日志,采用 SHA-256 哈希链。任意历史决策可确定性重放 —— 时钟与 UUID 在运行时受控。
使用 aster-lang.cloud 享受托管多租户,或通过 ArgoCD GitOps 部署到自己的 K3S 集群。你的数据,你的司法管辖区。
内联提交策略源码,或按 ID 引用已存储的策略。批量评估。流式追踪。详见 Cloud API 文档的传输与鉴权方式。
想写 CNL 规则并运行它。先用浏览器演练场;通过 @aster-cloud/aster-lang-ts 集成。需要托管引擎?Aster Cloud 提供 REST / GraphQL / WS。
→ 在演练场开始 → 浏览器 SDK 指南 → Cloud API 文档 ↗
Aster Lang 是用于编写可执行业务逻辑的 多语言受控自然语言(CNL) —— 贷款资质策略、审批门禁流程、路由决策、定价规则,以及任何需要规则 既能被人阅读又能被机器运行 的场景。
语言把 策略、流程、决策 当作一等公民:同一套语法既能表达资质检查,也能表达审批流转或路由规则。引擎将三者编译到同一条审计级执行路径。
Module aster.finance.loan.
Define Applicant has creditScore as Int, annualIncome as Int.
Rule evaluateLoanEligibility given applicant as Applicant, produce Text:
If applicant.creditScore at least 700
If applicant.annualIncome at least 50000
Return "approved".
Return "rejected".同一条规则也可以用中文书写:
模块 aster.finance.loan。
定义 申请人 包含 信用分 as 整数,年收入 as 整数。
规则 evaluateLoanEligibility 给定 申请人 as 申请人,产出 文本:
如果 申请人.信用分 至少 700
如果 申请人.年收入 至少 50000
返回 "已批准"。
返回 "已拒绝"。两者由 同一个引擎 解析、类型检查、执行。
今天的业务规则散落在三处:
Aster Lang 是第四个选项:像备忘录一样可读、像编译代码一样运行的规则。
🚧 客户案例即将推出。如果你愿意被收录,联系我们。
@aster-cloud/aster-lang-ts)aster-lang-en / -zh / -de发现 bug?提个 issue。想新增语言?见词典包指南。