柔性软件体系结构形式化描述方法研究

针对普使计算环境对软件体系结构提出的新要求，应用构件技术和中间件技术研究的新成果，对软件体系结构中的构件、连接器与配置元素的机理、行为和实现的途径开展研究，采用本体论方法结合描述逻辑和框架系统对柔性软件体系结构进行形式化描述的方法研究。本研究对探索普适计算环境下的新型程序模型、促进基于新一代互联网软件系统的研究与开发有重要意义。