A description of dynamic behavior for compilers based on object oriented modeling (Q1313736)

To represent well-defined module structures, dynamic behaviors, and their correlations in a compiler, compiler models are proposed by two aspects of view: the object model describing a static structure and the dynamic model describing a dynamic behavior of compilers. The object model for compilers represents the language semantics of source and target languages by using an object-oriented modeling technique. The dynamic model regards a compilation process as a series of state transitions of the object model. Therefore, each dynamic behavior of components in the object model such as an object, an aggregation, an association, and so on, is defined as states and dynamic interactions among states. From the topological analysis of the dynamic model, a calling sequence of class operations is determined and also it allows us to generate a control structure of a compiler.