From 1a58bbe76eba50160565d02e63a5c3a4d5424d8e Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Mon, 8 Jun 2020 08:45:01 +0200 Subject: spec: Generalize directive to action requirements --- spec/spec/requirement-action-transition-post.yml | 27 ++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 spec/spec/requirement-action-transition-post.yml (limited to 'spec/spec/requirement-action-transition-post.yml') diff --git a/spec/spec/requirement-action-transition-post.yml b/spec/spec/requirement-action-transition-post.yml new file mode 100644 index 00000000..7fca2f11 --- /dev/null +++ b/spec/spec/requirement-action-transition-post.yml @@ -0,0 +1,27 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause +copyrights: +- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de) +enabled-by: true +links: +- role: spec-member + uid: root +spec-description: null +spec-example: null +spec-info: + dict: + attributes: {} + description: | + This set of attributes defines for each post-condition the state after + the action for a transition in an action requirement. + generic-attributes: + description: | + There shall be exactly one generic attribute key for each + post-condition. The key name shall be the post-condition name. The + value of each generic attribute shall be the state of the + post-condition. + key-spec-type: requirement-action-name + value-spec-type: requirement-action-name + mandatory-attributes: all +spec-name: Action Requirement Transition Post-Conditions +spec-type: requirement-action-transition-post +type: spec -- cgit v1.2.3