Dynamic Relational Behaviour for Large-Scale Systems

Loading...
Thumbnail Image
File version
Author(s)
Winter, Kirsten
Colvin, Robert
Dromey, Geoff
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)

Colin Fidge

Date
2009
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

Persistent link to this record
Citation