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

针对工作流系统在面向过程和面向功能方面的多变性，本文根据组件系统在面向功能方面的灵活性和有限状态机作为一种形式化方法能够清晰描述工作流过程的特点，提出了基于元程序设计方法的状态机复合者。我们采用了元层次体系结构，引入活动组件，给出了状态机和动作组件元模型以及状态机复合者的形式化描述，从而显著的提高了工作流系统的可适配性，提出了一种可行的通过元对象对程序进行配置的结构化程序设计方法。