posted by system || 875 views || tracked by 1 users: [display]

VforP 2009 : 1st International Workshop on Visual formalisms for patterns


When Sep 24, 2009 - Sep 24, 2009
Where Corvallis, Oregon, USA
Submission Deadline Jun 7, 2009
Notification Due Jul 8, 2009
Final Version Due Jul 30, 2009
Categories    software engineering   design patterns   visual languages   formalisation

Call For Papers

1st International Workshop on Visual formalisms for patterns

September 24th, Corvallis, Oregon, USA

Satellite event of the 2009 IEEE Symposium on Visual Languages and
Human-Centric Computing


Patterns are increasingly used in the definition of software
frameworks, as well as in Model Driven Development, to indicate parts of
required architectures, drive code refactoring, or build model-to-model
transformations. The full realisation of their power is however
hindered by the lack of a standard formalization of the notion of
pattern. Presentations of patterns are typically given through natural
language, to explain their motivation, context and consequences;
programming code, to show usages of the pattern; and diagrams, to
communicate their structure and behaviour.

Several researchers have indicated the limitations of the current
semi-formal devices for pattern definition -- generally based on
domain modelling languages, such as UML for design patterns, or
Coloured Petri Nets for workflow -- and research is active to propose
rigorous formalisms, methodologies and languages for pattern definition
in specific domains, as well as to propose general models of patterns.

The availability of formalisms will make common practices involving
patterns, such as pattern discovery, pattern enforcement, pattern-based
refactoring, etc. simpler and amenable to automation, and open new
perspectives for pattern composition and analysis of pattern =20

The workshop will bring together researchers interested in the
definition, usage and analysis of patterns through visual formalisms,
which couple the simplicity of traditional methods for pattern
expression with solid foundations for pattern-
based activities.


Topics of interest are the following, but the workshop is open to any
contribution to the development of the field:

* Formalisation of domain-specific patterns
* Formalisation of generic notions of patterns
* Pattern discovery
* Pattern enforcement
* Pattern-based refactoring
* Pattern languages

Submissions in other related areas are also welcome.


We solicit both regular (12 pages) and short (5 pages) papers for
inclusion in the pre-proceedings, which will be available during the
workshop. Post-proceedings will be published in the Electronic
Communications of the EASST, the electronic, open access journal of
the EASST. The post-proceedings will include the regular papers, as
well as extended versions (10 pages) of selected short papers.
Submission of papers (in PDF) is via Easychair
( Each submission
will be reviewed by 3 members of the programme committee. Submissions
should be in ECEASST format (
We plan to organize a journal special issue with expanded versions of
the best papers of the workshop.


Submission: 7 June, 2009
Notification: 8 July, 2009
Final papers due: 30 July, 2009
Workshop: 24 September, 2009


Paolo Bottoni - Department of Computer Science, "Sapienza" Universita' =20=

Roma, Italy
Esther Guerra - Department of Computer Science, DEI Lab, Universidad
Carlos III, Madrid, Spain
Juan de Lara - Department of Computer Science, Universidad Aut=C3=B3noma =
Madrid, Spain


Jing Dong, University of Texas, Dallas
Amnon H. Eden, University of Essex
Gregor Engels, University of Paderborn
Reiko Heckel, University of Leicester
John Hosking, University of Auckland
Dae-Kyoo Kim, Oakland University
Soon-Kyeong Kim, University of Queensland
Susana Montero, Universidad Carlos III de Madrid
Francesco Parisi Presicce, University of Rome, "Sapienza"
Claudia Pons, University of La Plata
Nick Russell, Technical University of Eindhoven
Michael Stal, Siemens AG
David Stotts, University of North Carolina
Gerson Sunye, Universite de Nantes
Toufik Taibi, University of Western Ontario
Kang Zhang, University of Texas, Dallas
Albert Zundorf, University of Kassel

Related Resources

KR 2022   Principles of Knowledge Representation and Reasoning
VCIP 2022   2022 IEEE International Conference on Visual Communications and Image Processing
Computer SI on SE4RAI 2023   IEEE Computer - Special Issue on Software Engineering for Responsible AI
PATTERNS 2022   The Fourteenth International Conference on Pervasive Patterns and Applications
SEFM 2022   20th International Conference on Software Engineering and Formal Methods
ISVC 2022   17th International Symposium on Visual Computing
VIPERC 2022   1st International Virtual Conference on Visual Pattern Extraction and Recognition for Cultural Heritage Understanding
MLDS 2022   3rd International Conference on Machine Learning Techniques and Data Science