Tools
Tools
West, Margaret M., Kitchin, Diane E. and McCluskey, T.L. (2002) Validating planning domain models using B-AMN. In: PlanSIG 2002, 21st/22nd Nov 2002, Delft University of Technology, Holland. (Unpublished)
Metadata only available from this repository.
Abstract
The validation of planning domain models is an important issue and can present problems. In this paper we describe ongoing work which attempts to overcome these problems
through the construction of a B-AMN specication which models the domain. The B-Method utilises B-AMN, a state-based formal specication language with tool support
provided by the B-Toolkit. We describe how this tool support provides facilities for both animation and proof, and we propose the use of the B-Method at an initial level of domain capture. The approach is illustrated using a simple transport domain, where a high-level
model, which can be reasoned with, is produced. In addition, animation allows validation by use
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | T Technology > T Technology (General) Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Schools: | School of Computing and Engineering |
| Related URLs: | |
| ID Code: | 3267 |
| Deposited By: | Briony Heyhoe |
| Deposited On: | 04 Feb 2009 16:37 |
| Last Modified: | 13 Feb 2009 09:07 |
Repository Staff Only: item control page