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

Publications Search - Details

 
Publication type: Article in Proceedings
Author: Daniel Calegari García, Till Mossakowski, Nora Szasz
Editor: Christiano Braga, Narciso Martí-Oliet
Title: Model-Driven Engineering in the Heterogeneous Tool Set
Book / Collection title: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Volume: 8941
Page(s): 64 – 79
Series: Lecture Notes in Computer Science
Year published: 2015
Abstract: We have defined a unified environment that allows formal verification within the Model-Driven Engineering (MDE) paradigm us- ing heterogeneous verification approaches. The environment is based on the Theory of Institutions, which provides a sound basis for representing MDE elements and a way for specifying translations from these elements to other logical domains used for verification, such that formal experts can choose the domain in which they are more skilled to address a formal proof. In this paper we present how this environment can be supported in practice by the Heterogeneous Tool Set (Hets). We define semantic- preserving translations from the MDE elements to the core language of Hets, and we also show how it is possible to move from it to other log- ics, both to supplement the original specification with other verification properties and to perform a heterogeneous verification.
ISBN: 978-3-319-15074-1
Internet: http://dx.doi.org/10.1007/978-3-319-15075-8_5
PDF Version: http://iws.cs.uni-magdeburg.de/~mossakow/mde-hets.pdf
Keywords: MDE UML Hets
Status: Reviewed
Last updated: 02. 02. 2015

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