We present an algorithm for establishing a flexible conformance relation between two local agent interaction protocols (LAIPs) based on mappings involving agents and messages, respectively. Conformance is in fact computed "modulo mapping": two LAIPs τ and τ may involve different agents and use different syntax for messages, but may still be found to be conformant provided that a given map from entities appearing in τ to corresponding entities in τ is applied. LAIPs are modelled as trace expressions whose high expressive power allows for the design of protocols that could not be specified using finite state automata or equivalent formalisms. This expressive power makes the problem of stating if τ conforms to τ undecidable. We cope with this problem by over-approximating trace expressions that may lead to infinite computations, obtaining a sound but not complete implementation of the proposed conformance check.

Agents interoperability via conformance modulo mapping / Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana. - 2215:(2018), pp. 109-115. (Intervento presentato al convegno 19th Workshop "From Objects to Agents", WOA 2018 tenutosi a ita nel 2018).

Agents interoperability via conformance modulo mapping

Angelo Ferrando;
2018

Abstract

We present an algorithm for establishing a flexible conformance relation between two local agent interaction protocols (LAIPs) based on mappings involving agents and messages, respectively. Conformance is in fact computed "modulo mapping": two LAIPs τ and τ may involve different agents and use different syntax for messages, but may still be found to be conformant provided that a given map from entities appearing in τ to corresponding entities in τ is applied. LAIPs are modelled as trace expressions whose high expressive power allows for the design of protocols that could not be specified using finite state automata or equivalent formalisms. This expressive power makes the problem of stating if τ conforms to τ undecidable. We cope with this problem by over-approximating trace expressions that may lead to infinite computations, obtaining a sound but not complete implementation of the proposed conformance check.
2018
19th Workshop "From Objects to Agents", WOA 2018
ita
2018
2215
109
115
Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana
Agents interoperability via conformance modulo mapping / Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana. - 2215:(2018), pp. 109-115. (Intervento presentato al convegno 19th Workshop "From Objects to Agents", WOA 2018 tenutosi a ita nel 2018).
File in questo prodotto:
File Dimensione Formato  
woaAngeloDavideViviana18.pdf

Accesso riservato

Dimensione 280.5 kB
Formato Adobe PDF
280.5 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

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