Visual specification patterns

HAMIE, ALI, HOWSE, JOHN and FISH, ANDREW (2010) Visual specification patterns In: Proceedings of the Second International Workshop on Visual Formalisms for Patterns (VFfP 2010), 21 September 2010, Madrid, Spain, 21 September, 2010.

Full text not available from this repository.

Official URL:


Visual modelling notations such as constraint diagrams can be used for the behavioural specifications of software components. This includes specifying invariants on classes or types and preconditions and postconditions of operations. However, one current problem in specifying components comes from the fact that editing constraints manually is time consuming and error prone and so we may adopt a pattern-based approach to alleviate this problem. One way to simplify the definition of constraints is to identify and capture those recurring constraints in the form of visual specification patterns. Such patterns would facilitate the automatic generation of diagrammatic constraints. This paper identifies some specification patterns that frequently occur when specifying software components and provides a diagrammatic representation of these patterns. This will form the basis of a library of specification patterns that could be used in the context of tools. We also show how such patterns can be combined in order to specify more complex constraints.

Item Type:Contribution to conference proceedings in the public domain ( Full Paper)
Uncontrolled Keywords:Formal specification; constraint diagrams; visual formalisms
Subjects:G000 Computing and Mathematical Sciences > G400 Computing
Faculties:Faculty of Science and Engineering > School of Computing, Engineering and Mathematics > Visual Modelling
ID Code:8649
Deposited By:Converis
Deposited On:15 Jul 2011 10:47
Last Modified:01 May 2013 04:00

Repository Staff Only: item control page