刘妙
- 作品数:8 被引量:2H指数:1
- 供职机构:云南大学更多>>
- 发文基金:国家自然科学基金国家精品课程建设项目云南省自然科学基金更多>>
- 相关领域:自动化与计算机技术文化科学经济管理更多>>
- 一种挖掘业务过程模型并发性的重构方法
- 业务过程管技术能够用来快速构建和更新过程感知信息系统。业务过程模型是过程感知信息系统的核心。由于业务过程建模是耗时、易错的,加之建模者的能力参差不齐,这使得业务过程模型的质量差异很大。因此,实施过程感知信息系统的企业需要...
- 刘妙
- 关键词:业务过程模型
- 一种软件演化中的系统功能行为一致性分析方法及系统
- 本发明属于软件演化技术领域,公开了一种软件演化中的系统功能行为一致性分析方法及系统,采用Petri‑net来对待演化软件系统进行形式化建模,之后将相应的系统Petri网模型转化为状态迁移图(Petri‑net可达图),其...
- 郑交交秦江龙李彤林英谢仲文莫启王晓芳成蕾刘妙杨真谛郑明李响
- 文献传递
- 一种挖掘BPMN编制流程并行性的方法及系统
- 本发明公开了一种挖掘BPMN编制流程并行性的方法及系统,方法包括:根据结构特征从编制流程中提取任务间的基本关系,并构造出基本关系矩阵;分析任务间的依赖关系,并构造出依赖关系矩阵;根据所述依赖关系矩阵构造出依赖图;根据转换...
- 代飞刘妙王博谢仲文赵娜
- 一种软件演化中的系统功能行为一致性分析方法及系统
- 本发明属于软件演化技术领域,公开了一种软件演化中的系统功能行为一致性分析方法及系统,采用Petri‑net来对待演化软件系统进行形式化建模,之后将相应的系统Petri网模型转化为状态迁移图(Petri‑net可达图),其...
- 郑交交秦江龙李彤林英谢仲文莫启王晓芳成蕾刘妙杨真谛郑明李响
- 文献传递
- 基于SP-CDIO的软件过程课程建设被引量:1
- 2015年
- 针对软件过程课程教学长期出现的问题,结合软件过程的课程特性,以CDIO人才培养模式指导课程建设,提出SP-CDIO教学方法,从构思、设计、实现、运作4个阶段,建立理论与实践相结合的软件过程课程内容体系,阐述教学团队在软件过程课程建设中的具体措施和方法。
- 代飞李彤顾思雅刘妙谢仲文秦江龙
- 关键词:CDIO
- 一种面向BPMN2.0编排模型的控制流一致性检测方法及装置
- 本申请公开了一种面向BPMN2.0编排模型的控制流一致性检测方法及装置,所述方法为:对BPMN2.0编排模型进行预处理,确保编排模型中所有由编排任务直接分流的地方均使用并行分流网关,所有直接汇聚到编排任务的地方均使用选择...
- 代飞赵文卓杨云陈凤强刘妙刘一鸣秦江龙
- 文献传递
- 构件系统演化一致性的判定方法被引量:1
- 2018年
- 构件系统演化一致性是确保演化操作可靠的必要条件,若一致性得不到满足,则会致使演化后的系统达不到既定的功能目标。针对该问题,文中提出基于接口、流程结构、内部行为的构件系统演化一致性判断方法。首先,在演化后的系统中将每个构件视为判定执行者,使所有的构件协同参与一致性判定过程,从接口和流程结构出发,判断执行者和全局的一致性;其次,在满足接口、流程结构一致性的情况下,判断演化构件在演化前后的内部行为一致性;最后,通过对一个构件实例的完整分析,详细描述了该判定方法,并验证了其可行性。
- 郑交交李彤林英谢仲文王晓芳成蕾刘妙