Visual Formalisms for Patterns Workshop Programme, September 24th 2009
9:00 - 9:15	Presentation and Welcome
9:15 - 10:30	Invited talk: "Pinning Down Patterns" by Prof. John Hosking. Chair: Paolo Bottoni.
10:30 - 11:00	Break
	Session: Pattern Definition and Formalization. Chair: Christian Soltenborn.
11:00 - 11:30	Jason McC. Smith. The Pattern Instance Notation: A Simple Hierarchical Visual Notation for the Dynamic Visualization and Comprehension of Software Patterns
11:30 - 12:00	Andreas Wolff and Peter Forbrig. Pattern catalogs using the Pattern Language Meta Language
12:00 - 12:15	Tihamer Levendovszky and Gabor Karsai. An Active Pattern Infrastructure for Domain-Specific Languages
12:15 - 12:30	Tamás Mészáros, Tamás Vajk and Tihamer Levendovszky. Tool Support for Design Pattern Modeling with Structural Constraint Relaxation
12:30 - 14:15	LUNCH
	Session: Patterns in Process and Test Engineering. Chair: Mark Minas
14:15 - 14:45	Ralf Laue and Ahmed Awad. Visualization of Business Process Modeling Anti Patterns
14:45 - 15:15	Alain-Georges Vouffo Feudjio and Ina Schieferdecker. A Visual Formalism for Patterns in Software Test Engineering
15:15 - 15:30	Christian Soltenborn and Gregor Engels. Towards Generalizing Visual Process Pattern
15:30 - 16:00	Break
	Session: Patterns and Visualization. Chair: Tihamer Levendovszky
16:00 - 16:30	Jens Gulden. Patterns as Abstractions of Spatial Axes
16:30 - 16:45	Sonja Maier and Mark Minas. Reusability of a Drawing Specification for Visual Language Editors
16:45 - 17:00	Break
17:00 - 18:00	Discussion Panel: "Pattern Formalization: Is that useful? What are the Limits?". Chair: John Hosking.