元程序设计方法实现的状态机复合者  

Meta- Programming State Machine Composer

作　　者：蔡文杰[1] 

机构地区：[1]中山大学计算机科学系,广州510275

出　　处：《中山大学研究生学刊（自然科学与医学版）》2003年第4期94-102,共9页Journal of the Graduates Sun YAT-SEN University(Natural Sciences.Medicine)

摘　　要：针对工作流系统在面向过程和面向功能方面的多变性,本文根据组件系统在面向功能方面的灵活性和有限状态机作为一种形式化方法能够清晰描述工作流过程的特点,提出了基于元程序设计方法的状态机复合者。我们采用了元层次体系结构。引入活动组件,给出了状态机和动作组件元模型以及状态机复合者的形式化描述,从而显著的提高了工作流系统的可适配性,提出了一种可行的通过元对象对程序进行配置的结构化程序设计方法。Based on the need of flexibility of the process - oriented aspect and the function - oriented aspect in the workflow system, in this paper we demonstrate the approach of Meta - Programming State Machine Composer in that component system provides flexibility for function designing and state machine specifies the formal description of procedure designing. Using meta level architect, introducing activity components, giving formal specification of the meta model of state machine, our model improves the adaptability of the workflow system remarkably and presents a feasible structure programming method through which meta objects can configure the program.

关 键 词：组件系统 有限状态机 工作流 元程序设计方法 状态机复合者 元层次体系结构 动作组件 组件复合 

分 类 号：TP311.11[自动化与计算机技术—计算机软件与理论]