Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models

Authors:
Hiroyuki Nakagawa;Kenji Taguchi;Shinichi Honiden
Affiliations:
University of Tokyo & Kajima Corporation, Tokyo, Japan;National Institute of Informatics, Tokyo, Japan;Kajima Corporation, Tokyo, Japan
Venue:
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Year:
2007

Citing 2
Cited 4

Goal-directed requirements acquisition

6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
Validated Designs For Object-oriented Systems

Validated Designs For Object-oriented Systems

A First Attempt to Express KAOS Refinement Patterns with Event B

ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project

TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Specification of a localization component driven by a goal-based approach: some lessons we learned

SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
gocc: a configuration compiler for self-adaptive systems using goal-oriented requirements description

Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems

Quantified Score

Hi-index	0.00

Visualization

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.