基于范畴论的业务目标模型形式化

来源 :计算机应用研究 | 被引量 : 3次 | 上传用户:ynshisss
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
面向目标需求语言(goal-oriented requirement language,GRL)模型聚焦于待定的需求,被广泛地应用于业务系统的初始需求建模,其模型的正确性影响到业务系统的开发质量。鉴于业务目标模型的形式化可以验证模型的正确性,提出了一种利用范畴论形式化GRL模型的方法。首先,依据GRL元模型结构,应用范畴论中的态射机制形式化描述GRL模型中目标与目标、目标与任务以及任务与任务等节点之间的关系;然后,通过增加范畴模型中的初始对象和终止对象,设计紧邻序列来表示多个目标与任务实施的因果关系
其他文献
伴随着经济全球的发展趋势日益盛行,促使各国间经济文化的大融合。在这种新形势下,多元化这一概念由此形成。并且伴随着各国文化交流的发展趋势下,这一多元化概念充分的融入
传统单路线性工作流难以满足高并发、时效性高的管理事务需求,而采用多层网状分布式架构可以有效解决此类问题。针对分布式审批工作流业务系统中存在的数据交互安全问题,提出了一种安全性较高、签名长度较短的多重短签名方案。首先,在随机预言机模型和CDH困难问题假设下,证明了签名方案的安全性;基于此方案设计了分布式审批工作流交互协议,并进行了安全性分析;运用C语言实现了签名方案,并与同类签名方案进行了效率比较;
为了增加软岩巷道支护强度,结合山西中部某矿区地质背景,提出了钢管混凝土支架支护技术,并对其进行了支护设计。应用效果表明,钢管混凝土支架支护技术减小了二次返修工人的劳
目的 探讨STEMI溶栓治疗的观察及护理特点。方法 对STEMI溶栓治疗患者126例的临床资料进行回顾性分析,了解溶栓治疗后易出现的并发症和护理常规。结果 本组STEMI溶栓治疗再通
为海内外广泛瞩目的一年一度的中国发展高层论坛于今年3月17日在北京隆重举行,本届论坛的主题是“迈向新增长方式的中国”。之所以选择这个主题,是因为在中国经济发展和改革的
【正】 我们经常遇到这样一类句子:“给”也可以代替“被”。(张志公《语法学习讲话》,P93)在这里,“给”和“被”的性质都不再是介词,它们表示的是“给”、“被”这两个词本
针对现有医学图像加密算法在加密效率和安全性上的不足,提出一种基于2D sine logistic混沌映射的医学图像小波域加密算法。算法首先利用整数小波变换将医学图像从空域转换为频域,充分打破像素间的相关性;其次,利用2D sine logistic混沌映射生成混沌序列,选取三级小波分级的低频系数LL3进行扩散和置乱加密,提高加密效率;并且将二级小波分解的中高频系数HL2和LH2进行扩散加密,解决加
提出了一种多物体环境下基于改进YOLOv2的无标定3D机械臂自主抓取方法。首先为了降低深度学习算法YOLOv2检测多物体边界框重合率和3D距离计算误差,提出了一种改进的YOLOv2算法。利用此算法对图像中的目标物体进行检测识别,得到目标物体在RGB图像中的位置信息;然后根据深度图像信息使用K-means++聚类算法快速计算目标物体到摄像机的距离,估计目标物体大小和姿态,同时检测机械手的位置信息,计
甲状腺功能亢进病(甲亢)是一种自身免疫疾病.研究发现,免疫调节及包括因子的异常是本病的发病原因之一.我们测定了80例甲亢患者血清白细胞介素-2(IL-2)和白细胞介素-6(IL-6)