SuccessionFlow SysML

class SuccessionFlow

Implementation of SuccessionFlow defined in the KerML specification.

Specification:

A SuccessionFlow is a Flow that also provides temporal ordering. It classifies Transfers that cannot start until the source Occurrence has completed and that must complete before the target Occurrence can start.

For language description, see section 7.4.10.3 of the KerML specification. For more details on the model, see section 8.3.4.9.6 of the KerML specification.

Members defined in SuccessionFlow (7 members)

	STD	R
	effect_step	R	Steps that represent occurrences that are side effects of the transition_step occurring.
	effect_steps	R	Steps that represent occurrences that are side effects of the transition_step occurring.
	guard_expression	R	Expressions that must evaluate to true before the transition_step can occur.
	transition_step	R	A Step that is typed by the Behavior TransitionPerformances::TransitionPerformance (from the Kernel Semantic Library) that has this Succession as its transition_link.
	trigger_step	R	Steps that map incoming events to the timing of occurrences of the transition_step. The values of trigger_step subset the list of acceptable events to be received by a Behavior or the object that performs it.
	trigger_steps	R	Steps that map incoming events to the timing of occurrences of the transition_step. The values of trigger_step subset the list of acceptable events to be received by a Behavior or the object that performs it.

Members inherited from Flow (10 members)

	behaviors	R SysML	Implementation of behavior defined in the KerML specification.
	flow_ends	R SysML	Implementation of flow_end defined in the KerML specification.
	interactions	R SysML	Implementation of interaction defined in the KerML specification.
	owned_parameters	R	The parameters owned by this Step.
	parameters	R SysML	Implementation of parameter defined in the KerML specification.
	payload_feature	R SysML	Implementation of payload_feature defined in the KerML specification.
	payload_feature_member	R	Syside specific accessor for manipulating payload_feature.
	payload_types	R SysML	Implementation of payload_type defined in the KerML specification.
	source_output_feature	R SysML	Implementation of source_output_feature defined in the KerML specification.
	target_input_feature	R SysML	Implementation of target_input_feature defined in the KerML specification.

Members inherited from Connector (14 members)

	associations	R SysML	Implementation of association defined in the KerML specification.
	connector_ends	R SysML	Implementation of connector_end defined in the KerML specification.
	declared_ends	R	Ends that are explicitly declared using textual syntax shorthand before the children block.
	default_featuring_type	R SysML	Implementation of default_featuring_type defined in the KerML specification.
	is_implied	RW SysML	Implementation of is_implied defined in the KerML specification.
	owned_related_elements	R SysML	Implementation of owned_related_element defined in the KerML specification.
	owning_related_element	R SysML	Implementation of owning_related_element defined in the KerML specification.
	related_elements	R SysML	Implementation of related_element defined in the KerML specification.
	related_features	R SysML	Implementation of related_feature defined in the KerML specification.
	source	R SysML	Implementation of source defined in the KerML specification.
	source_feature	R SysML	Implementation of source_feature defined in the KerML specification.
	sources	R SysML	Implementation of source defined in the KerML specification.
	target_features	R SysML	Implementation of target_feature defined in the KerML specification.
	targets	R SysML	Implementation of target defined in the KerML specification.

Members inherited from Feature (44 members)

	basic_feature	R	The last_chaining_feature if one exists, otherwise this Feature.
	chaining_features	R SysML	Implementation of chaining_feature defined in the KerML specification.
	cross_feature	R SysML	Implementation of cross_feature defined in the KerML specification.
	direction	RW SysML	Implementation of direction defined in the KerML specification.
	end_owning_type	R SysML	Implementation of end_owning_type defined in the KerML specification.
	explicit_direction	R	Returns the direction this Feature has been declared with in the textual syntax.
	feature_target	R SysML	Implementation of feature_target defined in the KerML specification.
	feature_value	R	The FeatureValue owned by this Feature if any.
	feature_value_expression	R	The feature value Expression of this Feature if any.
	feature_value_member	R	Syside specific accessor for manipulating feature_value.
	featuring_types	R SysML	Implementation of featuring_type defined in the KerML specification.
	first_chaining_feature	R	The related Feature related by the first owned_feature_chaining if any.
	is_composite	RW SysML	Implementation of is_composite defined in the KerML specification.
	is_composite_explicitly	R	Returns True if this Feature has been declared composite in the textual syntax.
	is_constant	RW SysML	Implementation of is_constant defined in the KerML specification.
	is_constant_explicitly	R	Returns True if this Feature has been declared constant in the textual syntax.
	is_derived	RW SysML	Implementation of is_derived defined in the KerML specification.
	is_end	RW SysML	Implementation of is_end defined in the KerML specification.
	is_end_explicitly	R	Returns True if this Feature has been declared end in the textual syntax.
	is_nonunique	RW
	is_ordered	RW SysML	Implementation of is_ordered defined in the KerML specification.
	is_portion	RW SysML	Implementation of is_portion defined in the KerML specification.
	is_read_only	RW	Alias for is_constant.
	is_unique	RW SysML	Implementation of is_unique defined in the KerML specification.
	is_variable	RW SysML	Implementation of is_variable defined in the KerML specification.
	is_variable_explicitly	R	Returns True if this Feature has been declared variable in the textual syntax.
	last_chaining_feature	R	The related Feature related by the last owned_feature_chaining if any.
	owned_cross_feature	R	The member Feature that is declared before any prefixes in the textual syntax.
	owned_cross_feature_member	R	Syside specific accessor for either owned crossing_feature or crossing_multiplicity. This is the member Feature that is declared before any prefixes in the textual syntax.
	owned_cross_subsetting	R SysML	Implementation of owned_cross_subsetting defined in the KerML specification.
	owned_feature_chainings	R SysML	Implementation of owned_feature_chaining defined in the KerML specification.
	owned_feature_invertings	R SysML	Implementation of owned_feature_inverting defined in the KerML specification.
	owned_redefinitions	R SysML	Implementation of owned_redefinition defined in the KerML specification.
	owned_reference_subsetting	R SysML	Implementation of owned_reference_subsetting defined in the KerML specification.
	owned_subsettings	R SysML	Implementation of owned_subsetting defined in the KerML specification.
	owned_type_featurings	R SysML	Implementation of owned_type_featuring defined in the KerML specification.
	owned_typings	R SysML	Implementation of owned_typing defined in the KerML specification.
	owning_feature_membership	R SysML	Implementation of owning_feature_membership defined in the KerML specification.
	owning_type	R SysML	Implementation of owning_type defined in the KerML specification.
	referenced_feature	R	Returns the Feature this Feature references through ReferenceSubsetting if any.
	referenced_feature_target	R	Returns the feature_target of referenced_feature, i.e. referenced_feature.feature_target.
	types	R SysML	Implementation of type defined in the KerML specification.
	find_owned_cross_feature		Find the owned cross feature by potentially checking children. This is needed for spec that defined owned cross feature as the first member feature that is not a MetadataFeature or Multiplicity of an end feature. Since SysML does not allow member features (member keyword in KerML), this is equivalent to owned_cross_feature in SysML.
	try_set_is_variable		Non-raising variant of is_variable setter that returns False on Usages without modifying is_variable.

Members inherited from Type (37 members)

	declared_multiplicity	R	The owned multiplicity that is declared before the children block in the textual syntax.
	declared_multiplicity_member	R	Syside specific accessor for manipulating declared_multiplicity.
	differencing_types	R SysML	Implementation of differencing_type defined in the KerML specification.
	directed_features	R SysML	Implementation of directed_feature defined in the KerML specification.
	disjoining_types	R	The types that related to this Type through owned_disjoinings.
	end_features	R SysML	Implementation of end_feature defined in the KerML specification.
	feature_memberships	R SysML	Implementation of feature_membership defined in the KerML specification.
	features	R SysML	Implementation of feature defined in the KerML specification.
	heritage	R	The specializations and conjugations owned by this Type.
	inherited_features	R SysML	Implementation of inherited_feature defined in the KerML specification.
	inherited_memberships	R SysML	Implementation of inherited_membership defined in the KerML specification.
	inputs	R SysML	Implementation of input defined in the KerML specification.
	intersecting_types	R SysML	Implementation of intersecting_type defined in the KerML specification.
	is_abstract	RW SysML	Implementation of is_abstract defined in the KerML specification.
	is_abstract_explicitly	R	Returns True if this Type was declared as abstract in the textual syntax.
	is_conjugated	R SysML	Implementation of is_conjugated defined in the KerML specification.
	is_sufficient	RW SysML	Implementation of is_sufficient defined in the KerML specification.
	is_sufficient_explicitly	R	Returns True if this Type was declared as sufficient in the textual syntax.
	multiplicity	R SysML	Implementation of multiplicity defined in the KerML specification.
	outputs	R SysML	Implementation of output defined in the KerML specification.
	owned_conjugator	R SysML	Implementation of owned_conjugator defined in the KerML specification.
	owned_differencings	R SysML	Implementation of owned_differencing defined in the KerML specification.
	owned_directed_features	R	The directed_features that are owned by this Type.
	owned_disjoinings	R SysML	Implementation of owned_disjoining defined in the KerML specification.
	owned_end_features	R SysML	Implementation of owned_end_feature defined in the KerML specification.
	owned_feature_memberships	R SysML	Implementation of owned_feature_membership defined in the KerML specification.
	owned_features	R SysML	Implementation of owned_feature defined in the KerML specification.
	owned_inputs	R	The inputs that are owned by this Type.
	owned_intersectings	R SysML	Implementation of owned_intersecting defined in the KerML specification.
	owned_outputs	R	The outputs that are owned by this Type.
	owned_specializations	R SysML	Implementation of owned_specialization defined in the KerML specification.
	owned_unionings	R SysML	Implementation of owned_unioning defined in the KerML specification.
	type_relationships	R	The other type, feature relationships and FeatureChainings owned by this Type.
	unioning_types	R SysML	Implementation of unioning_type defined in the KerML specification.
	conforms		Returns True if this Type directly or indirectly specializes another Type while following FeatureChainings.
	direction_of		Returns the direction of a Feature in this Type.
	specializes		Returns True if this Type directly or indirectly specializes another Type while ignoring FeatureChainings.

Members inherited from Namespace (11 members)

	children	R	The elements enclosed by curly brackets in textual syntax.
	imported_memberships	R SysML	Implementation of imported_membership defined in the KerML specification.
	members	R SysML	Implementation of member defined in the KerML specification.
	memberships	R SysML	Implementation of membership defined in the KerML specification.
	owned_imports	R SysML	Implementation of owned_import defined in the KerML specification.
	owned_members	R SysML	Implementation of owned_member defined in the KerML specification.
	owned_memberships	R SysML	Implementation of owned_membership defined in the KerML specification.
	prefixes	R	Metadata prefixes, prefixed with # in textual syntax.
	__getitem__		Access owned named members by name. Throws KeyError if a member with such name does not exist.
	get_member		Non-throwing variant of __getitem__. Returns None if a named member was not found.
	get_membership		Access owned memberships by name. Returns None if an owned member or membership with such name does not exist.

Members inherited from Element (25 members)

	alias_ids	R SysML	Implementation of alias_ids defined in the KerML specification.
	comments	R	The owned Comments related by owned_relationships.
	declared_name	RW SysML	Implementation of declared_name defined in the KerML specification.
	declared_short_name	RW SysML	Implementation of declared_short_name defined in the KerML specification.
	documentation	R SysML	Implementation of documentation defined in the KerML specification.
	element_id	RW SysML	Implementation of element_id defined in the KerML specification.
	is_implied_included	R SysML	Implementation of is_implied_included defined in the KerML specification.
	is_library_element	R SysML	Implementation of is_library_element defined in the KerML specification.
	metadata	R	The owned metadata related by owned_relationships.
	name	R SysML	Implementation of name defined in the KerML specification.
	owned_annotations	R SysML	Implementation of owned_annotation defined in the KerML specification.
	owned_elements	R SysML	Implementation of owned_element defined in the KerML specification.
	owned_relationships	R SysML	Implementation of owned_relationship defined in the KerML specification.
	owner	R SysML	Implementation of owner defined in the KerML specification.
	owning_membership	R SysML	Implementation of owning_membership defined in the KerML specification.
	owning_namespace	R SysML	Implementation of owning_namespace defined in the KerML specification.
	owning_relationship	R SysML	Implementation of owning_relationship defined in the KerML specification.
	path	R	Return a unique description of the location of this Element in the containment structure rooted in a root Namespace. In most cases the segments will be identical to QualifiedName.
	qualified_name	R SysML	Implementation of qualified_name defined in the KerML specification.
	scoped_owner	R	The owner of this Element as the parent of owning_membership or owning_relationship otherwise.
	sema_state	RW	The state of semantic resolution for this Element. Based on this, sema may skip elements to avoid duplicate work, e.g. when resolving elements in a group of related documents.
	short_name	R SysML	Implementation of short_name defined in the KerML specification.
	textual_representations	R SysML	Implementation of textual_representation defined in the KerML specification.
	__str__
	matches_qualified_name		Check if the qualified name of this Element matches the provided segments of a qualified name.

Members inherited from AstNode (7 members)

	cst_node	R
	document	R
	parent	R
	__hash__
	cast
	isinstance
	try_cast

 Attributes

STD: tuple[Union[type[syside.SuccessionFlow], type[SuccessionFlowUsage]], ...] = ()

property effect_step: syside.Step | syside.ActionUsage | syside.ConstraintUsage | syside.Flow | syside.FlowUsage | None

Steps that represent occurrences that are side effects of the transition_step occurring.

Removed in 2025-04 specification, will be removed in a future Syside release.

property effect_steps: list[syside.Step | syside.ActionUsage | syside.ConstraintUsage | syside.Flow | syside.FlowUsage]

Steps that represent occurrences that are side effects of the transition_step occurring.

Removed in 2025-04 specification, will be removed in a future Syside release.

property guard_expression: list[syside.Expression]

Expressions that must evaluate to true before the transition_step can occur.

Removed in 2025-04 specification, will be removed in a future Syside release.

property transition_step: syside.Step | syside.ActionUsage | syside.ConstraintUsage | syside.Flow | syside.FlowUsage | None

A Step that is typed by the Behavior TransitionPerformances::TransitionPerformance (from the Kernel Semantic Library) that has this Succession as its transition_link.

Removed in 2025-04 specification, will be removed in a future Syside release.

property trigger_step: syside.Step | syside.ActionUsage | syside.ConstraintUsage | syside.Flow | syside.FlowUsage | None

Steps that map incoming events to the timing of occurrences of the transition_step. The values of trigger_step subset the list of acceptable events to be received by a Behavior or the object that performs it.

Removed in 2025-04 specification, will be removed in a future Syside release.

property trigger_steps: list[syside.Step | syside.ActionUsage | syside.ConstraintUsage | syside.Flow | syside.FlowUsage]

Steps that map incoming events to the timing of occurrences of the transition_step. The values of trigger_step subset the list of acceptable events to be received by a Behavior or the object that performs it.

Removed in 2025-04 specification, will be removed in a future Syside release.

 Used in

• syside.Succession

  • STD

• syside.SuccessionFlow

  • STD