eprintid: 150
rev_number: 9
eprint_status: archive
userid: 30
dir: disk0/00/00/01/50
datestamp: 2011-05-17 15:01:44
lastmod: 2014-10-08 09:39:01
status_changed: 2011-05-17 15:01:44
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: Bracciali, Andrea
creators_name: Bruni, Roberto
creators_name: Lluch-Lafuente, Alberto
creators_id: 
creators_id: 
creators_id: alberto.lluch@imtlucca.it
title: On symbolic semantics for name-decorated contexts
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: Open Systems; Abstract Semantics; Nominal Calculi; Type Systems
abstract: Under several regards, various of the recently proposed computational paradigms are open-ended, i.e. they may comprise components whose behaviour is not or cannot be fully specified. For instance, applications can be distributed across different administration domains that do not fully disclose their internal business processes to each other, or the dynamics of the system may allow reconfigurations and dynamic bindings whose specification is not available at design time. While a large set of mature design and analysis techniques for closed systems have been developed, their lifting to the open case is not always straightforward. Some existing approaches in the process calculi community are based on the need of proving properties for components that may hold in any, or significantly many, execution environments. Dually, frameworks describing the dynamics of systems with unspecified components have also been presented. In this paper we lay some preliminary ideas on how to extend a symbolic semantics model for open systems in order to deal with name-based calculi. Moreover, we also discuss how the use of a simple type system based on name-decoration for unknown components can improve the expressiveness of the framework. The approach is illustrated on a simple, paradigmatic calculus of web crawlers, which can be understood as a term representation of a simple class of graphs.
date: 2009
date_type: published
publication: Electronic Notes in Theoretical Computer Science
volume: 229
number: 3
publisher: Elsevier
pagerange: 37-58
id_number: 10.1016/j.entcs.2009.06.038
refereed: TRUE
issn: 1571-0661
official_url: http://www.sciencedirect.com/science/article/B75H1-4WRDYC9-4/2/834fb7bf6ce2da8faead48d05622258f
funders: This work has been partly supported by the EU within the FETPI Global Computing, project IST-2005-016004 SENSORIA (Software Engineering for Service-Oriented Overlay Computers) and by the Italian FIRB Project Tocai.it.
citation:   Bracciali, Andrea and Bruni, Roberto and Lluch-Lafuente, Alberto  On symbolic semantics for name-decorated contexts.  Electronic Notes in Theoretical Computer Science, 229 (3).  pp. 37-58.  ISSN 1571-0661      (2009)  
document_url: http://eprints.imtlucca.it/150/1/Bracciali-Bruni-Lluchlafuente.pdf