Formal specification generator for KAOS - Model transformation approach to generate formal specifications from KAOS requirements models

Hiroyuki Nakagawa, Kenji Taguchi, Shinichi Honiden

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Citations (Scopus)

Abstract

Formal methods and requirements analysis are techniques for developing complex systems. However, there is little research on reconciling the requirements phase with the formal specification phase. To bridge this gap, we propose a formal specification generator based on model transformation techniques. This tool transforms KAOS models (requirements specifications) into VDM++ formal specifications. Our generator enables consistent and effective software development activities.

Original languageEnglish
Title of host publicationASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering
Pages531-532
Number of pages2
DOIs
Publication statusPublished - 2007 Dec 1
Externally publishedYes
Event22nd IEEE/ACM International Conference on Automated Software Engineering, ASE'07 - Atlanta, GA, United States
Duration: 2007 Nov 52007 Nov 9

Publication series

NameASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering

Other

Other22nd IEEE/ACM International Conference on Automated Software Engineering, ASE'07
CountryUnited States
CityAtlanta, GA
Period07/11/507/11/9

Keywords

  • formal methods
  • model transformation
  • requirements analysis

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Software

Fingerprint Dive into the research topics of 'Formal specification generator for KAOS - Model transformation approach to generate formal specifications from KAOS requirements models'. Together they form a unique fingerprint.

  • Cite this

    Nakagawa, H., Taguchi, K., & Honiden, S. (2007). Formal specification generator for KAOS - Model transformation approach to generate formal specifications from KAOS requirements models. In ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering (pp. 531-532). (ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering). https://doi.org/10.1145/1321631.1321729