Ariadne's Modeling Language
Ariadne uses a simple modeling language based on regular expressions.
It has a three-tiered hierarchy of chains, p-chains, and
pt-chains:
- Chains are patterns that represent "local views" of
computation and communication. The are described by extensions of
regular expressions.
- p-Chains represent the concurrent execution of a chain by
one or more processes. They are described by binding a chain to a set
of processes. When a p-chain is matched, the chain is matched on each
process of the set.
- pt-Chains are patterns that represent the temporal
composition of p-chains. First the p-chains are matched, then the
asserted temporal relations between p-chains are verified.
To see an example of the modeling language in action, visit the Ariadne Tutorial.