An Interpreter for Framework-Specific Modeling Languages

Free registration required

Executive Summary

Framework-Specific Modeling Languages (FSMLs) are specifications of framework concepts and their intended usages. Interpreting an FSML over a set of applications enables a user to detect framework concepts in source code through reverse-engineering. The authors describe their FSML interpreter written using Prolog. The interpreter itself consists of two main components: a parser that is responsible for reading an FSML specification and an engine, responsible for interpreting the constraints of the FSML and reverse-engineering an FSML instance from a set of program facts. They discuss the purpose of each component and further highlight the advantages, as well as disadvantages of their implementation.

  • Format: PDF
  • Size: 106 KB