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)
- Published Version
Available under License Creative Commons Attribution No Derivatives.
Download (762kB) | Preview
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.
|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.|
|Uncontrolled Keywords:||Open Systems; Abstract Semantics; Nominal Calculi; Type Systems|
|Subjects:||Q Science > QA Mathematics > QA75 Electronic computers. Computer science|
|Research Area:||Computer Science and Applications|
|Depositing User:||Users 30 not found.|
|Date Deposited:||17 May 2011 15:01|
|Last Modified:||08 Oct 2014 09:39|
Actions (login required)