Visual specification patterns

Ali Hamie, John Howse, Andrew Fish

Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of the Second International Workshop on Visual Formalisms for Patterns (VFfP 2010)
Place of PublicationBerlin, Germany
PublisherEASST
Pages76-89
Number of pages14
Volume31
Publication statusPublished - 1 Jan 2010
EventProceedings of the Second International Workshop on Visual Formalisms for Patterns (VFfP 2010) - Madrid, Spain, 21 September, 2010
Duration: 1 Jan 2010 → …

Publication series

NameElectronic Communications of the EASST

Workshop

WorkshopProceedings of the Second International Workshop on Visual Formalisms for Patterns (VFfP 2010)
Period1/01/10 → …

Keywords

  • Formal specification
  • constraint diagrams
  • visual formalisms

Fingerprint Dive into the research topics of 'Visual specification patterns'. Together they form a unique fingerprint.

  • Cite this

    Hamie, A., Howse, J., & Fish, A. (2010). Visual specification patterns. In Proceedings of the Second International Workshop on Visual Formalisms for Patterns (VFfP 2010) (Vol. 31, pp. 76-89). (Electronic Communications of the EASST). EASST. http://journal.ub.tu-berlin.de/eceasst/article/view/575