Relating CASL with Other Specification Languages: the Institution Level (2000)
| Citations: | 30 - 13 self |
BibTeX
@MISC{Mossakowski00relatingcasl,
author = {Till Mossakowski},
title = {Relating CASL with Other Specification Languages: the Institution Level},
year = {2000}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this work, we investigate various specification languages and their relation to Casl, the recently developed Common Algebraic Specification Language. In particular, we consider the languages Larch, OBJ3, CafeOBJ, ACT ONE, ASF, and HEP-theories, as well as various sublanguages of Casl that more or less directly correspond to these. All these languages are translated to an appropriate sublanguage of Casl. The translation mainly concerns the level of specification in-the-small: the logics underlying the languages are formalized as institutions, and representations among the institutions are developed. However, it is also considered how these translations interact with specification in-the-large. Thus, we obtain one hand translations of any of the abovementioned specification languages to an appropriate sublanguage of Casl. This allows us to take libraries and case studies that have been developed for other languages and re-use them in Casl. On the other hand, we set up institution repre...
