@incollection{MossakowskiEtAl07,
  abstract = {CASL is an expressive specification language that has been
designed to supersede many existing algebraic specification
languages and provide a standard. CASL consists of several
layers, including basic (unstructured) specifications,
structured specifications and architectural specifications;
the latter are used to prescribe the modular structure of implementations.

We describe a simplified version of the CASL syntax, semantics
and proof calculus for each of these three layers and state the
corresponding soundness and completeness theorems. The layers
are orthogonal in the sense that the semantics of a given layer 
uses that of the previous layer as a ``black box'', and
similarly for the proof calculi. In particular, this means
that CASL can easily be adapted to other logical systems.

We conclude with a detailed example specification of a warehouse,
which serves to illustrate the application of both CASL and
the proof calculi for the various layers.},
  added-at = {2016-08-05T15:59:03.000+0200},
  author = {Mossakowski, Till and Haxthausen, Anne and Sannella, Don and Tarlecki, Andrzej},
  biburl = {https://www.bibsonomy.org/bibtex/2211fe2dfdf51d4c15f26eea431dacf9c/tillmo},
  booktitle = {Logics of formal specification languages},
  chapter = 3,
  crossref = {MossakowskiEtAl03},
  editor = {D. Bjorner, M. Henson},
  interhash = {31db83e5c0fa2483f9b5e92fd28fceaa},
  intrahash = {211fe2dfdf51d4c15f26eea431dacf9c},
  journal = {Computing and Informatics},
  keywords = {CASL architectural proof semantics specification strcutred},
  pages = {241-298},
  pdfurl = {http://www.informatik.uni-bremen.de/~till/papers/db-casl.pdf},
  psurl = {http://www.informatik.uni-bremen.de/~till/papers/db-casl.ps},
  publisher = {Springer-Verlag Heidelberg},
  series = {Monographs in Theoretical Computer Science },
  status = {Reviewed},
  timestamp = {2016-08-05T15:59:03.000+0200},
  title = {{CASL}, the {Common Algebraic Specification Language}},
  url = {http://dx.doi.org/10.1007/978-3-540-74107-7_5},
  volume = 22,
  year = 2008
}