【摘 要】
：
软件建模是把现实世界的需求抽象成概念模型,软件编码是把概念模型转变成能够运行的代码,在建模阶段,针对传统的UML即统一建模语言对信息系统业务流程的建模,无法严谨地定义
论文部分内容阅读
软件建模是把现实世界的需求抽象成概念模型,软件编码是把概念模型转变成能够运行的代码,在建模阶段,针对传统的UML即统一建模语言对信息系统业务流程的建模,无法严谨地定义和模拟信息系统的业务流程,不能保证流程本身的正确性和一致性等问题。以物流订单流程为例,研究BPMN表达业务流程及与形式化语言之间的转换,用形式化描述语言Pi演算描述和验证BPMN已描述的信息系统业务流程,通过JPDL直接定义出已通过Pi演算验证的订单流程,并应用于工作流引擎JBPM中,从而保证应用系统业务流程的正确性。
其他文献
12月3日,2016'高教社杯'全国大学生数学建模竞赛颁奖仪式在东南大学四牌楼校区榴园宾馆举行,此次会议由东南大学数学系承办。中国高等教育学会会长瞿振元,中国科协副
<正>当我听到您于2015年10月24日因病逝世的噩耗时,一瞬间心中充满了悲伤。禁不住的眼泪随着西雅图的秋雨模糊了眼前的一切。几天后我放下手上所有的工作飞回了上海,和您做最
目的探讨CEA、CA125、TSGF在肺癌诊断中的临床价值。方法肺癌组67例，肺部感染组69例，健康人（对照组）66例。分别用日立7170检测其血清TSGF，用放射免疫法检测CEA、CA125，并进行比较。
功利主义是适应资本主义市场经济的发展而产生、发展的，它为资本主义市场经济的发展提供了伦理道德的支持。由于它的出发点和落脚点是个人，因而存在着一些难以克服的局限性，必须
国际钢铁协会发布报告称,预计2014年中国钢铁需求将达到7.21亿吨,同比增长3.0%,但与2013年6.1%的增长率相比,增幅显著放缓。2015年,中国钢铁需求增长率将继续下降至2.7%。国
近海石油工程船舶的工作海域为多泥沙、多渔网,艉轴密封装置经常异常损坏,导致艉轴润滑油乳化,船舶停航停运,造成重大经济损失。新型艉轴密封结构装置已解决了上述问题。
目的研究桡骨远端骨折手术治疗方法和临床效果。方法通过58例桡骨远端骨折患者手术治疗情况及病例进行分析。结果优36例（62．07％），良17例（29．31％），差5例（8．62％）。结论桡骨远端骨折通过外科手
针对虚拟机安全监控系统的灵活性和安全性不足的问题,在Xen平台上研发虚拟机安全监控系统来解决该问题。对Xen虚拟机技术和虚拟机监控技术进行了详细描述,对虚拟机安全监控系
2019年7月,交通运输部印发《交通运输标准化管理办法》(简称《办法》),进一步规范交通运输标准化工作,提升产品和服务质量,促进交通运输行业高质量发展。《办法》将于2019年7