ARCA è l'archivio istituzionale ad accesso aperto della ricerca dell'Università Ca' Foscari Venezia e nasce nel 2014 con lo scopo di raccogliere, diffondere e conservare la produzione scientifica dell'Università. Costituisce di fatto il catalogo della ricerca di Ateneo.ARCA è un sistema Open Access: è non solo consultabile da tutti e visibile nei motori di ricerca, ma anche interoperabile con il portale cerCa. In questo modo vengono valorizzate la produzione scientifica dell'Ateneo e la visibilità dei ricercatori.
EnglishIn a rule-based approach the computation steps of a system are specified by rules that completely define how the system’s state may change. For open systems a more liberal approach is required, where the state changes are only partly specified, and – interactively – other com- ponents may contribute further information on how the transformation is defined completely. In this paper we introduce a formal model for in- teractive rule-based specifications, where states are modelled as partial algebras and transformations are given by internal algebra rewritings and arbitrary external components. As an application we discuss how visual languages can be defined in this framework. Thereby the internal (logical) representations of visual expressions are transformed by rewrit- ing rules, whereas their layouts are obtained interactively by external components like a constraint solver or a user working with a display and a mouse.
| Autori: | |
| Data di pubblicazione: | 2001 |
| Titolo: | Interactive Rule-based Specification with an Application to Visual Language Definition |
| Titolo del libro: | RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1007/3-540-45645-7_1 |
| Appare nelle tipologie: | 4.1 Articolo in Atti di convegno |
File in questo prodotto:
Copyright © 2021