The search functionality is under construction.

Author Search Result

[Author] Rodion MOISEEV(1hit)

1-1hit
  • Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints

    Rodion MOISEEV  Shinpei HAYASHI  Motoshi SAEKI  

     
    PAPER-Software System

      Vol:
    E94-D No:3
      Page(s):
    612-621

    Object Constraint Language (OCL) is frequently applied in software development for stipulating formal constraints on software models. Its platform-independent characteristic allows for wide usage during the design phase. However, application in platform-specific processes, such as coding, is less obvious because it requires usage of bespoke tools for that platform. In this paper we propose an approach to generate assertion code for OCL constraints for multiple platform specific languages, using a unified framework based on structural similarities of programming languages. We have succeeded in automating the process of assertion code generation for four different languages using our tool. To show effectiveness of our approach in terms of development effort, an experiment was carried out and summarised.