论文部分内容阅读
合理性是业务过程模型满足正确性的最低要求。针对使用工作流网定义的业务过程模型,以Petri网为形式化基础,给出了合理性的形式定义,通过建立合理性和Petri网的活性和有界性的联系,使用工具WoPeD分析了业务过程模型的合理性。
业务过程模型的合理性分析
【摘 要】
：
合理性是业务过程模型满足正确性的最低要求。针对使用工作流网定义的业务过程模型,以Petri网为形式化基础,给出了合理性的形式定义,通过建立合理性和Petri网的活性和有界性
【机 构】
：
西南林业大学大数据与智能工程学院,云南大学软件学院
【出 处】
：
电子技术与软件工程
【发表日期】
：
2018年10期
【基金项目】
：
云南省自然科学基金资助项目(2016FB102)
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
自1981年美国报道首例艾滋病病人以来,艾滋病在全球已经流行了20年.虽然在艾滋病的基础研究、预防与治疗方面取得了很大进展,但目前仍然没有治疗艾滋病病毒的有效药物和预防
使用中国综合社会调查2015年度的数据,运用潜在剖面分析,区分了我国居民休闲方式的4种类型:无保障型、休养型、发展型和均衡型。建立无序多分类Logit模型,检验社会阶层、家庭
大型海洋油气田开发建设工程项目是高投入、高技术、高风险的投资项目,不仅涉及面广、内容复杂、时间要求严格,还需要投入大量的人力、物力、财力、时间等资源。西江油田群海
本文重点介绍了钻孔桩水下混凝土灌注中堵管、导管漏水、钢筋笼上浮、混凝土离析、夹泥和断桩等常见质量问题，分析了其产生原因并提出了预防措施。
艾滋病的全称为获得性免疫缺陷综合征(acquired immunedeficiency syndrome,AIDS),是一种由逆转录病毒引起的,以人体免疫系统受损为主要特征的全身性疫病.人体一旦受到艾滋病
最近几年，由于高三学生高考比率下降、考上大学后弃学者的出现、农村子弟考上重点大学人数减少、大学毕业生求职难等种种现象，“读书无用论”第三次髓场。现代社会，还有“读书无
从地质条件复杂性、开采技术水平和管理水平三个维度,设计了煤炭资源回收率的评价标准体系和基于模糊综合评价法的评价模型,根据评价结果将煤炭资源回收率合理性等级划分为不
目的了解某三甲医院儿科住院患者满意度现状,找出存在问题,进行改进。方法采用自制的满意度调查问卷,采取随机抽样的方法,通过电话调查的方式对2012年6月~2013年5月期间儿科
元胞自动机模型（Cellular Automate,CA）能较好的模拟出实际交通的一般特征,交通流中的复杂行为能在此模型中得到展现,因此可以揭示交通流中的一般规律。本文对元胞自动机模型的