A graph semantics for a variant of the ambient calculus more adequate for modeling SOC
In this paper we present a graph semantics of a variant of the well known ambient calculus. The main change of our variant is to extract the mobility commands of the original calculus from the ambient topology. Similar to a previous work of ours, we prove that our encoding have good properties. We s...
| Autor: | |
|---|---|
| Formato: | informe técnico |
| Fecha de publicación: | 2017 |
| País: | España |
| Recursos: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | inglés |
| OAI Identifier: | oai:upcommons.upc.edu:2117/100667 |
| Acesso em linha: | https://hdl.handle.net/2117/100667 |
| Access Level: | acceso abierto |
| Palavra-chave: | Graph theory Mobile calculus Graph transformation Service oriented computing SOC Grafs, Teoria de Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
| Resumo: | In this paper we present a graph semantics of a variant of the well known ambient calculus. The main change of our variant is to extract the mobility commands of the original calculus from the ambient topology. Similar to a previous work of ours, we prove that our encoding have good properties. We strongly believe that this variant would allow us to integrate our graph semantics of our mobile calculus with previous work of us in service oriented computing (SOC). Basically, our work on SOC develops a new graph transformation system which we call temporal symbolic graphs. This new graph formalism is used to give semantics to a design language for SOC developed in an european project, but it could also be used in connection with other approaches for modeling or specifying service systems. |
|---|