论文摘要
目前,软件构件技术发展成为支持软件复用的核心技术,但是这种技术面临着许多问题,比如构件组装机制不够灵活,构件服务抽象能力欠缺,没有编程语言直接支持构件开发和组装等。为解决面向构件软件开发存在的问题,本文从程序设计语言的角度,讨论了过程式语言和面向对象语言对面向构件开发支持的不足,设计了一种新型的面向构件编程语言原型Bichon。Bichon语言强调构件静态行为和构件运行时行为的分离,以此为指导原则进行构件模型定义,构件组装,面向构件编程语言的研究。引入了构件、静态接口、动态接口、静态连接、动态连接等概念,定义了支持面向构件开发的构件模型,并以此构件模型为依据设计出面向构件编程语言Bichon。通过分离静态时刻连接和运行时连接,将构件交互的静态行为和运行时行为分离。构件组装方法分为静态合成和动态组装两种,提高了构件组装的安全性。连接关系分为一对一,一对多,多对多三种,较好地描述了客观世界。事件、回调、重写和消息分派等语言机制的支持,使得面向构件的软件开发更加灵活。Bichon语言较好地解决了现有编程语言在面向构件软件开发中存在的缺陷。给出了Bichon语言原型的核心语法,构件动态连接的运行时语义描述,类型系统。构建了Bichon语言编译器原型,涉及到编译器的结构,词法、语法分析,抽象语法树的设计,编译遍的设计,类型系统和代码生成技术。