In 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.

In 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 components may contribute further information on how the transformation is defined completely. In this paper we introduce a formal model for interactive 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 rewriting rules, whereas their layouts are obtained interactively by external components like a constraints solver or a user working with a display and a mouse.

Interactive Rule-based Specification with an Application to Visual Language Definition

SIMEONI, Marta
2002-01-01

Abstract

In 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 components may contribute further information on how the transformation is defined completely. In this paper we introduce a formal model for interactive 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 rewriting rules, whereas their layouts are obtained interactively by external components like a constraints solver or a user working with a display and a mouse.
2002
RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES
File in questo prodotto:
File Dimensione Formato  
Springer.pdf

non disponibili

Descrizione: main paper
Tipologia: Versione dell'editore
Licenza: Accesso chiuso-personale
Dimensione 235.23 kB
Formato Adobe PDF
235.23 kB Adobe PDF   Visualizza/Apri

I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10278/32313
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 0
social impact