Implementing OCL Evaluators Based on Structural Similarities of Programming Languages

• Link

Abstract

The Object Constraint Language carries a platform independent characteristic, which allows is to be decoupled from the platform specific implementation details, yet on the other hand, it can be found tremendously useful in the implementation phase aiding test case generation and allowing system verification. However, taking full advantage of OCL without destroying its platform independence is a difficult task. This paper proposes an approach to tackle this problem, by taking advantage of hierarchical structural similarities of programming languages to describe a rewriting framework, which is used to easily and flexibly reformulate OCL constraints into any target language, thus making them executable on any platform. A tool is implemented to demonstrate the effectiveness of this approach.Extracting refactorings from the development history is useful for software understanding. This paper proposes a technique to identify refactorings performed between two revisions using a search algorithm. In this technique, we consider a program as a state and refactoring as a transition, and then search for refactorings that reach from the initial state to the final state. In searching, we calculate the difference between the current state and the final state for choosing the next refactoring to apply and also estimate the heuristic distance to the final state. By using this tecnique we can detect related refactorings performed at the same time. Finally, we implemented a tool and evaluated its effectiveness.

BibTeX

@article{rodion-sigse200709,
    author = {Rodion Moiseev and Shinpei Hayashi and Motoshi Saeki},
    title = {Implementing {OCL} Evaluators Based on Structural Similarities of Programming Languages},
    journal = {情報処理学会研究報告},
    volume = 2007,
    number = 97,
    pages = {119--126},
    year = 2007,
}