课题基金 / 基金详情

A Study on Verifying Model Compiler

A Study on Verifying Model Compiler
验证模型编译器的研究
批准号：
19500030
负责人：
UBAYASHI Naoyasu
金额：
$2.58万
依托单位：
Kyushu Institute of Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (C)
财政年份：
2007
资助国家：
日本
项目状态：
已结题
起止时间：
2007 至 2009
来源：
https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19500030/
关键词：
ソフトウェア工学モデル駆動開発アスペクト指向モデルコンパイラドメイン特化言語拡張可能モデリング環境検証ドメイン特化言

项目摘要

项目成果

UBAYASHI Naoyasu的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
In this research, we developed an extensible AOM (Aspect-Oriented Modeling) language called AspectM and a verifying model compiler. Although the notion of extensible AOM is useful, it is not necessarily easy to confirm the correctness of model compilation (weaving). To deal with this problem, the AspectM model compiler provides a set of verifiers consisting of a metamodel checker, a model structure checker, and an assertion checker.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
AspectM : UML-based Extensible AOM Language
AspectM ：基于 UML 的可扩展 AOM 语言
DOI： --
发表时间： 2008
期刊： 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008)
影响因子： --
作者： [N. Ubayashi, G. Otsubo, K. Noda, J. Yoshida, T. Tamai]
通讯作者： T. Tamai
アーキテクチャ記述をカプセル化するインタフェース機構Archface
Archface，一种封装架构描述的接口机制
DOI： --
发表时间： 2009
期刊：
影响因子： --
作者： [Masuoka, T., Tokumaru, K., Kuriu, T., Konishi. S., 野村潤]
通讯作者： 野村潤
A Verification Mechanism for Weaving in Extensible AOM Languages
可扩展AOM语言的编织验证机制
DOI： --
发表时间： 2007
期刊： Proceedins of the 2nd International Workshop on Aspects, Dependencies and Interactions (ADI'07)
影响因子： --
作者： [Naoyasu Ubayashi, Yusaku Maeno, Kazuhide Noda Genya Otsubo]
通讯作者： Kazuhide Noda Genya Otsubo
UML-based Extensible AOM Language
基于UML的可扩展AOM语言
DOI： --
发表时间： 2008
期刊： Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008)
影响因子： --
作者： [Naoyasu Ubayashi, Genya Otsubo, Kazuhide Noda, Jun Yoshida, Tetsuo Tamai, AspectM]
通讯作者： AspectM
共 16 条
    A Study on Constructing Reliable Software Architecture
    • 批准号：
      23300010
    • 项目类别：
      Grant-in-Aid for Scientific Research (B)
    • 资助金额：
      $10.48万
    • 财政年份：
      2011
    • 负责人：
      UBAYASHI Naoyasu
    • 依托单位：
      Kyushu University
    A Study on Extensible Domain-specific Languages
    • 批准号：
      16500020
    • 项目类别：
      Grant-in-Aid for Scientific Research (C)
    • 资助金额：
      $2.24万
    • 财政年份：
      2004
    • 负责人：
      UBAYASHI Naoyasu
    • 依托单位：
      Kyushu Institute of Technology
    海外基金