| Publication type: |
Article in Proceedings |
| Author: |
Mihai Codescu, Till Mossakowski, AdrÃan Riesco, Christian Maeder |
| Editor: |
Mike Johnson, Dusko Pavlovic |
| Title: |
Integrating Maude into Hets |
| Book / Collection title: |
AMAST 2010 |
| Volume: |
6486 |
| Page(s): |
60 – 75 |
| Series: |
Lecture Notes in Computer Science |
| Year published: |
2010 |
| Publisher: |
Springer |
| Abstract: |
Maude modules can be understood as models that can be
formally analyzed and verifi ed with respect to di fferent properties expressing
various formal requirements. However, Maude lacks the formal
tools to perform some of these analyses and thus they can only be done
by hand. The Heterogeneous Tool Set Hets is an institution-based combination
of diff erent logics and corresponding rewriting, model checking
and proof tools. We present in this paper an integration of Maude into
Hets that allows to use the logics and tools already integrated in Hets
with Maude speci fications. To achieve such integration we have de ned
an institution for Maude based on preordered algebras and a comorphism
between Maude and CASL, the central logic in Hets. |
| Internet: |
http://www.springerlink.com/content/978-3-642-17795-8#section=842927 |
| PDF Version: |
http://www.informatik.uni-bremen.de/~till/papers/Maude-Hets.pdf |
| Keywords: |
Maude CASL Hets institution comorphism refinement |
| Status: |
Reviewed |
| Last updated: |
31. 01. 2011 |
