梁爱南
- 作品数：18 被引量：43H指数：4
- 供职机构：湖南工业大学更多>>
- 发文基金：湖南省教育厅科研基金湖南省教育厅优秀青年基金湖南省自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信轻工技术与工程文化科学更多>>
- 工作流模型的形式化研究
- 工作流技术是一个被业界广泛应用并迅速发展的技术,而工作流建模技术一直是工作流技术研究的重要课题之一，它的研究范围包括：工作流模型定义、语义的形式化表示方法等。为了实现工作流管理功能,必须将业务过程从现实世界中抽象出来,并...
- 梁爱南
- 关键词：工作流模型形式化表示Π演算
- 文献传递
- 高校学生信息管理系统中工作流的分析被引量：2
- 2012年
- 根据高校的需求和工作流技术的应用现状,文章提出了一个基于工作流技术的高校学生信息管理系统的解决方案。工作流技术在学生管理系统中的应用包括流程的定义、使用、提示和监控。流程的定义使用π演算实现,流程的使用、提示和监控主要由工作流引擎实现。高校学生信息管理系统整合工作流技术,不但保证了高校学生信息管理系统的可靠性,而且提高了该系统的扩展性。
- 梁爱南黄贤明白春燕
- 关键词：工作流Π演算高校学生信息管理系统工作流引擎
- 多实例工作流模式的π演算形式化被引量：8
- 2007年
- 多实例工作流模式是一类重要的工作流模式。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。对π演算进行了研究,提出了以π演算作为工作流形式化的基础,利用π演算对多实例工作流模式进行了详细的描述。
- 梁爱南李长云黄贤明
- 关键词：Π演算ECA规则
- 一种基于智能感应技术的监控设备
- 本实用新型公开了一种基于智能感应技术的监控设备，其结构包括光感应设备、监视器主体、红外监视器、红外监视器保护壳、摄像头底座、保护架、变焦架、进光口、主体保护架、连接架、连接杆、工作状态显示灯，监视器主体的前部设有光感应设...
- 黄贤明梁爱南何术唐黎黎郭兆宏李强
- 文献传递
- 成人教育中计算机专业毕业设计指导方法探讨
- 2012年
- 本文提出了用面向对象的方法实现成人教育中计算机专业毕业设计,通过用例模型、对象模型和交互模型的建模,很好地解决了毕业设计中课题的抽象和描述问题。文中从用例模型、对象模型和交互模型三种不同建模的角度、不同建模的侧面反映课题的实质性内容,综合起来则全面地反映目标课题的建模方法和过程。
- 梁爱南黄贤明
- 关键词：成人教育计算机专业
- 基于π演算的工作流建模方法研究被引量：1
- 2009年
- 工作流模型缺乏一种支持过程定义以及过程分析的形式化数学模型,而演算是一种移动进程代数运算,可用于对并发和动态变化的系统进行建模。首先提出了基于演算的工作流建模方法,然后经过对多种建模工具的比较和分析后,利用演算对业务流程结构进行了形式化定义,详细地阐述了各种活动和依赖关系在演算中的表示。该方法是完全形式化的方法,具有较强的语义表达能力,便于工作流的执行、推理和仿真等。
- 黄贤明李长云梁爱南
- 关键词：工作流建模
- 物联网概论课程教学研究被引量：3
- 2015年
- 物联网作为新一代信息技术发展的标志,学习物联网概论知识不仅是物联网专业学生的需要,对非物联网专业学生来说也是十分必要的。根据自身实际教学经验和取得的教学效果,对物联网概论的课程定位、教学内容、教学方法等进行了探讨,提出了一些培养学生学习兴趣、增强专业认同感,提高教学效果的途径和方法。
- 梁爱南黄贤明胡永祥万佳罗海斌
- 关键词：教学内容教学方法
- 工作流模式的π演算形式化
- 2007年
- 为了实现工作流管理功能,必须将业务过程从现实世界中抽象出来,并用一种形式化方法对其进行描述。工作流模式是工作流建模的基本构造单元。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。首先提出以π演算作为工作流形式化的基础,然后利用π演算对工作流模式进行详细的描述。
- 梁爱南李长云黄贤明
- 关键词：Π演算ECA规则工作流模式
- 高校学生信息管理系统的设计与实现被引量：3
- 2012年
- 论文介绍了高校学生信息管理系统的开发过程,主要的任务包括:1.通过对学生信息管理系统做需求分析,确定了系统的设计目标以及系统的需求。2.完成了系统的设计与实现。经过系统分析、设计、实现,系统能够良好地完成学生信息管理工作。
- 梁爱南黄贤明姜志明
- 关键词：学生信息ASP.NET
- 动态工作流研究被引量：5
- 2009年
- 现代企业流程所固有的多变性和灵活性,凸显了工作流在处理动态不确定因素方面的不足。实际的工作流系统无法事先确定所有的过程,并且过程之间的关系在执行期间并不是一成不变的,需要通过动态修改能力来保证系统的可适应性。针对这个问题,在对国内外动态工作流的研究成果进行详细研究和总结的基础上,本文介绍动态工作流的特征及分类,讨论动态工作流中动态变更的理论及实现策略,并设计一个实例介绍工作流过程模型进行动态修改的操作方法。
- 黄贤明胡志刚梁爱南
- 关键词：工作流动态工作流
