湖南省教育厅优秀青年基金(06B023)
- 作品数：15 被引量：48H指数：4
- 相关作者：李长云李伟高俊黄贤明梁爱南更多>>
- 相关机构：湖南工业大学浙江工业职业技术学院更多>>
- 发文基金：湖南省教育厅优秀青年基金国家自然科学基金博士科研启动基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Portlet的数字化校园信息门户的设计被引量：8
- 2009年
- 数字化校园信息门户的建设仍存在很多策略和技术问题需要解决。从Portal技术的建设目标出发,探讨了Portal的体系结构、描述技术规范及工作流程。根据校园门户建设的需要,提出了一套基于Portlet技术的校园信息门户建设方案,从而使得在构建数字化校园的过程中系统融合、信息集成和用户服务个性化的问题得到解决。通过Portlet技术构建的校园信息门户,减小了门户的实现难度,降低了管理开销,提高了工作效率,在数字化校园的建设中发挥了重要作用,并取得了良好效果。
- 高俊李长云刘小飞丁大伟
- 关键词：门户数字化校园信息集成数据整合
- 多实例工作流模式的π演算形式化被引量：8
- 2007年
- 多实例工作流模式是一类重要的工作流模式。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。对π演算进行了研究,提出了以π演算作为工作流形式化的基础,利用π演算对多实例工作流模式进行了详细的描述。
- 梁爱南李长云黄贤明
- 关键词：Π演算ECA规则
- 一种面向自适应软件系统的体系结构描述语言被引量：4
- 2010年
- 从构件角度出发,结合软件agent技术,提出一种能表示根据需求和环境的变化实施自主行为的E-BDI构件模型。基于高阶多型π演算理论,在现有的动态体系结构描述语言D-ADL基础上,提出一种能从运行时角度描述自适应构件的动态行为的体系结构描述语言SOS-ADL。利用SOS-ADL形式化描述E-BDI结构的自适应构件行为,使构件能根据变化的环境和需求,自主推导自身的行为,达到实现软件自适应的目的。案例说明了面向自适应软件系统的体系结构描述语言SOS-ADL的应用。
- 高俊沈才梁郑美芳李长云
- 关键词：软件体系结构自适应体系结构描述语言
- 基于信誉度的可信服务发现研究
- 服务发现是Web服务框架中的一个关键部分.探讨了Web服务信任的相关概念,根据信任值的特点建立了基于β概率密度函数的信任模型.将服务发现的过程分成两个阶段进行,性能明显提高.最后,通过比较服务的信誉度来选择合适的服务,能...
- 李鹏李长云饶居华
- 关键词：信任信誉度
- 文献传递
- 场景驱动的业务过程模型设计方法被引量：2
- 2007年
- 针对从初始需求出发逐步构造业务过程模型的问题,提出了一种场景驱动的业务过程模型设计方法。该方法强调场景在整个业务流程中的作用,并以此为核心驱动整个业务过程模型的设计。最后依据设计场景规约抽取构件行为,并进行构件组装与绑定,从而形成结构良好,内容完备的可执行业务过程。最后以实例说明了该方法的应用。
- 何频捷吴岳忠文志华李长云
- 关键词：UCM
- 工作流模式的π演算形式化
- 2007年
- 为了实现工作流管理功能,必须将业务过程从现实世界中抽象出来,并用一种形式化方法对其进行描述。工作流模式是工作流建模的基本构造单元。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。首先提出以π演算作为工作流形式化的基础,然后利用π演算对工作流模式进行详细的描述。
- 梁爱南李长云黄贤明
- 关键词：Π演算ECA规则工作流模式
- 软件体系结构中接口连接规则研究被引量：2
- 2008年
- 基于体系结构的软件开发方法以构件作为最小组装粒度,构件通过其自身定义的接口与外界进行交互。连接件作为一种特殊的构件,它主要负责管理构件之间信息的交换。构件与连接件之间通过接口进行数据的传递,因此,如何从体系结构层次上定义构件及连接件接口的交互规则是构件组装的关键所在。在现有动态体系结构描述框架的基础上,定义了端口以及通道的连接规则,并结合实际的案例,采用动态体系结构描述语言D-ADL进行描述,具体说明了这些规则的应用。从而为系统行为的形式化分析、验证和仿真奠定了基础。
- 何频捷李伟李玉龙李长云
- 关键词：软件体系结构接口
- 软件体系结构求精研究被引量：1
- 2008年
- 为了保证软件质量,提高软件可靠性、可重用性和可维护性,软件体系结构这一概念自提出以来就得到广泛关注,成为软件工程的一项重要研究领域。软件体系结构求精作为体系结构从抽象到具体的形式化方法,连接了体系结构分析到具体实现之间的鸿沟,从而有效地保证了软件体系结构的层次性和可跟踪性。良好的软件体系结构求精方法使得软件开发自动化,加速软件产品的交付过程,降低软件成本,以及提高软件质量。针对体系结构求精研究的主要内容,较系统地阐述了几种体系结构求精分类方法,并对求精检测的相关内容作了介绍,最后是对体系结构求精以后工作的展望。
- 李伟李长云
- 关键词：软件体系结构
- 软件动态演化技术被引量：11
- 2008年
- 为适应开放环境和用户需求的变化,软件应该具备在运行时刻自演化的能力,从而满足各种需求变化,因此深入研究动态演化技术显得尤为重要。介绍了软件动态演化的开放性、层次性和整个演化活动的具体过程,讨论了动态演化的语言、模型和平台三者之间的关系以及当前的研究成果,并对已有成果中的实现方法、实用性和特色进行了比较,指出其不足之处。最后提出动态演化技术应重点研究的关键问题,并对其发展前景进行展望。
- 李玉龙李长云
- 关键词：软件体系结构
- 基于信誉度的可信服务发现研究被引量：3
- 2008年
- 服务发现是Web服务框架中的一个关键部分.探讨了Web服务信任的相关概念,根据信任值的特点建立了基于β概率密度函数的信任模型.将服务发现的过程分成两个阶段进行,性能明显提高.最后,通过比较服务的信誉度来选择合适的服务,能够很好地满足用户的期望.
- 李鹏李长云饶居华
- 关键词：信任信誉度
