eprintid: 316
rev_number: 10
eprint_status: archive
userid: 32
dir: disk0/00/00/03/16
datestamp: 2011-05-27 14:08:45
lastmod: 2011-07-11 14:36:25
status_changed: 2011-05-27 14:08:45
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: Bettini, Lorenzo
creators_name: De Nicola, Rocco
creators_name: Loreti, Michele
creators_id: 
creators_id: r.denicola@imtlucca.it
creators_id: 
title: Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
keywords: modal logics - mobile agents - network aware programming - verification - concurrency - programming languages
note: Published in Special Issue on Distributed and Mobile Software Engineering.
abstract: A general framework for network aware programming is presented that consists of a language for programming mobile applications, a logic for specifying properties of the applications and an automatic tool for verifying such properties. The framework is based on X-KLAIM, eXtended KLAIM, an experimental programming language specifically designed to program distributed systems composed of several components interacting through multiple tuple spaces and mobile code. The proposed logic is a modal logic inspired by Hennessy-Milner logic and is interpreted over the same labelled structures used for the operational semantics of X-KLAIM. The automatic verification tool is based on a complete proof system that has been previously developed for the logic.
date: 2004
date_type: published
publication: Automated Software Engineering
volume: 11
number: 3
publisher: Springer
pagerange: 245-288
id_number: 10.1023/B:AUSE.0000028536.34044.47
refereed: TRUE
issn: 0928-8910
official_url: http://dx.doi.org/10.1023/B:AUSE.0000028536.34044.47
citation:   Bettini, Lorenzo and De Nicola, Rocco and Loreti, Michele  Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming.  Automated Software Engineering, 11 (3).  pp. 245-288.  ISSN 0928-8910      (2004)