论文部分内容阅读
构件匹配依靠精确描述构件的语义,而形式规格说明基于严格的数学概念和理论。将两者结合起来,首先利用Z语言描述属性、方法和构件的类型,并在此基础上,通过一个例子,给出了各种匹配机制的公理描述。最后,介绍了构件匹配的一个重要应用———构件检索。
基于形式规格说明的构件匹配
【摘 要】
：
构件匹配依靠精确描述构件的语义,而形式规格说明基于严格的数学概念和理论。将两者结合起来,首先利用Z语言描述属性、方法和构件的类型,并在此基础上,通过一个例子,给出了各种匹配机制的公理描述。最后,介绍了构件匹配的一个重要应用———构件检索。
【机 构】
：
上海大学计算机学院
【出 处】
：
计算机应用与软件
【发表日期】
：
2006年10期
【基金项目】
：
本文受国家自然科学基金（60373072）资助.
其他文献
算法和分析表明，随着带宽延迟的增加，不管采用何种队列调度策略，TCP都变得不稳定和难于收敛。提出了一种新的拥塞控制机制-XCP（eXplicit Control Protocol），一个比TCP更加有效和公
当前，郑州市正处在加速发展工业化、城镇化和现代化的关键时期，大力发展职业教育。对于促进经济发展，扩大就业规模。推动产业结构优化调整和转变经济增长方式，走新型工业化道路，提
甘特图是工程项目进行工期计划和控制的有效工具。提出了一种基于JSP技术的项目甘特图绘制方法。该法适用于B/S模式,可广泛应用于W eb的工程项目管理信息系统开发。
随着知识经济时代的到来和信息产业的高速发展，我们进入了一个多元化的信息社会。信息化已成为世界性潮流，加快推进信息化是世界各国普遍关注的焦点。作为主要的信息处理工具—
8月7日-8日．平顶山市2012年社区教育一作研讨会在鲁山县召开。各县（市、区）教体局主管社区教育工作的领导、社区教育业务科室负责人．各社区学院业务院长、业务科室负责人．社区教育
10月23日．新乡市召开职业教育工作会议。市长王战营同志做重要讲话。市政府常务副市长王治通．市委常委、副市长王晓然．副市长刘森等出席会议．副市长杨书廷主持会议。会议表彰了职
为适应当前企业对技能型人才需求量大、培养周期短、岗位技能专的要求，在校企双方紧密合作、共建共赢的基础上，我校实施了“订单式”人才培养模式改革。成立了专业建设指导委员会，建立企业深度参与人才培养方案制订、专业建设、课程开发、师资队伍建设、实训基地建设和质量评价的校企合作机制。形成了“对接企业需求组建订单班、对接职业标准构建课程体系、对接企业文化强化职业素养”的订单班教学与管理机制。 对接职业标
简述了在一个需求多变的环境下建立一个相对独立的自定义报表工具的必要性及其必须具备的基本功能。在综合分析了当前各类常用报表工具的优缺点之后对它们进行了分类,并选择其一恰当者作为我们开发自定义报表工具的基础。然后详细阐述了一个具体的报表工具的设计方法,数据模型,用户接口及执行流程。最后,阐述了该报表工具在几个不同类型的应用程序中的使用效果,并指出了它的局限性和有效性。
浮点运算对衡量一台计算机的性能和可用性占着很大的比重,浮点功能测试是计算机功能测试的重要组成部分。在研究分析了IEEE754浮点标准相关内容和现有浮点测试包的基础上,提出了浮点测试技术的基本方法和策略。