本论文集共收录了论文历篇，涉及了软件建模语言、体系结构与测试、构件与中间件、XML、过程、测试与质量、应用等方面，这些工作基本上反映了我国软件科技人员近期在软件技术与应用方面的最新进展。

软件是系统逻辑的体现，人们抽象的经验与知识正在逐步由软件精确地体现。软件将因此而变得无处不在，成为信息社会的核心。对于我国的软件而言，目前的发展在基础软件、开发技术、产业化程度等方面还存在一些不足。这使得中国软件产业在总体规模、技术开发能力等方面与中国经济发展和社会进步不相适应。
　　因特网时代的到来与国家优惠政策的推出，为我们提供了难得的契机。
　　首先，软件运行平台正在从单机环境发展到网络环境，这将导致软件在反映对象、开发基础、关注内容开发方法、运行方式、产品形态等方面的重要发展。近年来，电子服务(E—Service)、业务流程重组(BPR)、企业应用集成(EAI)、面向侧面的编程(AOP)、特征交互(FI)、主体(Agent)、中间件(Middleware)、应用服务提供商(ASP)、极端编程(XP)等新概念、新技术不断涌现。更为重要的是，上述技术多数尚处于起步阶段，存在着很大的发展空间。这给国内广大的软件工作人员提供了十分有利的赶超机会。
　　其次，国家在产业推动、技术引导、人才培养等方面制定了一系列有力的政策与措施。2001年国家发布18号文件，各级政府相继推出关于软件园区优惠政策，2002年国家教育部与国家发展计划委员会批准成立示范性软件学院，近期国家又在863计划中设立软件专项等等。相关政策正在逐步具体化，其效果也正在逐步显现出来。作为软件从业人员，应当抓住当前机遇，积极探索与国家需求相吻合、与产业发展相结合、与国际趋势相适应的技术，并努力使其产业化、实用化。
　　为了增强国内同行之间的学术交流，总结我国软件技术与应用的现状与最新进展，探讨学科前沿发展方向，中国计算机学会软件工程专业委员会在北京大学主办这次2002全国软件与应用会议(NASAC2002)。这是软件工程专业委员会于2001年4月成立以来，继2001全国软件技术与软件产业研讨会(大连)之后的又一次大型全国会议，我衷心希望在大家的共同努力下，将该系列会议办成我国软件界的一个品牌会议。
　　本论文集共收录了论文历篇，涉及了软件建模语言、体系结构与测试、构件与中间件、XML、过程、测试与质量、应用等方面，这些工作基本上反映了我国软件科技人员近期在软件技术与应用方面的最新进展。我十分高兴地看到，本次会议实现了投稿、审稿的全部电子化，工作流程逐步与国际接轨，我希望我们将来在国际化方向上能走得更远。
　　本次会议得到了北京大学、北京航空航天大学、复旦大学、国防科技大学、上海交通大学、北京工业大学、吉林大学、重庆大学等软件工程专业委员会成员单位的赞助，以及机械工业出版社华章分社的大力支持，我向他们表示衷心的感谢。同时，我向国内软件科技人员对于这次会议的积极响应与大力支持表示感谢。
　　预祝大会取得圆满成功!
　　杨芙清
　　2002年10月

梅宏 王千祥：暂无简介

Sessionl　建模语言　主持人：赵文耘
层次自动机的切片分析技术
基于UML的JBOO的研制
基于UML的面向对象建模过程监控与跟踪工具的研究
带时间约束的UML活动图模型的分析
Agent建模语言AUML的研究
商场销售系统面向对象分析与设计
大规模分布式对象系统设计中的对象状态分布策略
对象建模工具JBOO3．0的文档和代码生成技术研究
Session 2　体系结构与模式　主持人：李明禄
基于模式的体系结构构造方法
由市场驱动到控制台。信息中心。客户端模式
分布式实时系统的软件体系结构风格研究
运用于产品线的软件体系结构风格
适应性系统的软件体系结构实例研究
基于Clinet/Server体系结构的组态软件
Web应用程序的质量因素及其对Web应用体系结构的影响
基于构件耦合法设计系统体系结构及实现技术
Session 3　构件与中间件　主持人：王　戟
面向Web Service中间件的应用支撑环境
基于优先级的实时中间件研究与实现
一种基于软件构件的信息系统复用模型
面向领域的构件运行支撑平台研究与实现
基于Web Services技术的商业智能系统模型
基于构件的软件开发
多构件库统一刻面检索机制
J2EE框架应用中的组件开发方法研究
Session 4　XML与模型　主持人：赵保华
面向XML的数据库设计工具
基于XML的构架描述语言的研究
XML文本文档检索
ND_MATRMi:基于Internet的移动agent系统基准模型
虚拟企业服务中间件模型与方法
基于活动图的工作流引擎设计与实现
一种支持业务过程设计的数据库集成自动化模型
软件生长过程模型与Web软件开发
Session 5　过程　主持人：金　芝
基于RUP的机构软件过程数据库框架的研究
基于RUP的软件过程流程配置方法与工具研究
基于CMM的软件过程质量管理模型
基于类库的编译器开发环境研究
基于任务流程的协同项目管理研究
．NET环境下结合RUP进行Agile编程的研究
需求工程参考框架
面向目标的非功能需求分析方法GONFR及其工具研究
Session 6　测试与质量　主持人：谢　冰
软件复杂性与测试用例集价值
软件可测试性研究综述
面向对象软件测试的探讨
使用结构化测试组织模型实施快速开发
基于聚类思想的软件可靠性模型选择
基于模型诊断算法及应用软件实现
软件质量保障平台Softev的设计和实现
基于重用的软件过程改进模型
度量面向对象软件设计
Session 7　安全与理论　主持人：陶先平
PKUAS的安全机制
一种基于构造类别代数的协议一致性测试方法
一种面向对象Petri网模型的定义与分析
CC准则与信息系统安全保护等级评估研究
解码器通信协议的一种形式化方法
应用安全软件工程方法开发可信DBMS的过程研究
通过转换实现在C十十中增加多态类型定义
基于COTS构件的证书生成工具
Session 8　应用　主持人：刘　超
UML在管理信息系统中的应用
基于组件模式的分布式报表系统的设计
柔性报表系统开发平台的设计与实现
扫描文档图像兴趣域的自动检测及编码
扫描文档图像压缩的多尺度分割算法
MIS客观系统需求的描述、
关于企业级信息交换平台中结构化数据传输的应用研究
支持灵活定制的报表工具设计与实现
附　杨芙清院士学术、教育及产业建设思想研讨会文集