论文部分内容阅读
企业的业务流程是非常复杂的,在为企业设计与流程相关的软件的失败率很高,原因在于所设计的软件处理的流程与企业实际运行的流程不相符合.针对该问题,本文采用一阶逻辑形式化的描述了一个过程仿真系统模型,并基于此模型设计过程仿真系统,以用于检验所仿真的流程是否与实际流程相符合.
基于逻辑模型的过程仿真系统研究
【摘 要】
：
企业的业务流程是非常复杂的,在为企业设计与流程相关的软件的失败率很高,原因在于所设计的软件处理的流程与企业实际运行的流程不相符合.针对该问题,本文采用一阶逻辑形式化
【机 构】
：
广东工业大学自动化学院,中山大学软件研究所
【出 处】
：
计算技术与自动化
【发表日期】
：
2005年2期
其他文献
<正> 临床上目前使用中药饮片用量较大,常出现药材浪费、药价偏高及煎药费时等弊端,这是由于中药有效成分较低,一般煎法不易将有效成分充分煎出的缘故。其主要原因是大部分中
目的探讨金属钛夹治疗急性非静脉曲张性上消化道出血的临床价值。方法回顾性分析我院2011年1月～2012年8月急性非静脉曲张性上消化道出血患者30例采用内镜下钛夹进行钳夹止血的
果酒是用水果本身的糖分被酵母菌发酵成为酒精的酒,含有水果的风味与酒精,是人类最早学会酿造的酒,早在6000年前苏美尔人和古埃及人就已经会酿造葡萄酒了。不少家庭时常会自
病症分析肾盂肾炎，又分急性与慢性两种，急性肾孟肾炎的痛变部位、主要在肾盂，这种肾脏炎症是肾盂直接被细菌感染而引起的，所以是一种化脓性炎症。若不及时治疗，即转变成慢性肾盂肾
卫生检验工作是疾病预防控制机构的重要职能。其不仅为疾病预防控制和卫生监督提供数据支持，而且依据社会需求提供高质量的得到社会认可的报告。因此加强卫生检验、保证数据准
“绝经是妇女一生中重要的转折。女性在50岁左右即出现绝经，绝经后由于体内性激素水平的下降以及年龄的逐渐增长，机体会发生某些变化，如生殖道开始萎缩，外阴阴阜脂肪减少，毛发脱落
我国民间一直流传着＂寒冬至,狗肉肥＂、＂冬至过后吃狗肉,胜吃人参大补药＂、＂吃了狗肉暖烘烘,不用棉被可过冬＂、＂喝了狗肉汤,冬天能把棉被当＂、＂今冬狗肉补,明春打老虎＂的说法。寒冬,正是
目的探讨尿激酶在治疗结核性包裹性胸腔积液的临床意义。方法选自我院治疗的结核性包裹性胸腔积液的患者120例，随机分为实验组和对照组，所有患者均正规抗结核治疗。实验组在抽
随着社会经济发展水平的提高以及人民生活水平的改善,人们对房屋建筑工程的质量要求越来越高,如何提升建筑工程质量,提升基础安全设施施工技术的水平,这不仅关系到人民生活的
本文从房建工程中的现浇梁板模板施工技术入手,分析其作用、类型等内容,探讨房建工程中现浇梁板模板施工技术的具体应用,为我国建筑行业技术发展提供一些思路。