We propose an enrichment of the Prolog language based on the introduction of explicit notions of state variables and, most notably, of actions. The extended language, called co-notation, supports the formal, executable description of a wide variety of systems in a so-called 'constraint-oriented style': system behaviours are described as hierarchical compositions of constraints on actions and state variables. Elementary constraints include state invariants, referring to one or more state variables, and 'active predicates', involving one action and zero or more state variables. Compound constraints are encapsulated compositions of elementary and/or compound constraints, and represent partial views about the system behaviour, Constraint composition is also reminiscent of process composition in process algebra, but encompasses interaction both by rendez-vous and by shared variables. (C) 1998 John Wiley & Sons, Ltd.
Sommario non disponibile.
A layer on top of Prolog for composing behavioural constraints
Bolognesi T;
1998
Abstract
We propose an enrichment of the Prolog language based on the introduction of explicit notions of state variables and, most notably, of actions. The extended language, called co-notation, supports the formal, executable description of a wide variety of systems in a so-called 'constraint-oriented style': system behaviours are described as hierarchical compositions of constraints on actions and state variables. Elementary constraints include state invariants, referring to one or more state variables, and 'active predicates', involving one action and zero or more state variables. Compound constraints are encapsulated compositions of elementary and/or compound constraints, and represent partial views about the system behaviour, Constraint composition is also reminiscent of process composition in process algebra, but encompasses interaction both by rendez-vous and by shared variables. (C) 1998 John Wiley & Sons, Ltd.File | Dimensione | Formato | |
---|---|---|---|
prod_410441-doc_144441.pdf
solo utenti autorizzati
Descrizione: A layer on top of prolog for composing behavioural constraints
Tipologia:
Versione Editoriale (PDF)
Dimensione
112.26 kB
Formato
Adobe PDF
|
112.26 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.