Automatically generating Ada95 codes for concurrent objects

Abstract

It is reported that Ada95 is a full object-oriented programming language. Ada95's task type mechanism could be considered as a model of a concurrent object-oriented problem solution. However, there is still a gap between the language constructions of Ada95 and the general O-O concept as well as description. The complexity of Loeper's (1997) template of Ada95 codes for concurrent object is convincing evidence. Based on Loeper's concurrent object template, the authors present a user description of concurrent object classes in the general O-O concept and the implementation of automatic generation of Ada95 codes from the description.