Dynamic Relational Behaviour for Large-Scale Systems
File version
Author(s)
Colvin, Robert
Dromey, Geoff
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Colin Fidge
Date
Size
348322 bytes
File type(s)
application/pdf
Location
Gold Coast, Australia
License
Abstract
In this paper we introduce a syntax and semantics for capturing complex relational behaviour commonly found in natural language system requirements. The syntax is an extension of Behaviour Trees, a modelling notation used for capturing user requirements from natural language in a structured way. The underlying semantics of the extended notation is based on that of relational databases, thereby allowing the expressive power of database queries to be combined with the event- and state-based dynamic behaviour of Behavior Trees. To be a practical method for developing large-scale complex systems, the language is formal and hence supported by simulation and model checking tools.
Journal Title
Conference Title
Proceedings 20th Australian Software Engineering Conference ASWEC 2009
Book Title
Edition
Volume
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
© 2009 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Item Access Status
Note
Access the data
Related item(s)
Subject
Software Engineering