Resource-aware policies
| Autor: | Andrew Fish, Alexander Heußner, Francesco Parisi Presicce, Paolo Bottoni |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2017 |
| Předmět: |
Theoretical computer science
Computer science Semantics (computer science) Programming language 020207 software engineering Context (language use) 0102 computer and information sciences 02 engineering and technology Extension (predicate logic) computer.software_genre 01 natural sciences Language and Linguistics Annotations Conformance Modelling spider diagrams Policies Resources Synchronisation Human-Computer Interaction Computer Science Applications Annotation Transformation (function) Resource (project management) 010201 computation theory & mathematics Abstract syntax 0202 electrical engineering electronic engineering information engineering State (computer science) computer |
| Popis: | In previous papers, we proposed an extension of Spider Diagrams to object-oriented modelling, called Modelling Spider Diagrams (MSDs), as a visual notation for specifying admissible states of instances of types, and for verifying the conformance of configurations of instances with such specifications. Based on this formalisation, we developed a notion of transformation of MSDs, modelling admissible evolutions of configurations. In the original version of MSD, individual instances evolve independently, but in reality evolutions often occur in the context of available resources, so transformations must be extended to take this into account. In this paper we provide an abstract syntax for MSDs, in terms of typed attributed graphs, and a semantics for the specification of policies based on notions from the theory of graph transformations, and we associate with them a notion of resources. We also introduce a synchronisation mechanism, based on annotation of instances with resources, so that the transformations required by a policy occur with respect to available resources. In particular, resources can be atomically produced or consumed or can change their state consistently with the evolution of the spiders subject to the policy. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|