用于 Web 服务可靠性分析的基于有限状态机的评估模型

如今，由于响应时间的需求每时每刻都在缩短，人们非常重视在更短时间内完成所需的变更。业务逻辑评估模型（Business Logic Evaluation Model, BLEM）是针对业务逻辑自动化提出的解决方案，旨在帮助业务专家无需昂贵的定制编程即可编写复杂的业务规则和复杂的计算。BLEM 具有足够的能力，通过在运行时分析和评估修改后业务逻辑的可计算性、可追溯性及其他准则，来处理服务可管理性问题。Web 服务和 QoS 的成本随服务的可靠性而显著增加。因此，当今的服务提供商认为可靠性是主要因素，为了达到预期的可靠性水平，服务可靠性中的任何问题都应被即时克服。在本文中，我们提出了一种使用有限状态机（Finite State Machine, FSM）进行 Web 服务可靠性分析的业务逻辑评估模型，其中 FSM 被扩展以分析组合服务集合（即处于组合中的服务）的可靠性，方法是通过分析组合中每个参与服务的可靠性及其功能工作流过程。FSM 被用于度量质量参数。如果业务逻辑发生任何变更，FSM 将自动度量其可靠性。