Patent ID: 11875160
Assignee: ASCON SYSTEMS HOLDING GMBH
Field: Computer technology (Electrical engineering)
Classification: CPC G | IPC G

Claim 15:
16. Controller service module according to claim 15, wherein state contexts stored in state context stores are accessed by context references formed from pairs of activity references and input template references such that
each activity reference points to a state transition activity,
each input template reference points to an input template which is stored in a state context store of the state transition activity referenced by an activity reference paired with the input template reference;
input states carry at least one context reference;
the activity filtering module is adapted to filter state transition activities by comparing activity references of state transition activities with activity references carried by input states;
the activity filtering module is adapted to filter input templates by comparing input template references assigned to input templates with input template references carried by input states and to validate updated input templates with respect to completeness of coverage.