组合软件理论和设计方法学研究

基于网络应用的分布对象计算标志着计算机软件发展新纪元的开始，软件工程范型向组合式软件工程的转移必将引发软件制造方式的根本变革。本项目研究目标在于探索和解决这种组合软件新范型的基础理论和方法学问题，包括计算模型、语义理论、工作流程、系统结构、互操作协议、以及支持组合软件设计方法学的关键技术问题。