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.


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
Depositing User: Converis
Date Deposited: 15 Jul 2011 09:47
Last Modified: 14 Apr 2015 12:54

Actions (login required)

View Item View Item


Downloads per month over past year