Paper Info
Title
A Framework for Translating Models and Specifications
Abstract
The reasons for translating a description of a model in one notation into another are reviewed. This includes both translating entire models and describing different aspects of a system using different notations.In order to demonstrate the ideas, the VeriTech framework for translation is described. A system being analyzed is seen as a collection of versions, along with a description of how the versions are related. The versions are given in different notations connected through a core notation by compilers from and to the notations of existing tools and specification methods. The reasons that translations cannot always be exact are analyzed, based on experience with over ten separate compiler translations among formal methods notations. Additional information gathered during translation is described, to facilitate optimizations, error tracing, and analysis.The concept is presented of a faithful relation among models and families of properties true of those models. In this framework families of properties are provided with uniform syntactic transformations, in addition to the translations of the models. This framework is shown appropriate for common instances of relations among translations previously treated in an ad hoc way. The classes of properties that can be faithful for a given translation provide a measure of the usefulness of the translation. Open research directions are suggested concerning faithful transformations, additional information, error tracing, and optimizing translations.
Year
DOI
Venue
2002
10.1007/3-540-47884-1_9
IFM
Keywords
Field
DocType
translating models,different aspect,veritech framework,separate compiler translation,optimizing translation,additional information,framework family,faithful relation,faithful transformation,different notation,core notation,formal method
Notation,Programming language,Computer science,Compiler,Linear temporal logic,Formal methods,Temporal logic,Syntax,Software development,Tracing
Conference
ISBN
Citations 
PageRank 
3-540-43703-7
14
0.91
References 
Authors
18
2
Name
Order
Citations
PageRank
Shmuel Katz11357292.62
Orna Grumberg24361351.99