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.
- （社）電子情報通信学会の論文
- 2011-03-01
著者
-
Saeki Motoshi
Department Of Computer Science Graduate School Of Information Science And Engineering Tokyo Institut
-
Saeki Motoshi
東工大
-
Hayashi Shinpei
Tokyo Inst. Technol. Tokyo Jpn
-
Hayashi Shinpei
Department Of Biological Sciences Graduate School Of Science The University Of Tokyo
-
Moiseev Rodion
Department Of Computer Science Graduate School Of Information Science And Engineering Tokyo Institut
関連論文
- POLYMORPHISM OF THE MAJOR HISTOCOMPATIBILITY COMPLEX CLASS I REGION OF MEDAKA, ORYZIAS LA TIPES(Taxonomy and Systematics,Abstracts of papers presented at the 75^ Annual Meeting of the Zoological Society of Japan)
- Search-Based Refactoring Detection from Source Code Revisions
- Evolution of the vertebrate MHC revealed by physical analysis of medaka (Oryzias latipes) MHC class I region(Symposium on Comparative and Functional Genomics of Medaka)
- Deriving Framework Usages Based on Behavioral Models
- Design Pattern Detection by Using Meta Patterns
- An evaluation of computerized tools for method construction (ソフトウェアサイエンス)
- Supporting Application Framework Selection Based on Labeled Transition Systems(Knowledge-Based Software Engineering)
- Supporting Refactoring Activities Using Histories of Program Modification(Knowledge-Based Software Engineering)
- Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints
- Implementing OCL evaluators based on structural similarities of programming languages (ソフトウエア工学)
- Reticella : An Execution Trace Slicing and Visualization Tool Based on a Behavior Model
- Impact Analysis on an Attributed Goal Graph