有限状态机用于对系统的动态行为建模，一般用状态图来可视化表示，是对反应式系统建模的一种强大工具。但是长期以来状态图仅仅作为软件设计过程中的动态视图，并没有作为一种开发的方法。本论文针对HART协议提出了一种利用XML和构架构件技术，实现HART协议的状态图对应的程序自动生成的方法。 在该方法中，利用XML的强大描述能力减小了在传统的基于程序映射的软件自动生成方法中形式化描述语言与程序实现语言之间过大的概念间隙问题，提高了软件生成的自动化程度。利用构架构件技术扩大了程序生成过程中的原子操作微粒，降低了程序生成的复杂程度。 本论文的结构是：首先介绍了相关的知识HART协议和有限状态机，在此基础上给出了HART协议的状态图，接着详细阐述了选取XML作为形式化描述语言的原因，然后提出了程序生成器的总体设计方案，接着对状态图对应的C语言程序的构架构件的分析、提取，XML伪程序规则的定义和向源程序的映射三个关键部分做了详细的一一介绍。从而实现了程序生成器。最后对本课题做了总结和展望。