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: http://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: Mathematics, Computing and Technology > Computing & Communications
Mathematics, Computing and Technology
Interdisciplinary Research Centre: Centre for Research in Computing (CRC)
Item ID: 15300
Depositing User: Thein Tun
Date Deposited: 24 Mar 2009 09:28
Last Modified: 25 Feb 2016 13:12
URI: http://oro.open.ac.uk/id/eprint/15300
Share this page:

Altmetrics

Scopus Citations

► Automated document suggestions from open access sources

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.

Actions (login may be required)

Policies | Disclaimer

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