FRACAS是可靠性工程的重要内容。建立和运行商用飞机FRACAS既是商用飞机可靠性管理的关键活动和保障其安全性、可靠性的重要工作,又是降低其生命周期费用的有效手段。信息技术的发展使FRACAS软件成为开展FRACAS工作的有效工具。然而由于FRACAS系统执行环境复杂、异构和多变,FRACAS自身流程复杂以及流程执行时间长等特点,系统出现异常和错误的可能性大大增加。另外,目前大部分FRACAS软件没有事务特性的支持,或者对这样的特性支持得不够充分,它们缺乏确保系统正确性和系统可靠性的能力;随着环境的复杂化,商用飞机FRACAS软件更需要稳定性、可靠性。工作流管理系统中的事务和事务处理正是解决FRACAS中上述问题的重要概念和关键技术。通过比较FRACAS中的事务与传统事务差异,寻找满足FRACAS系统要求的事务模型。通过对工作流长事务处理方面的研究,参考传统事务模型和多个高级事务模型,将Saga模型进行扩展,作者提出了一种扩展事务模型-多层Saga事务模型(Multi-Level Saga Transaction Model)。本文给出了MSaga模型的形式化描述,并且完成了基于J2EE平台的FRACAS系统,MSaga事务模块的体系结构和具体设计与实现,提高了FRACAS软件的可靠性和健壮性,使得FRACAS软件具备一定的异常处理能力。