论文部分内容阅读
针对业务流程图与可执行模型之间一致性的问题,通过对常见工作流模式的分析,将流程表达的逻辑建模成一系列事件/状态的组合,设计了一种基于连续语义的模型转换方法,从而把含有非结构循环的业务流程模型转化为在功能上等价的仅仅支持结构循环的工作流代码。最后通过具体案例验证方法的有效性。
基于连续语义的业务流程模型的转换
【摘 要】
：
针对业务流程图与可执行模型之间一致性的问题,通过对常见工作流模式的分析,将流程表达的逻辑建模成一系列事件/状态的组合,设计了一种基于连续语义的模型转换方法,从而把含有非结构循环的业务流程模型转化为在功能上等价的仅仅支持结构循环的工作流代码。最后通过具体案例验证方法的有效性。
【机 构】
：
南京航空航天大学信息科学与技术学院
【出 处】
：
计算机应用
【发表日期】
：
2013年S1期
其他文献
胡风现实主义文学理论发源于黑格尔的艺术哲学和别林斯基、卢卡契等人的文学批评观。以“主观战斗精神”的提出为核心，胡风阐释了一种以“五四”文学实践传统和西方批判现实主
影响轮胎充放气的因素比较复杂,为了简便、准确地对轮胎进行预设定值充放气,提出一种基于模糊与遗传逼近策略的轮胎预设定值充放气控制方法。该方法把整个充放气过程分成两步:首先根据预设定值和当前胎压与预设定值的差,模糊推理出充放气的时间进行预充放;然后依次遗传前面的充放气速率逐步逼近至预设定值。实验结果表明,在不同的充放气条件下利用该方法均能简便、准确地充放气到预设定值,精度可达±0.04 bar,适用于
在由事件触发、部分节点同步的无线传感器网络应用中,传统时间同步算法周期性全网同步存在不必要的能耗问题。通过分析现有的时间同步机制,提出一种基于事件触发的时间同步补偿算法,该算法通过分别统计出沿途的累计处理时延并补偿传输延时的方式实现部分节点同步。实验结果表明,在兴趣节点数量较少和事件发生频率较低的情况下该算法具有良好的同步效果和节能性。
介绍背包问题与普通背包加密算法和L3-格基约简算法破解背包问题的方法并加以深入的分析,同时介绍了如Chor-Rivest背包加密与解密算法,在此基础上提出了一种基于多背包的加密