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

12 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

Other

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

Fingerprint

Specification languages
Formal methods
Large scale systems
Software engineering
Specifications
Formal specification

Keywords

  • formal methods
  • model transformation
  • requirements analysis

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Software

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) https://doi.org/10.1145/1321631.1321729

Formal specification generator for KAOS - Model transformation approach to generate formal specifications from KAOS requirements models. / Nakagawa, Hiroyuki; Taguchi, Kenji; Honiden, Shinichi.

ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering. 2007. p. 531-532.

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

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, 22nd IEEE/ACM International Conference on Automated Software Engineering, ASE'07, Atlanta, GA, United States, 07/11/5. https://doi.org/10.1145/1321631.1321729
Nakagawa H, Taguchi K, Honiden S. 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. 2007. p. 531-532 https://doi.org/10.1145/1321631.1321729
Nakagawa, Hiroyuki ; Taguchi, Kenji ; Honiden, Shinichi. / Formal specification generator for KAOS - Model transformation approach to generate formal specifications from KAOS requirements models. ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering. 2007. pp. 531-532
@inproceedings{1699c4257efc4634a8db7c85ca4e51c2,
title = "Formal specification generator for KAOS - Model transformation approach to generate formal specifications from KAOS requirements models",
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.",
keywords = "formal methods, model transformation, requirements analysis",
author = "Hiroyuki Nakagawa and Kenji Taguchi and Shinichi Honiden",
year = "2007",
month = "12",
day = "1",
doi = "10.1145/1321631.1321729",
language = "English",
isbn = "9781595938824",
pages = "531--532",
booktitle = "ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering",

}

TY - GEN

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

AU - Nakagawa, Hiroyuki

AU - Taguchi, Kenji

AU - Honiden, Shinichi

PY - 2007/12/1

Y1 - 2007/12/1

N2 - 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.

AB - 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.

KW - formal methods

KW - model transformation

KW - requirements analysis

UR - http://www.scopus.com/inward/record.url?scp=56549086788&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=56549086788&partnerID=8YFLogxK

U2 - 10.1145/1321631.1321729

DO - 10.1145/1321631.1321729

M3 - Conference contribution

SN - 9781595938824

SP - 531

EP - 532

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

ER -