【摘 要】
：
一个可配置的业务过程模型可以通过配置来满足组织的特定要求。配置活动需要自动确定一个可配置过程模型的变体,同时保证该特定过程模型的正确性。然而,很少有方法能够解决此
【基金项目】
：
国家自然基金（61175123）, 福建省自然基金（2012J05112,2014J01221）, 上海市可信计算重点实验室开放项目（07dz22304201401）资助
论文部分内容阅读
一个可配置的业务过程模型可以通过配置来满足组织的特定要求。配置活动需要自动确定一个可配置过程模型的变体,同时保证该特定过程模型的正确性。然而,很少有方法能够解决此问题。提出一种新方法,即先将可配置的过程模型自动分离成原子子过程模型,再由这些模型组合成需要的过程模型,该方法能保证得到的过程模型的正确性（该过程模型无异常行为问题）。与现有的方法相比,新方法与特定的语言无关,而且避免了独立处理配置活动,降低了计算复杂度。
其他文献
无线体域网(Wireless Body Area Network,WBAN)不仅应用于医疗保健领域,而且在特殊人群监护、运动、娱乐以及军事等领域也有着巨大的应用价值,然而WBAN技术自身的特点将严重
由于模型检测存在状态爆炸问题,多主体的网络协议组合模型检测往往难以进行。为了缓解该问题,分析了通信主体数量增加对状态数量的影响,提出了组合式的抽象验证方法。首先根
钻爆法地铁隧道施工对临近管线的影响目前研究较少。利用FLAC3D软件施加爆破荷载,研究地铁隧道开挖时周边管线的应力位移的变化。通过改变地表振速来体现爆破荷载的变化,研究
在长龙山抽蓄电站进场交通洞爆破工程中,通过使用新鲜毛竹片替代护臂套管的光面护壁爆破技术,精确布孔,增设导向套管, 选择合理的爆破参数,并在掏槽中心设辅助空孔、孔角设贯
传统小波变换等时频分析方法在提取水下爆炸信号时具有各自的局限性,为了获得金属导爆索水下爆炸信号的特征,采用HHT方法对信号特征进行提取。结果表明：EMD具有自适应性,能够
ANSYS／LS-DYNA对平顶药型罩的射流形成过程进行数值模拟，结果表明，在顶点起爆条件下，平顶药型罩的平顶中心首先下凹并拉动药型罩边壁向内汇聚，使得存在夹角的平顶与边壁整体构成环
为了研究出一种更适用城市发展需要的非炸药爆破方法,研制一种由多种含硝基的氧化剂、非金属粉末、黏结剂组成的新高能燃烧剂。新高能燃烧剂与电解质溶液、膨胀剂按照一定比
异构网络中,针对如何根据不同业务的特性选择合适的判决参数并利用这些参数来选择最适合的网络以及通过网络负载均衡来减少切换次数和切换失败可能性等问题,提出了一种基于多
针对FScom在刻画模糊性知识及其3种不同否定关系上的一些不足,提出了广义模糊集GFScom,它从哲学层面上更好地刻画了模糊性知识及其3种不同否定之间的关系。在此基础上,给出了
针对延时容忍移动传感器网络中节点自私性检测存在未考虑节点由于自身问题不能转发数据而引起信誉值计算不精确和重传数据造成能量浪费的问题,通过引入剩余能量和能否进行数