HOME       UP       PREV       NEXT (ABD - PSL Properties and Macros)  

ABD - PSL Extended Regular Expressions

PSL has a rich regular expression syntax for pattern matching. These are called SERES or sequences. PSL Sequences: enclosed using curly braces: SERES (Sugar Extended Regular Expression)

Sequence elements are state properties from Modelling and Boolean layers.

Core operators are (of course): disjunction, concatenation and arbitrary repetition.

As a temporal logic: interpret concatenation as a time sequencing.

Make easier to use with additional operators defined in terms of primitives:

Further repetition operators denote repeat count ranges.

Repeat counts must be compile-time constant (for today's standard/tools).

14: (C) 2012-18, DJ Greaves, University of Cambridge, Computer Laboratory.