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://dx.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
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
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: 05 Dec 2010 05:51
URI: http://oro.open.ac.uk/id/eprint/15300
Share this page:

Actions (login may be required)

View Item
Report issue / request change

Policies | Disclaimer

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