Universität Bremen  
  FB 3  
  Group BKB > Publications > Search > Deutsch
English
 

Publications Search - Details

 
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

 Back to result list
 
   
Author: Automatically generated page
 
  Group BKB 
Last updated: May 9, 2023   impressum