This paper describes an approach for designing, formalizing and implementing sentinels that detect errors in fail-uncontrolled multiagent systems, and controllers that identify particular situations in ambient intelligence (AmI) systems. The formalism we use for representing the expected patterns of actions along with exceptions, timeouts, and their handlers, is that of constrained global types extended with features for dealing with these new constructs. We provide the syntax and semantics of the extended constrained global types and examples of their use, in the different contexts of fail-uncontrolled and AmI systems.
Ancona, D., Briola, D., Mascardi, V. (2015). Protocols with exceptions, timeouts, and handlers: A uniform framework for monitoring fail-uncontrolled and ambient intelligence systems. In Proceedings of the 16th Workshop on From Object to Agents, WOA 2015 (pp.65-75). CEUR-WS.
Protocols with exceptions, timeouts, and handlers: A uniform framework for monitoring fail-uncontrolled and ambient intelligence systems
Briola, D;
2015
Abstract
This paper describes an approach for designing, formalizing and implementing sentinels that detect errors in fail-uncontrolled multiagent systems, and controllers that identify particular situations in ambient intelligence (AmI) systems. The formalism we use for representing the expected patterns of actions along with exceptions, timeouts, and their handlers, is that of constrained global types extended with features for dealing with these new constructs. We provide the syntax and semantics of the extended constrained global types and examples of their use, in the different contexts of fail-uncontrolled and AmI systems.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
