Return to Article Details On the Support of Activity Patterns in ProWAP: Case Studies, Formal Semantics, Tool Support Download Download PDF