论文部分内容阅读
针对工作流定义标准语言XPDL缺乏形式化语义,提出了将XPDL描述转化为通信顺序进程(CSP)的方法,从而可以利用进程代数CSP理论以加强对工作流模型的语义描述分析检测。通过实例分析具体说明转化方法的有效性。
工作流建模语言XPDL到CSP进程的转化研究
【摘 要】
：
针对工作流定义标准语言XPDL缺乏形式化语义,提出了将XPDL描述转化为通信顺序进程(CSP)的方法,从而可以利用进程代数CSP理论以加强对工作流模型的语义描述分析检测。通过实例分析具体说明转化方法的有效性。
【机 构】
：
华东师范大学信息科学技术学院
【出 处】
：
计算机应用
【发表日期】
：
2008年05期
【基金项目】
：
国家自然科学基金资助项目（60703004）,上海市科学与技术发展基金资助项目（055107039）.
其他文献
统一建模语言(UML)是设计和分析软件系统最常用的方法,如何保证UML模型满足某些特性是一个非常重要的问题,而模型检测是一种能够有效提高系统可靠性的自动化技术。研究了使用简单进程元语言解释器(SPIN)对UML模型进行检测的方法。首先对UML模型进行形式化描述,使用层次自动机来描述状态图,然后根据层次自动机的操作语义将状态图和类图的部分信息转化为SPIN的输入语言PROMELA,使用SPIN来验证
“1200平方米特大面积的降落伞”、“7000多个零部件组成”、“我国回收降落伞中结构最庞大和最复杂的系统”，这些“高大上”的标签属于神舟飞船回收着陆系统，而这些都是中国航
<正>江泽民同志在1998年纪念北大诞辰100周年大会上指出:“当今世界,科学技术突飞猛进,知识经济已见端倪,” 知识经济是人类社会继农业社会、工业社会之后的又一种新型的经济
早春二月的林城，草长鹰飞，名兰荟萃，国酒茅台第十六届中国（贵阳）兰花博览会在贵阳市民族文化宫举行。此次兰博会共分为六个展区，展馆面积达6000平方米，共展出来自全国各地、港澳台、
目的探讨免疫胶体金法检测支气管肺泡灌洗液（BALF）结核杆菌特异性分泌抗原MPB64在肺结核诊断中的应用价值。方法对113例肺结核患者和80例非结核患者的BALF进行免疫胶体金法检测
使用图像所包含的一种更本质和深层的特征———局部自相似性,并结合人眼观察图像时注意力由中央向周围递减这一特性,提出了一种基于局部自相似性的图像质量度量方法。通过与已有方法的对比实验表明,该方法能对不同类型的失真图像进行更有效的评判,评价结果能够更好地符合人眼主观视觉特性。
我们现在讲的兰花产业不是现代经济、现代生产意义上的产业，它基本上还是自然经济意义上的产业，它整个产业链没有形成。它的生产没有规范；品种没有规范，流通也没有规范，消费也没有
手背静脉近红外图像识别是一种新的非接触式生物认证技术。对采集的手背静脉图像进行了增强处理。对二值化图像采用四邻域区域生长的方法,去除噪声斑块。对处理后的静脉图像采用了一种快速细化的细化算法。分析和解决了细化后特征点———交叉点的提取。针对细化后骨架中所引入的另一类噪声———毛刺和静脉图像细化后的特点,提出了一种毛刺修复算法。实验结果表明,经过该算法处理后得到的骨架图像,能够较好的反映静脉纹理特性。
帧内运动补偿被认为是H.264/AVC中具有潜力的改进方向之一。提出了一种线性插值填充算法来改进帧内运动补偿的编码效率。与Dong等人提出的自适应填充算法相比,线性插值填充能更精确地预测出填充区域内的像素,从而使得帧内运动补偿效率更高。实验测试表明,基于线性插值填充的改进算法可以使帧内运动补偿块数量增加4.58%~84.7%,从而令帧内编码的率失真性能得到提高。
提出了一种新的图像插值算法,该算法利用局部结构张量所描述的图像几何特征增强了图像的边缘而不会产生伪影。在仿真实验中,应用该方法能够得到比传统的双线性和双三次插值方法更优的结果,特别是在边缘区域。而且该方法采用的插值格式能有效地减小计算量,适合实时应用。就提出的插值模型和一种基于变分的插值方法之间的关系进行了讨论,分析表明后者只是该模型的一个特例。