Standard Article

Specification Formalisms and Models

  1. Farn Wang

Published Online: 16 MAR 2009

DOI: 10.1002/9780470050118.ecse410

Wiley Encyclopedia of Computer Science and Engineering

Wiley Encyclopedia of Computer Science and Engineering

How to Cite

Wang, F. 2009. Specification Formalisms and Models. Wiley Encyclopedia of Computer Science and Engineering. 2775–2789.

Author Information

  1. National Taiwan University, Taipei, Taiwan

Publication History

  1. Published Online: 16 MAR 2009

Abstract

Many specification models are available in the industry, which range from natural languages, to pseudo code, to loose mathematical notations, and to formalisms with rigorous semantics. In this article, we first discuss the general challenges in writing proper specifications. We then discuss issues in choosing appropriate specification models for a system. Then, we briefly review several specification models, which include state machines, Petri nets, process algebras, temporal logics, guarded command languages, pseudo code, comments and assertions, VDM, Z, AMN, and message sequence charts. For each model, we also point to some available tools.

Keywords:

  • survey;
  • specification;
  • language;
  • notations;
  • formalism;
  • model;
  • formal methods