Tools
Tools
Kitchin, Diane E., McCluskey, T.L. and West, Margaret M. (2005) B vs OCL: comparing specification languages for Planning Domains. In: Proceedings of the Fifteenth International Conference on Automated Planning and Scheduling (ICAPS 2005). AAAI Press. ISBN 978-1-57735-220-4
Metadata only available from this repository.
Abstract
In this paper we examine the specification and validation of
Artificial Intelligence Planning domain models using the B
Abstract Machine Notation and its associated tool support.
We compare this to the use of OCL (object-centred language)
within its tool-supported environment, GIPO. We present encodings
of two well-known AI planning domain models, the
Blocks world and the Tyres world, with the aim of finding a
correspondence between the B and the OCL languages. We
also compare the tool-supported validation offered by their
respective environments.
| Item Type: | Book Chapter |
|---|---|
| Subjects: | T Technology > T Technology (General) |
| Schools: | School of Computing and Engineering |
| Related URLs: | |
| ID Code: | 1264 |
| Deposited By: | Briony Heyhoe |
| Deposited On: | 30 Jul 2008 11:37 |
| Last Modified: | 13 Feb 2009 09:21 |
Repository Staff Only: item control page