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.
論文 | ランダム
- ガスタービン動翼材 IN738LC の熱疲労寿命に及ぼす耐食コーティングの影響(高温強度)
- プリセプターの教育環境を整える
- 自主開発臨床検査システムと病院情報システムとの連携について
- 検査依頼および検査結果最終報告のペーパーレス化について
- 検査室におけるイントラネットの有用性とその問題点