DocumentCode
3117787
Title
Behavior Engineering - A Scalable Modeling and Analysis Method
Author
Powell, Daniel
Author_Institution
Griffith Univ. Brisbane, Brisbane, QLD, Australia
fYear
2010
fDate
13-18 Sept. 2010
Firstpage
31
Lastpage
40
Abstract
The impact of failing to develop a shared understanding of the requirements describing and constraining large, complex projects and programs with many, possibly distributed, stakeholders and suppliers is enormous. Traditional engineering methods provide little in the way of taming complexity when synthesising, analysing and communicating the requirements of such projects. The Behavior Engineering method, developed at Griffith University, and employed on a number of large, complex and nationally critical defence, aerospace, transport and government projects and programs addresses the problems of scale and complexity head on. The Behavior Engineering method is presented in this paper as an efficient and effective method for modeling, analysing, evaluating and communicating large requirements specifications comprising thousands of requirements as well as a method that facilitates the synthesis of requirements from operational scenarios. It is demonstrated through analysis of industry data, that Behavior Engineering facilitates the development and communication of a deep, accurate and holistic understanding of the system needs, significantly reducing the risk of failure to capture and preserve intent in the development of large and complex systems.
Keywords
computational complexity; formal specification; software engineering; Griffith University; analysis method; behavior engineering method; complex programs; complex projects; scalable modeling; shared understanding; taming complexity; Analytical models; Complexity theory; Detectors; Natural languages; Security; Vocabulary; behavior engineering; requirements analysis; requirements evaluation; requirements modeling; requirements synthesis;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering and Formal Methods (SEFM), 2010 8th IEEE International Conference on
Conference_Location
Pisa
Print_ISBN
978-1-4244-8289-4
Type
conf
DOI
10.1109/SEFM.2010.12
Filename
5637404
Link To Document