Earticle

현재 위치 Home

Design and Implementation of Abstract Syntax of AADL and Code Generation Based on Spoofax/XL

첫 페이지 보기
  • 발행기관
    보안공학연구지원센터(IJUNESST) 바로가기
  • 간행물
    International Journal of u- and e- Service, Science and Technology 바로가기
  • 통권
    Vol.8 No.3 (2015.03)바로가기
  • 페이지
    pp.171-178
  • 저자
    Weining Su, Fan Zhang, Gang Yang, Tianfang Wang
  • 언어
    영어(ENG)
  • URL
    https://www.earticle.net/Article/A245581

※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.

원문정보

초록

영어
With the research in the technology of AADL, we design and realize the parser for AADL and code generation tools which transform AADL model into C source code based on Spoofax/XL. This lays a good foundation for further realizing the AADL unified modeling, verification, implementation and code generation integrated environment.

목차

Abstract
 1. Background
 2. Related Work
 3. Implementation of AADL Syntax based on K
  3.1. AADL Syntax Definition
  3.2. AADL Context-free Grammar Definition
 4. Parser Testing based on Spoofax/XL
 5. Code Generation based on Spoofax/XL
  5.1. Rewrite Rule
  5.2. Transformation Rule
  5.3. Code Generation
 6. Conclusion and Future Work
 Acknowledgement
 References

키워드

AADL Transform Code Generation

저자

  • Weining Su [ School of Computer Science and Engineering Northwestern Polytechnical University Xi’an China ]
  • Fan Zhang [ School of Computer Science and Engineering Northwestern Polytechnical University Xi’an China ]
  • Gang Yang [ School of Computer Science and Engineering Northwestern Polytechnical University Xi’an China ]
  • Tianfang Wang [ School of Computer Science and Engineering Northwestern Polytechnical University Xi’an China ]

참고문헌

자료제공 : 네이버학술정보

간행물 정보

발행기관

  • 발행기관명
    보안공학연구지원센터(IJUNESST) [Science & Engineering Research Support Center, Republic of Korea(IJUNESST)]
  • 설립연도
    2006
  • 분야
    공학>컴퓨터학
  • 소개
    1. 보안공학에 대한 각종 조사 및 연구 2. 보안공학에 대한 응용기술 연구 및 발표 3. 보안공학에 관한 각종 학술 발표회 및 전시회 개최 4. 보안공학 기술의 상호 협조 및 정보교환 5. 보안공학에 관한 표준화 사업 및 규격의 제정 6. 보안공학에 관한 산학연 협동의 증진 7. 국제적 학술 교류 및 기술 협력 8. 보안공학에 관한 논문지 발간 9. 기타 본 회 목적 달성에 필요한 사업

간행물

  • 간행물명
    International Journal of u- and e- Service, Science and Technology
  • 간기
    격월간
  • pISSN
    2005-4246
  • 수록기간
    2008~2016
  • 십진분류
    KDC 505 DDC 605

이 권호 내 다른 논문 / International Journal of u- and e- Service, Science and Technology Vol.8 No.3

    피인용수 : 0건 (자료제공 : 네이버학술정보)

    함께 이용한 논문 이 논문을 다운로드한 분들이 이용한 다른 논문입니다.

      출처 : 네이버학술정보

        0개의 논문이 장바구니에 담겼습니다.

        페이지 저장
        소속기관 조회
        이용자님의 소속기관(단체)이 서비스에 가입되어 있는지 확인해 보십시오.
        기관회원에 소속되어 있는 이용자는 원문을 무료로 이용할 수 있습니다.