Restrictions on Communication Patterns
Inclusion: one pattern is a superset of another pattern:
- guaranteed to lead to inclusion in detected patterns
- determined when building pattern library
- leads to hierarchical structure of pattern library
Overlap: event sets share primitive events
- cannot be determined a priori
- multiple ways of dealing with overlap possible
- decided to more or less arbitrarily break deadlock by preventing formation of new abstract event that would overlap with existing abstract event
Convexity: requirement induced by Poet’s event abstraction facility, matches well with notion of “unit of work”