焦金丹
- 作品数：9 被引量：21H指数：2
- 供职机构：华中师范大学更多>>
- 发文基金：国家重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术社会学经济管理更多>>
- 基于软件复用的领域分析和建模研究
- 介绍了软件复用的相关原理和关键技术,结合特定领域提出了一种基于构件的软件开发过程,在此基础上得到了基于构件的领域分析方法.最后结合领域工程、构件化开发、面向对象开发方法等技术给出了一种基于软件复用的领域工程开发模型.
- 焦金丹胡金柱胡燕鲁志兵
- 关键词：软件复用
- 文献传递
- 基于Petri网的电子政务工作流模型研究被引量：14
- 2007年
- 设计了一种基于Petri网扩展的、用于复杂工作流模型设计的建模方法及其相关规则。并且通过电子政务系统的网上审批子系统为例,详细阐述了用此方法及其相关规则构建Petri网工作流模型的过程。最后通过Petri网理论对模型进行了正确合理性分析,并对网上审批子系统的资源分配情况进行了定量分析。此建模方法简化了Petri网的建模过程,并保证了正确性和合理性资源分配的分析结果对合理的进行资源分配有指导作用。
- 胡金柱焦金丹胡燕鲁志兵
- 关键词：工作流PETRI网资源分配
- 门户网自助系统的扩展有色Petri网建模与分析
- 文章探讨了一种基于扩展有色Petri网的门户网自动生成系统,详细论述了有色Petri网与面向对象技术的融合方式,给出了面向对象的扩展有色Petri网的映射规则和形式化定义,并构建了门户网自动生成系统的ECPN模型,最后利...
- 鲁志兵胡金柱胡燕焦金丹舒江波
- 关键词：自动生成有色PETRI网
- 文献传递
- 门户网自助系统的扩展有色Petri网建模与分析
- 2006年
- 文章探讨了一种基于扩展有色Petri网的门户网自动生成系统,详细论述了有色Petri网与面向对象技术的融合方式,给出了面向对象的扩展有色Petri网的映射规则和形式化定义,并构建了门户网自动生成系统的ECPN模型,最后利用状态空间法和系统在实际生产中的效率统计,证明了模型的可用性、高效性。
- 鲁志兵胡金柱胡燕焦金丹舒江波
- 关键词：自动生成有色PETRI网
- 面向体系结构的构件接口模型研究
- 基于构件的软件工程(Component Based Software Engineering，CBSE)提高软件生产效率和质量，日益成为软件开发的主流范型，是软件开发实现工程化、自动化从而解决软件危机的现实可行途径。构件...
- 焦金丹
- 关键词：软件体系结构CORBA
- 文献传递
- 基于软件复用的领域分析和建模研究
- 介绍了软件复用的相关原理和关键技术,结合特定领域提出了一种基于构件的软件开发过程,在此基础上得到了基于构件的领域分析方法。最后结合领域工程、构件化开发、面向对象开发方法等技术给出了一种基于软件复用的领域工程开发模型。
- 焦金丹胡金柱胡燕鲁志兵
- 关键词：软件复用
- 文献传递
- 基于软件复用的领域分析和建模研究被引量：6
- 2006年
- 介绍了软件复用的相关原理和关键技术,结合特定领域提出了一种基于构件的软件开发过程,在此基础上得到了基于构件的领域分析方法。最后结合领域工程、构件化开发、面向对象开发方法等技术给出了一种基于软件复用的领域工程开发模型。
- 焦金丹胡金柱胡燕鲁志兵
- 关键词：软件复用
- 门户网自助系统的扩展有色Petri网建模与分析
- 文章探讨了一种基于扩展有色Petri网的门户网自动生成系统,详细论述了有色Petri网与面向对象技术的融合方式,给出了面向对象的扩展有色Petri网的映射规则和形式化定义,并构建了门户网自动生成系统的 ECPN模型,最后...
- 鲁志兵胡金柱胡燕焦金丹舒江波
- 关键词：自动生成有色PETRI网
- 文献传递
- 基于角色的访问控制模型改进
- 随着电子政务的不断发展,权限管理成为一个日益突出的问题.本文首先介绍了RBAC模型的基本思想,再根据政府部门角色管理的特点,将部门这一概念引入RBAC思想中,并用形式化方法表述了部门、用户、角色和权限之间的关系.最后将R...
- 胡燕杨青胡金柱焦金丹
- 关键词：权限管理电子政务访问控制角色管理
- 文献传递
