【摘 要】
：
在传统的UML Statechart图中加入了数据流对象后,因为UML Statechart图缺乏精确的数据流语义,所以不适合应用UML Statechart图对工作流中的数据流进行建模并验证其正确性。为
【机 构】
：
苏州市职业大学计算机工程系,苏州卫生职业技术学院检验药学系,苏州大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金（the National Natural Science Foundation of China under Grant No.60073020）,江苏省高校自然科学研究项目（the Natural Science Foundation of Jiangsu Province of China under Grant No.05KJB520119）.
论文部分内容阅读
在传统的UML Statechart图中加入了数据流对象后,因为UML Statechart图缺乏精确的数据流语义,所以不适合应用UML Statechart图对工作流中的数据流进行建模并验证其正确性。为了解决这一问题,选择标记转换系统（LTS）作为语义域,并用结构化操作语义（SOS）分两步定义了UML Statechart图的数据流语义,为工作流中的数据流正确性验证奠定了基础。在此基础上,使用时序逻辑公式表示数据流所需满足的性质,在验证数据流的正确性之前,给出了将它的UML Statechart图模型转
其他文献
多媒体技术在物理教学中有着广泛的应用和重要的作用,计算机软件作为多媒体技术的重要组成部分,在物理教学中也有着积极的作用。以物理实验为例,从实验的可视化、仿真实验和
《弟子规》作为儒家传统文化的经典,对现代服务外包产业人才培养具有可贵的资源价值.将《弟子规》的理念渗透于企业文化,对服务外包人才素养标准的建立将起到重要的推动作用.
本文主要介绍几味常用中药的不良反应,以便指导广大医务工作者用药,确保临床安全用药。
定性地分析了基本粒子群算法，结合遗传算法思想，构造了3种杂交和4种变异运算法则，从而得到了12种混合粒子群算法，并采用14城市算例对其检验和分析。为进一步验证混合算法的性能，根
针对＂高频电子线路＂课程的应用性质,借鉴先进教学模式提出了该课程的实践教学模式改革方案.在教学实践中采用课外专题设计与理论课相结合的方式实施教学,并对课程教学方法、教
针对多网卡多信道无线Mesh网络容量问题，基于无线信道干扰模型，在给定各节点物理层发射功率的条件下，联合考虑无线Mesh网络传输层的流速控制、网络层的路由算法和MAC层的信道分
近年来,肿瘤病呈上升趋势,患者化疗后经常会出现体质差、化疗反应重、病情逐渐恶化,从而造成这类患者疗效差的现象。临床中,笔者采用参仙生脉口服液进行肿瘤化疗后阳气虚型患
针对国有大中型企业效率滑坡的现状，对资本营运的含义，实质，目的和意义作了介绍，并就如何实施资本营运，实现国有资产增值提出了参考性建议。
提出了一种基于模式分析的二值文本图像隐写分析算法。在深入研究当前国内外二值图像信息隐藏和隐写分析算法的基础上,提出了图像"模式"的概念,并将图像模式按照修改其中心像素对人体视觉的影响程度分成三类,建立了二值图像最佳嵌入位置模式库;通过分析二值文本图像的模式在嵌入信息前后的变化特征,提出了基于模式分析的二值文本图像隐写分析算法。实验证明该算法是一种性能较佳的二值文本图像隐写分析算法。
针对传统的分水岭变换可能产生严重的过渡分割,提出的分水岭变换算法在梯度图中去除了无相关点,用梯度临界值控制分割函数式。实验结果显示该算法对具有不同特征的图像均可有效地改进分割的精确性。