The Prototype Of A Component-oriented Programming Language

Currently, the software component technology becomes the core technology to support software reuse. But many problems still exist, such as inflexible component assembly mechanism, lack of abstraction of component services and lack of programming languages for supporting component development and assembly directly. The procedural language and object-oriented language lack support for component development. To solve the problems on the component-oriented software development via programming language, the prototype language Bichon, a new component-oriented programming language, is designed.The definition of component models, component assembly, component-oriented programming language are researched, guided by the principle of separation of the static behavior of components and run-time behavior of the component which Bichon emphasizes. Component model are defined with introduction of the component, static interface, dynamic interface, static connection, dynamic connection to support the component-oriented software development. Based on the component model, the component-oriented programming language Bichon is designed. By separating the static connection and run-time connection, separation of the static behavior and run-time behavior of the component interaction are achieved. Component assembly is achieved by both static assembly and dynamic assembly to improve the safety of the component assembly. The relationship among components can be one-to-one, one-to-many, or many-to-many relationship for describing the objective world better. The language mechanism such as events, callbacks, and overriding and message dispatch are supported, so component-oriented software development can become more flexible.Bichon solves defects of existing programming languages for component-oriented software development. The core language syntax, the run-time semantic of dynamic connection, and the type system are presented. A prototype compiler is described by discussing the structure of the compiler, lexical and syntax analysis, design of abstract syntax tree, complier pass, type system, and code generation technology.