共查询到18条相似文献,搜索用时 78 毫秒
1.
2.
本体技术是语义Web的核心。现有的本体方法都是基于集合论的,本文从范畴论的层次分析了集合论数学的局限性,以及这种局限性对现有本体方法的影响,并探讨基于范畴论的本体方法,通过实例系统说明了范畴论本体的构建方法,并指出范畴论本体所克服的现有本体的不足。 相似文献
3.
4.
5.
6.
基于自动机的构件实时交互行为的形式化模型 总被引:1,自引:1,他引:1
采用形式化方法对复杂实时构件系统交互行为进行描述和验证,对于提高系统的正确性、可靠性等可信性质具有重要意义.分析了基于进程代数和自动机的构件交互行为形式化建模方法各自的优缺点,在此基础上提出了基于时间构件交互自动机的建模方法,给出了时间构件交互自动机的相关定义、组合和验证算法.时间构件交互自动机引入了时间限制、时间代价、时间代价计算半环、构件组合层次等概念,既能够描述构件交互情况,又能够清楚地表示出构件系统的体系结构信息和实时信息,便于对系统进行描述和验证.最后,结合具体应用给出了应用示例. 相似文献
7.
面向目标需求语言模型(goal-oriented requirement language,GRL)聚焦于待定的需求,被广泛地应用于业务系统的初始需求建模,其模型的正确性影响到业务系统的开发质量。鉴于业务目标模型的形式化可以验证模型的正确性,提出了一种利用范畴论形式化GRL模型的方法。首先,依据GRL元模型结构,应用范畴论中的态射机制形式化描述GRL模型中目标与目标、目标与任务以及任务与任务等节点之间的关系;然后,通过增加范畴模型中的初始对象和终止对象,设计紧邻序列来表示多个目标与任务实施的因果关系;最后,设计业务目标模型系统的正确性结构性质。应用Web Payment系统实验表明,形式化业务范畴模型能够验证GRL模型的正确性,提高目标建模的质量。 相似文献
8.
构件的插拔与替换是CBSD实现组装开发、支持定制和演化的基本机制,基于行为协议的构件替换性分析与验证是CBSD的核心研究课题。基于有穷自动机理论和面向服务软件构件的特点,提出了构件行为自动机模型以描述构件的行为协议,定义了构件行为替换性的概念体系,以增进软件构件的复用,开发了构件行为替换性的验证方法,以支持构件行为替换性验证的自动执行。 相似文献
9.
基于消息的构件组合运算与构件演化 总被引:2,自引:0,他引:2
根据构件能够接收和发送的消息,扩展了构件接口定义框架,给出了基于消息的构件组合模型,定义了构件的执行路径,对四种组合运算进行了形式化描述,提出并证明了六则构件演化运算.给出了一个实例:把一个没有显示语义的层次系统模型简化为语义明确的树形组合模型,并给出了模型的代数表达式和简化算法. 相似文献
10.
11.
基于范畴的数据降维方法 总被引:1,自引:0,他引:1
范畴理论主要是一些特定数学的对象和映射的概括和抽象,在此利用范畴理论阐述图像分析和识别中的数据降维问题,定义高维数据降维范畴的过程,并以主成分分析范畴和等距映射范畴分别验证了范畴理论应用到图像数据降维问题中的正确性。 相似文献
12.
系统的静态分析能在设计开发阶段发现错误,从而避免了在运行时错误检测技术在系统执行期间带来的负面影响。基于尽可能避免静态错误这一构件测试策略的基本思想提出了一种对构件化软件系统进行静态测试的方法。采用通信模型对数据库服务构件系统进行抽象建模,并结合用于描述构件系统中构件之间交互的形式化方法行为协议,通过对构件系统构件行为协议的一致性验证,从而测试构件交互的正确性。 相似文献
13.
从构件类别概念的来由和作用开始,分析了COM技术中对构件类别支持的不足,并对此提出了新的扩展和实现。最后介绍构件类别技术在基于构件编程中的几种应用。 相似文献
14.
15.
针对粒计算中细粒层到粗粒层的转换问题,提出一种基于范畴论的粒合成形式化方法。以粒结构为对象,将粒结构映射作为态射构成粒结构范畴,利用范畴论的外推实现粒结构合并,并给出相应的粒合成算法GrSA,结合具体案例说明该方法解决粒合成问题的过程。应用结果表明,该方法能够实现粒层之间的转换。 相似文献
16.
构件组装是基于构件的软件开发中的一个重要环节.本文利用线性逻辑描述了具有语义信息的构件结构,描述了独立于具体的计算环境、具有普遍适用性的三种构件组装关系,利用定理证明的方法,根据现存构件的描述和构件组装关系自动生成构件组装的方案,并从被适应的构件描述中推导出复合构件的描述,以提高对构件适应过程的描述和分析能力,为构件组装形式化分析、组装正确性的检验提供了保证,并列出了一些值得进一步研究的问题. 相似文献
17.
构件功能行为测试的研究 总被引:1,自引:0,他引:1
由于构件的内部信息屏蔽和演变速度快等特点,使用者在验证构件所提供的功能与其需求是否真正一致时往往比较困难.我们用接口自动机为构件的行为建模,研究构件功能行为的测试问题.首先提出基于简单运行的测试准则,然后介绍了从构件模型中生成简单运行序列并获得功能行为的算法,最后用一个实例对所提出的方法进行了说明并与相关方法进行了对比.文中介绍的方法在系统级别对构件整体行为进行测试,可自动生成测试序列,有利于构件的验证和测试. 相似文献