OCDeclareArc

OC-DECLARE Constraint arc/edge between two nodes (i.e., activities)

Used as Input

functions accept this type

Used as Output

functions return this type(+1 nested)

Type Definition

42 nested items

struct— OC-DECLARE Constraint arc/edge between two nodes (i.e., activities)

arc_type*:OCDeclareArcType— OC-DECLARE Arc Direction/Type

variant 1:"AS"— Association: No temporal restrictions

variant 2:"EF"— Eventually-Follows: Target must occur after source event

variant 3:"EP"— Eventually-Precedes: Target must occur before source event

variant 4:"DF"— Directly-Follows: Target must occur directly after source event (considering events that involve all required objects)

variant 5:"DP"— Directly-Precedes: Target must occur directly before source event (considering events that involve all required objects)

counts*:(Option<i64>, Option<i64>)— First tuple element: min count (optional), Second: max count (optional)

[0]:Option<i64>

[1]:Option<i64>

from*:OCDeclareNode— OC-DECLARE node (Activity or Object Init/Exit)

label*:OCDeclareArcLabel— Object Involvement Label of an OC-DECLARE arc

all*:Vec<ObjectTypeAssociation>— All (there must be the specified number of relevant target events involving all of the objects of this type involved in the source event)

any*:Vec<ObjectTypeAssociation>— Any (there must be the specified number of relevant target events involving at least one of the objects of this type involved in the source event)

each*:Vec<ObjectTypeAssociation>— Each (for each object of that type separately, there must be the specified number of relevant target events)

to*:OCDeclareNode— OC-DECLARE node (Activity or Object Init/Exit)

Example JSON Value

{
  "arc_type": "AS",
  "counts": [
    1,
    1
  ],
  "from": "example",
  "label": {
    "all": [
      {
        "object_type": "order",
        "type": "Simple"
      }
    ],
    "any": [
      {
        "object_type": "order",
        "type": "Simple"
      }
    ],
    "each": [
      {
        "object_type": "order",
        "type": "Simple"
      }
    ]
  },
  "to": "example"
}