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

Weining Su; Fan Zhang; Gang Yang; Tianfang Wang

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

원문정보

Weining Su, Fan Zhang, Gang Yang, Tianfang Wang

보안공학연구지원센터(IJUNESST) International Journal of u- and e- Service, Science and Technology Vol.8 No.3 2015.03 pp.171-178

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

초록

영어

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

키워드

저자정보

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

참고문헌

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

함께 이용한 논문

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

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

earticle