business data processing; constraint handling; directed graphs; logic programming languages; specification languages; CPN/Tools; Petri nets; business processes; control flow of process; dag-acyclic-graph synchronization constraint language; declarative syntax; dire;
机译:DSCWeaver:到过程过程规范语言的同步约束方面扩展
机译:业务流程和业务规则的建模语言:代表性分析
机译:使用业务流程建模符号和业务流程执行语言改进业务流程:一种行动研究方法
机译:业务流程的DAG同步约束语言
机译:数据同步采用对业务流程的影响:一个案例研究
机译:在基于分布式服务的业务流程中强制包含约束
机译:业务流程的DaG同步约束语言