The Open UniversitySkip to content
 

Using the event calculus to reason about problem diagrams

Classen, Andreas; Laney, Robin; Tun, Thein Than; Heymans, Patrick and Hubaux, Arnaud (2008). Using the event calculus to reason about problem diagrams. In: Proceedings of the 3rd international workshop on applications and advances of problem frames, May 2008, Leipzig, Germany.

Full text available as:
[img]
Preview
PDF (Not Set) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (248Kb)
URL: http://mcs.open.ac.uk/ttt23/publications/AClassen-...
DOI (Digital Object Identifier) Link: https://doi.org/10.1145/1370811.1370826
Google Scholar: Look up in Google Scholar

Abstract

Central to the problem frames approach is the distinction of three different descriptions: requirements R, domain assumptions W and specifications S, tied together with the so-called 'frame concern', a proof obligation that has to hold between them if a problem diagram is to be correct: S, W |- R. The form this proof should take is not fixed a priori. It might, however, be desirable to automate it in order to allow for an efficient analysis of large diagrams. To make this possible, we follow some earlier suggestions to use the Event Calculus as a suitable formalism for these descriptions. The main contribution of the present paper is a set of consistency rules as well as guidelines for passing from a problem diagram to its formal description.

Item Type: Conference Item
Project Funding Details:
Funded Project NameProject IDFunding Body
Not SetNot SetEPSRC (Engineering and Physical Sciences Research Council)
Not SetNot SetBNB
Not SetNot SetFNRS
Extra Information: ISBN:978-1-60558-020-3, Pages 74-77
Academic Unit/Department: Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
Faculty of Science, Technology, Engineering and Mathematics (STEM)
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Centre for Policing Research and Learning (CPRL)
Item ID: 15300
Depositing User: Thein Tun
Date Deposited: 24 Mar 2009 09:28
Last Modified: 07 Oct 2016 03:06
URI: http://oro.open.ac.uk/id/eprint/15300
Share this page:

Altmetrics

Scopus Citations

Download history for this item

These details should be considered as only a guide to the number of downloads performed manually. Algorithmic methods have been applied in an attempt to remove automated downloads from the displayed statistics but no guarantee can be made as to the accuracy of the figures.

▼ Automated document suggestions from open access sources

Actions (login may be required)

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk