Text this: Research on verification of behavior requirement patterns based on action sequences