【摘 要】
：
In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagr
【机 构】
：
School of Management and Economics
论文部分内容阅读
In order to provide a quantitative analysis and verification method for activity diagrams based business process modeling, a formal definition of activity diagrams is introduced. And the basic requirements for activity diagrams based business process models are proposed. Furthermore, the standardized transformation technique between business process models and basic Petri nets is presented and the analysis method for the soundness and well-structured properties of business processes is introduced.
其他文献
青少年犯罪已是摆在各国面前的一大难题,世界范围内青少年犯罪日益增多.青少年犯罪特征在新时代呈现新动向,对青少年犯罪特征的研究应从犯罪客体特征、行为特征、心里特征三
随着经济建设的发展，人们的物质文化生活水平得到了很大提高，对城市建设水平和城市功能也提出了更高的要求。城市园林绿化工程作为城市建设的重要组成部分，对于改善城市环境，完善
随着社会经济的快速发展，船舶事业也得到了一定的发展，并且进行了一定的改革，取得了相应的成绩。本文主要对船舶监测报警系统的信息平台、PLC控制技术进行分析，了解船舶自动化设
根据所任班级的实际,发现学生解答应用题的能力较差,影响了教学质量的提高,也影响了学生的全面发展。分析其原因,就在于学生的思维能力较弱。为此,教师在应用题教学中,不仅注
高校教师职称评审制度改革关系到教师的切身利益,关系到高等教育的健康发展,积极探索构建科学的高校教师职称评审制度体系,具有十分深远的意义.考察重庆市高校教师职称评审现
中小企业对参展活动的不够重视和粗放式的管理方法，导致了企业在参展过程中的效益大打折扣。本文首先以研究天汾五金交易会中的中小企业参展情况为出发点，分析中小企业在参展活
围绕中等职业学校机械专业课程改革教学的具体实践,以职业综合能力为基础,以学生学习掌握职业技能为重心,以现代化教学手段为媒体,确立了分层教学、行为导向、多媒体等教学法
本文主要介绍了企业人力资源管理的绩效评价体系中常用的两个模型,AHP和模糊AHP,以及这两种模型在matlab软件中如何实现的问题.
在进行工程设计和产品设计时，通常需要应用有限元技术进行设计对象的力学分析．在这个过程中不仅会生成大量的数据，还需要在不同的有限元软件之间、不同的有限元前后处理软件之间、或者有限元软件与ＣＡＤ／ＣＡＭ软件之间进行数据交换．针对目前有限元软件主要采用点对点数据交换模式所存在的缺点，提出了建立普适的交换模式——有限元数据基的设想，并基于ＳＴＥＰ标准构建了有限元数据基的中性文件的表述形式及其ＥＸＰＲＥＳＳ
党的第十八次全国代表大会后,习近平提出了从严治党的新方针,体现了从严治党的精神。这个理念的提出,不但让从严治党在思想上能够创新,也预示着党建理论跨上了一个新的台阶。