BPMN; Kripke structure; business process; colored Petri net; compliance; service composition; temporal logic; verification;
机译:利用编纂的用户任务知识在设计时发现服务
机译:提供纳税人援助服务时税收合规的行为动态
机译:当今环境中金融服务机构的合规计划管理
机译:动态服务环境中服务组合的设计时符合
机译:关于电子公共服务和信息保证的三篇文章:合规性和反恐/反恐服务中的风险,信念,偏好和用户接受度。
机译:使用Markov决策过程和动态规划的Web服务组合
机译:基于本体的移动服务设计时和运行时组合用例