Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints
スポンサーリンク
概要
- 論文の詳細を見る
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.
論文 | ランダム
- 22aYJ-2 「すざく」衛星による2006年12月5日のX9.0太陽フレアからの中性子検出の可能性(22aYJ 太陽系宇宙線,宇宙線生成核種,宇宙線・宇宙物理領域)
- 26aSF-4 「すざく」衛星搭載硬X線検出器(HXD-II)のバックグラウンドシミュレーション(26aSF X線・γ線,宇宙線・宇宙物理領域)
- フェルミ衛星がとらえたX線連星からのガンマ線放射 (フェルミ特集(3))
- 28pTA-1 単結晶LuAG(Pr)シンチレータの基礎特性評価(28pTA 放射線物理,領域1(原子・分子,量子エレクトロニクス,放射線物理))
- 28aTF-1 「すざく」衛星搭載硬X線検出器(HXD-II)主検出部の軌道上較正(28aTF X線・γ線,宇宙線・宇宙物理領域)