浙江省科技计划项目(2007C23087)
- 作品数：3 被引量：11H指数：2
- 相关作者：陈中育陈佳佳钱婕肖春水赵硕更多>>
- 相关机构：浙江师范大学浙江交通技师学院上海大学更多>>
- 发文基金：浙江省科技计划项目浙江省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于范畴论的构件行为组合研究被引量：4
- 2012年
- 针对基于构件开发过程中单个构件功能难于满足用户需求的问题,提出一种利用范畴论对构件行为进行组合的方法,用以实现复杂的业务功能。采用范畴论给出构件的形式语义描述,构件与构件之间的行为交互关系采用图表进行建模。给出一种基于图表推出的构件行为组合方法与推出运算的算法实现。实际应用结果表明,该方法对构件的形式化描述更加精确,构件组合也更加有效快捷。
- 赵硕陈中育肖春水
- 关键词：范畴论形式化方法
- 基于.NET平台的信息系统开发方法被引量：7
- 2009年
- 介绍了软件开发的相关环境、模式以及工具,提出一个基于.NET平台的信息系统的开发框架,以建筑设计项目管理软件开发为实例,对系统设计和实现过程作出技术分析。
- 陈佳佳钱婕陈中育
- 关键词：.NETUML信息系统
- 基于构件行为的场景建模框架
- 2008年
- 采用系统理论术语形式定义构件行为框架,运用轨线集刻画构件行为,通过轨线迁移给出构件行为表示框架,其建模思想不再以输入/输出结构模式为出发点,而是以研究系统构件的布局为基本观点,利用构件之间的互联控制关系,反映出软件系统呈现一种柔性、多目标、连续反应式的动态特征,为构件式系统的场景建模提供了一种新的解决途径.
- 陈中育宋俐陈佳佳
