1、2023-1-17天津大学计算机科学与技术系 冯志勇教授32023-1-17天津大学计算机科学与技术系 冯志勇教授62023-1-17天津大学计算机科学与技术系 冯志勇教授92023-1-17天津大学计算机科学与技术系 冯志勇教授102023-1-17天津大学计算机科学与技术系 冯志勇教授112023-1-17天津大学计算机科学与技术系 冯志勇教授12面向Web Web 服务的计算环境在大规模在大规模Internet Internet 网络环境下网络环境下Web Web 服务功能接口的一致性描述、服务功能接口的一致性描述、基于上耦合的多种基于上耦合的多种Web Web 服务之间的互操作问题、对
2、异构企业信息服务之间的互操作问题、对异构企业信息资源的统一访问、面向领域的资源的统一访问、面向领域的Web Web 服务集成技术与安全机制。服务集成技术与安全机制。因特网环境中基于因特网环境中基于Web Web 服务的、松散耦合、支持可靠安全机制的服务的、松散耦合、支持可靠安全机制的分布式计算技术。基于分布式计算技术。基于XML XML 的信息表示与交换技术，服务的描的信息表示与交换技术，服务的描述、发布、定位和集成技术，述、发布、定位和集成技术，Web Web 服务的开发、部署、运行和管服务的开发、部署、运行和管理技术，提供跨平台、资源共享、协同合作的理技术，提供跨平台、资源共享、协同合作的
3、Web Web 服务运行平台，服务运行平台，拟解决在因特网环境中大规模拟解决在因特网环境中大规模Web Web 服务集成及应用。服务集成及应用。W3C XML1.0 W3C XML1.0 规范、规范、W3C SOAP1.2 W3C SOAP1.2 规范、规范、W3C WSDL W3C WSDL 1.1 1.1 规范、规范、XML XML 安全方面，遵循安全方面，遵循W3C XML W3C XML 加密和签字标准、加密和签字标准、业界规范，如业界规范，如UDDI.orgUDDI.org 的的UDDI 1.0UDDI 1.0规范、规范、IBM WSFL 1.0 IBM WSFL 1.0 规范。规范
4、。2023-1-17天津大学计算机科学与技术系 冯志勇教授13移动计算环境中的软件新技术 在移动计算中要解决动态位置定位、追踪，动在移动计算中要解决动态位置定位、追踪，动态信息获取和交换，动态服务信息的检索和提态信息获取和交换，动态服务信息的检索和提供，移动对象的登陆和认证，移动切换供，移动对象的登陆和认证，移动切换（handoffhandoff）管理等问题。）管理等问题。涉及因特网、涉及因特网、IPv6IPv6、分布式信息处理、数据库、分布式信息处理、数据库、软件工程、移动软件工程、移动Agent Agent 等跨领域研究，是一等跨领域研究，是一个研究前沿和热点，且有十分急迫和广阔的应个研究
5、前沿和热点，且有十分急迫和广阔的应用前景。用前景。2023-1-17天津大学计算机科学与技术系 冯志勇教授14软件代理技术 涉及到的标准KQML（Knowledge Query&manipulation language）、DAML（Darpa agent markup language）、DAML-OIL（DAML ontology inference layer）、RDF（Resource description framework）、XML。系统采用分层结构，包括信息层（基于XML的信息互操作）、语义层（基于语义Web的内容查询）、服务层（基于Web服务的信息中介与发现）、代理层（智能代
6、理的通讯、承诺、协作与协商及工作流引擎）、任务层（有关时间、资源、目标、活动与规划的表示、推理与求解）。2023-1-17天津大学计算机科学与技术系 冯志勇教授15高可信软件理论与技术 基于严格数学理论和形式化计算模型研制高可信软件的理论和技术。形式化方法是以形式规约为基础，通过对计算系统的严格推理和分析，得到系统的性质。研究与形式化方法有关的理论和技术如并发实时系统的计算模型、软件模型检测等，可提高软件的可靠性和开发效率，减少其中存在的错误。软件开发的各个阶段，研究、实现一组辅助的软件工具，如软件验证工具、软件测试工具。2023-1-17天津大学计算机科学与技术系 冯志勇教授16构件化软件生
7、产技术 可视化软件建模技术、终端用户编程技术、领域工程技术、需求工程技术、软件构件标准、软件系统组装技术、应用服务技术、软件构件库技术、软件过程改善技术等方面；主要技术参数是以Internet 环境为基础，与相应运行平台相集成，发展适应广泛构件组装的开发环境和组件。2023-1-17天津大学计算机科学与技术系 冯志勇教授17嵌入式软件新技术 嵌入式软件呈现出诸如动态分布、基于无线通讯网络、实时交互等新的特征。目前嵌入式软件的开发方法、技术和工具等相对于主流商业软件的开发技术来说比较落后。随着硬件设备计算、存储能力的飞速发展，有必要也有可能将诸如分层抽象控制、面向对象软件设计技术、组件化技术、基
8、于模型的设计与分析、设计模式（Design Patterns）、可重用框架设计（Reusable Framework Design）、系统结构设计(System Architecture Design)等等成熟的现代软件方法和技术应用于嵌入式软件的开发，在嵌入式软件设计、实现和验证等方面形成一批嵌入式软件新技术，以进一步有效地解决由于嵌入式软件的各种特征所引起的软件复杂性问题。2023-1-17天津大学计算机科学与技术系 冯志勇教授18信息网格定义：构建一体化的智能信息处理平台，集成海量的异构信息、数据等资源，为用户提供统一的信息访问方式。目的：对广域网上分布、异构、动态的信息资源，建立一种新
9、的信息集成方法，提供信息统计、分析及处理工具，实现海量、异构信息源的一体化的访问方式。主要技术特征：（1）面向海量的信息处理及服务的高性能计算机；（2）具有自配置、自优化、自保护和自修复功能的且具有海量存储能力的分布式网络动态均衡存储系统；（3）基于Grid 的信息集成技术。包括信息资源的发布、定位、搜索与选择，各类信息和服务的协调、重整与集成。提供全局统一的管理、访问和控制方法；（4）海量信息的数据统计方法、分析技术及处理工具；（5）基于Grid 的信息搜索和知识挖掘。自主调整信息查询路径和组织方式，实现信息网格对于信息搜索的反馈机制，具有知识积累和自主学习能力。（6）满足On-Demand
10、 可定制的信息网格服务。2023-1-17天津大学计算机科学与技术系 冯志勇教授192023-1-17天津大学计算机科学与技术系 冯志勇教授202023-1-17天津大学计算机科学与技术系 冯志勇教授212023-1-17天津大学计算机科学与技术系 冯志勇教授222023-1-17天津大学计算机科学与技术系 冯志勇教授23TypeAttributeInstanceRelationRelaInstFunctionFuncInstBlackboardMessageAgendaControlContextMessagHandleMessageInputMessageQueueBlackboardAg
11、entSentenceConjSntcDisjSntcNegSntcContextRelaSntcPlanPlanLibraryTransactionActionPerfromGoalStructGoalCntxibmcenterbaseblackboardcontrolsentenceplangoaleventlistenerexceptionDATAUPDATEEXEPERMIT2023-1-17天津大学计算机科学与技术系 冯志勇教授242023-1-17天津大学计算机科学与技术系 冯志勇教授252023-1-17天津大学计算机科学与技术系 冯志勇教授262023-1-17天津大学计算机科
12、学与技术系 冯志勇教授27用用 户户 界界 面面持持 久久 层层 代代 码码 生生 成成 器器字字 段段 配配 置置 文文 件件查查 询询 分分 解解 器器优优 先先 级级 管管 理理 器器数数 据据 合合 并并 器器Hibernate配配 置置 文文 件件持持 久久 层层 代代 码码（*.hbm.xm l，*.java）查查 询询生生 成成返返 回回 结结 果果2023-1-17天津大学计算机科学与技术系 冯志勇教授28用 户 界 面使 用M i d d l e g e n 生成*.h b m.x m l文 件使 用 h b m 2 j a v a生 成 p o j o 文 件使 用 j d
13、 o m 生 成该 数 据 源 的H i b e r n a t e 配 置文 件删 除 对 应 于 该 数 据源 的*.h b m.x m l 文 件和 p o j o 文 件打 开 字 段 配 置界 面配 置 字 段保 存 字 段 配 置文 件打 开 优 先 级 配置 界 面配 置 优 先 级保 存 优 先 级 管理 文 件解 析 字 段 配 置文 件解 析 优 先 级 管理 文 件按 照 优 先 级 顺序 分 别 访 问 每个 数 据 源删 除 对 应 于 该 数 据 源的 H i b e r n a t e 配 置 文 件添 加 数 据 源？修 改 数 据 源？Y e s删 除 数 据
14、 源？配 置 字 段？N oY e sY e s配 置 优 先 级？N oY e s生 成 该 数 据 源 的p r o p e r t i e s 文 件Y e s修 改 该 数 据 源 的p r o p e r t i e s 文 件从 该 数 据 源 的p r o p e r t i e s 文 件 中读 取 数 据 源 信 息Y e s在 一 个 新 窗 口 中显 示 该 数 据 源 的相 关 信 息N oY e sN oN o查 询？退 出 系 统？Y e sN oN o关 闭 窗 口删 除 对 应 于 该 数 据 源的 p r o p e r t i e s 文 件返 回 结 果查
15、 看 数 据 源？2023-1-17天津大学计算机科学与技术系 冯志勇教授292023-1-17天津大学计算机科学与技术系 冯志勇教授302023-1-17天津大学计算机科学与技术系 冯志勇教授312023-1-17天津大学计算机科学与技术系 冯志勇教授322023-1-17天津大学计算机科学与技术系 冯志勇教授332023-1-17天津大学计算机科学与技术系 冯志勇教授342023-1-17天津大学计算机科学与技术系 冯志勇教授352023-1-17天津大学计算机科学与技术系 冯志勇教授362023-1-17天津大学计算机科学与技术系 冯志勇教授372023-1-17天津大学计算机科学与技术系 冯志勇教授382023-1-17天津大学计算机科学与技术系 冯志勇教授392023-1-17天津大学计算机科学与技术系 冯志勇教授402023-1-17天津大学计算机科学与技术系 冯志勇教授412023-1-17天津大学计算机科学与技术系 冯志勇教授42文件结构文件结构名称空间管理名称空间管理查询编辑器查询编辑器属性页属性页图形图形|模型模型|脚本脚本|目标格式目标格式2023-1-17天津大学计算机科学与技术系 冯志勇教授432023-1-17天津大学计算机科学与技术系 冯志勇教授44
