In this paper we focus on the construction of a declarative mediator language. The lan- guage provides the ability to handle multiple logic theories, extended with program expres- sions. Two motivating examples are presented. The denotational and operational semantics of the language are introduced and a bottom-up e cient implementation is de ned and proved correct with respect to the given semantics
MedLan: a Logic-based Mediator Language
Asirelli P;Turini F
1997
Abstract
In this paper we focus on the construction of a declarative mediator language. The lan- guage provides the ability to handle multiple logic theories, extended with program expres- sions. Two motivating examples are presented. The denotational and operational semantics of the language are introduced and a bottom-up e cient implementation is de ned and proved correct with respect to the given semanticsFile in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_408629-doc_143449.pdf
accesso aperto
Descrizione: MedLan: a Logic-based Mediator Language
Dimensione
247.3 kB
Formato
Adobe PDF
|
247.3 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
