A Framework of hierarchical graphs and its application to the semantics of SRML
Hierarchical grapsh or, in general, hierarchical graph structures are needed when describing visual models at different levels of abstraction. This is the case of the semantic model of SRML, the service modeling language of the european project SENSORIA. In particular, the state model of this langua...
| Autores: | , |
|---|---|
| Tipo de recurso: | informe técnico |
| Fecha de publicación: | 2012 |
| País: | España |
| Institución: | 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/91279 |
| Acceso en línea: | https://hdl.handle.net/2117/91279 |
| Access Level: | acceso abierto |
| Palabra clave: | Graph transformation Service oriented architecture Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica |
| Sumario: | Hierarchical grapsh or, in general, hierarchical graph structures are needed when describing visual models at different levels of abstraction. This is the case of the semantic model of SRML, the service modeling language of the european project SENSORIA. In particular, the state model of this language is considered at two level of abstraction. Roughly, at the lowest level, a state configuration is a graph consisting of interconnected components and, at the highest level, business configurations are graphs consisting of interconnected activities, where each activity is a graph of components. Then, a state configuration is the flattening of the corresponding business configuration. Following these ideas, in this paper, we present a new framework of hierarchical graphs, showing that it is m-adhesive. Then we show how this framework can be used to define (part of) a graph transformation semantics of SRML. |
|---|