|
目录
|
SvcV-10b服务状态转换说明 |
作者:俎涛,张贵显(火龙果科技) |
625 次浏览 |
6次 |
|
|
动机: 更好的了解服务状态和转换,识别服务中可能出现的错误或漏洞 。
内容: 描述了 服务的状态随事件发生的变化。 定义服务必须提供的可能状态,以及这些状态之间可能的转换 。
用途: SvcV-10b 的用途包括:
- 状态,事件和状态转换的定义(行为建模)。
- 识别约束。
SvcV-10b 将事件与资源状态关联起来,并描述从一种状态到另一种状态的转换。
SvcV-10b 基于状态图。状态机被定义为“描述某些动态视图元素的所有可能行为的规范。行为被视为特定状态图的遍历,这些状态图由一个或多个连接的过渡弧连接,这些过渡弧由一系列事件实例的调度触发。在遍历期间,状态机执行一系列与状态机的各种元素相关联的操作。”状态图可以明确地转换为结构化的文本规则,这些规则指定事件的时序方面以及对这些事件的响应。然而,状态图的图形形式通常可以对规则集的完整性进行快速分析,并检测死角或缺失条件。如果没有在解决方案分析阶段早期检测到这些错误,通常会导致现场功能出现严重的行为错误,并导致昂贵的纠正工作。
SvcV-10b 从资源的角度对状态转换进行建模,重点关注资源如何响应刺激 ( 例如,触发器和事件 ) 。在 OV-6b 操作状态转换描述中,这些响应会根据所应用的规则集或条件以及接收刺激时资源的状态而有所不同。状态的变化称为过渡。每个转换都根据特定的事件和当前状态指定响应。动作可能与给定的状态或状态之间的转换相关联。状态及其关联的动作指定资源或服务功能对事件的响应。当事件发生时,下一个状态可能会根据当前状态 ( 及其关联的操作 ) 、事件以及规则集或保护条件而变化。
SvcV-10b 可用于描述 SvcV-4 服务功能描述中描述的服务功能的详细排序。然而, SvcV-10b 中包含的动作和 SvcV-4 中的功能之间的关系取决于架构描述的目的和模型中使用的抽象级别。 SvcV-4 服务功能描述中未完全表达响应外部和内部事件的功能的显式排序 。 SvcV-10b 可用于反映功能的显式顺序、单个功能内部动作的顺序或与特定资源相关的功能顺序。
SvcV-10b 模型中的状态可以嵌套。这样就可以创建相当复杂的模型来表示服务行为。根据架构项目的需要, SvcV-10b 可以单独使用,也可以与 SvcV-10c 服务事件跟踪描述一起使用。
SvcV-10b 示例:
SvcV-10b建模说明(建模工具EA):
Toolbox |
说明 |
|
Resource State:资源状态
Resource State Machine:资源状态机
Service Access:服务访问
|
|
625 次浏览 |
6次 |
|
|
|