机译:WS-BPEL中的形式语义和控制流分析
Faculty of Information Technology, Queensland University of Technology, GPO Box 2434, Brisbane QLD 4001, Australia;
business process modeling; web services; BPEL; Tool-based verification; petri nets;
机译:正式分析WS-BPEL中的动态重新配置
机译:面向控制流过程模型的形式语义学
机译:基于信息流理论和形式概念分析的数据库语义互操作性
机译:Web组合事务的数据流和控制流的形式语义分析
机译:现代应用平台中的信息流控制:建模,正式验证和控制的解密
机译:Spark-MCA:用于评估SNOMED CT语义完整性的大规模详尽的形式概念分析
机译:WS-BPEL中的形式语义和控制流分析