首页> 中文会议>中国计算机学会软件工程专委会2006年年会 >软件体系结构模型的范畴表示

软件体系结构模型的范畴表示

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文将现有体系结构模型的形式化描述系统和验证系统通过范畴理论进行刻画,通过将静态结构描述和动态行为描述转化为范畴表示,使体系结构模型具有了统一的描述语言和数学基础;将体系结构精化过程中的正确性准则和精化模式定义为范畴中的态射属性和函子变换属性,以此来展示范畴理论在体系结构研究中的应用前景.

著录项

来源
《中国计算机学会软件工程专委会2006年年会》|2006年|169-169176|共2页
会议地点长沙
作者
何智勇; 贲可荣;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类软件工程;
关键词
体系结构; 范畴; Perri网;
入库时间 2022-08-17 10:42:40

相似文献

中文文献
外文文献
专利

1. 软件体系结构模型的范畴表示 [J] . 何智勇 ,贲可荣 . 计算机工程与科学 . 2006,第0z2期
2. 图表示范畴的两个子范畴 [J] . 林卫强 . 数学研究 . 2001,第004期
3. 表示成涵子范畴的模糊范畴 [J] . 袁学海 . 辽宁师范大学学报：自然科学版 . 1995,第001期
4. 集装箱现场控制系统的新型软件体系结构描述语言表示及实现 [J] . 杨捷 ,全亮 . 中国科技信息 . 2005,第023期
5. 集装箱现场控制系统的新型软件体系结构描述语言表示及实现 [J] . 杨捷 ,全亮 . 中国科技信息 . 2005,第23A期
6. 基于群范畴的L-fuzzy结构提升范畴及其表示 [C] . GUI Yue-yu ,桂跃宇 ,TANG Jian-gang . 中国系统工程学会模糊数学与模糊系统专业委员会第十六届学术会议 . 2012
7. 传输范畴表示到群表示的转移映射 [A] . 陈雪梅 . 2020

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号