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.
論文 | ランダム
- 2P-1104 ユビキチン分割体を用いたG蛋白質共役型受容体二量体化検出システムとドメイン解析への応用(2bタンパク質工学,一般講演,酵素学,タンパク質工学および酵素工学,伝統の技と先端科学技術の融合)
- 2P-1098 ヒトSMCタンパク質ヒンジドメインの相互作用解析(2bタンパク質工学,一般講演,酵素学,タンパク質工学および酵素工学,伝統の技と先端科学技術の融合)
- 1.「よい子」のためのグリム童話 : 日本における『グリム童話』と『もじゃもじゃペーター』の受容に関する一考察(2005年度修士論文要旨)
- グリム兄弟と『グリム童話集』
- 奈倉洋子著, 『日本の近代化とグリム童話-時代による変化を読み解く』, 世界思想社, 2005年