从制造业的发展看计算机科学和技术.ppt

天津大学计算机科学与技术系 冯志勇教授 制造技术与信息科学 天津大学计算机科学与技术系 冯志勇教授 从制造业的发展看计算机科学与技术的热点问题 天津大学 冯志勇 2007年9月 20世纪制造业的发展 20世纪制造业的特点 F制造业主要是把原料变为产品、完成物质转化（加工、装配）过程的工业 认为只要有资金投入，制造资源几乎可看作是无限的，对自然资源进行无节制开采 产品使用和制造过程所产生的环境污染是几乎可以忽略的，废水、废气大量排放 产品、工艺和设备是相对稳定的，大量生产方式是经济和有效的理想生产方式 21世纪制造业的发展趋势 市场的全球化 产品的个性化、多样化 对环境的影响最小化 制造过程敏捷化 生产企业的专业化 企业变革经常化 市场——生产——服务一体化 产品设计、生产、服务系统信息化 制造系统组织形式的变化 未来制造业信息系统的特点 面向实施过程的信息系统 面向BPR的信息系统 自组织的生长型信息系统 面向产品结构的生产组织管理 面向虚拟企业的信息系统 面向产品全生命周期的信息系统 对计算机技术的需求 系统分析技术(模型驱动的开发MDA) CASE技术 面向Internet的集成技术 智能分析技术 虚拟现实技术(交互\沉浸) 工程分析技术 其它灵巧工具 面向Web 服务的计算环境 在大规模Internet 网络环境下Web 服务功能接口的一致性描述、基于上耦合的多种Web 服务之间的互操作问题、对异构企业信息资源的统一访问、面向领域的Web 服务集成技术与安全机制。 因特网环境中基于Web 服务的、松散耦合、支持可靠安全机制的分布式计算技术。基于XML 的信息表示与交换技术，服务的描述、发布、定位和集成技术，Web 服务的开发、部署、运行和管理技术，提供跨平台、资源共享、协同合作的Web 服务运行平台，拟解决在因特网环境中大规模Web 服务集成及应用。 W3C XML1.0 规范、W3C SOAP1.2 规范、W3C WSDL 1.1 规范、XML 安全方面，遵循W3C XML 加密和签字标准、业界规范，如UDDI.org 的UDDI 1.0规范、IBM WSFL 1.0 规范。 移动计算环境中的软件新技术 在移动计算中要解决动态位置定位、追踪，动态信息获取和交换，动态服务信息的检索和提供，移动对象的登陆和认证，移动切换（handoff）管理等问题。 涉及因特网、IPv6、分布式信息处理、数据库、软件工程、移动Agent 等跨领域研究，是一个研究前沿和热点，且有十分急迫和广阔的应用前景。 软件代理技术 涉及到的标准KQML（Knowledge Query manipulation language）、DAML（Darpa agent markup language）、DAML-OIL（DAML ontology inference layer）、RDF（Resource description framework）、XML。 系统采用分层结构，包括信息层（基于XML的信息互操作）、语义层（基于语义Web的内容查询）、服务层（基于Web服务的信息中介与发现）、代理层（智能代理的通讯、承诺、协作与协商及工作流引擎）、任务层（有关时间、资源、目标、活动与规划的表示、推理与求解）。 高可信软件理论与技术 基于严格数学理论和形式化计算模型研制高可信软件的理论和技术。形式化方法是以形式规约为基础，通过对计算系统的严格推理和分析，得到系统的性质。研究与形式化方法有关的理论和技术如并发实时系统的计算模型、软件模型检测等，可提高软件的可靠性和开发效率，减少其中存在的错误。 软件开发的各个阶段，研究、实现一组辅助的软件工具，如软件验证工具、软件测试工具。 构件化软件生产技术 可视化软件建模技术、终端用户编程技术、领域工程技术、需求工程技术、软件构件标准、软件系统组装技术、应用服务技术、软件构件库技术、软件过程改善技术等方面；主要技术参数是以Internet 环境为基础，与相应运行平台相集成，发展适应广泛构件组装的开发环境和组件。 嵌入式软件新技术 嵌入式软件呈现出诸如动态分布、基于无线通讯网络、实时交互等新的特征。目前嵌入式软件的开发方法、技术和工具等相对于主流商业软件的开发技术来说比较落后。 随着硬件设备计算、存储能力的飞速发展，有必要也有可能将诸如分层抽象控制、面向对象软件设计技术、组件化技术、基于模型的设计与分析、设计模式（Design Patterns）、可重用框架设计（Reusable Framework Design） 、系统结构设计(System Architecture Design)等等成熟的现代软件方法和技术应用于嵌入式软件的开发，在嵌入式软件设计、实现和验证等方面形成一批嵌入式软件新技术，以进一步