BRIOLA , Daniela

Test automation is adopted by the majority of software and hardware producers since it speeds up the testing phase and allows to design and perform a large bunch of tests that would be hardly manageable in a manual way. When dealing with the testing of hardware instruments, different physical environments have to be created so that the...

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

We describe a framework for top-down centralized self-adaptive MASs where adaptive agents are "protocol-driven" and adaptation consists in runtime protocol switch. Protocol specifications take a global, rather than a local, perspective and each agent, before starting to follow a new (global) protocol, projects it for obtaining a local version....

We address the problem of decentralized runtime verification of interaction protocols in multiagent systems by means of MAS-DRiVe, an algorithm for partitioning a multiagent system (MAS) into sub-MASs which can be monitored independently. Given a global interaction protocol named AIP (for "Agent Interaction Protocol") describing all the...

This paper describes IndianaMAS, a multiagent system able to automatically classify and manage images, sketches, and multilingual documents in a cultural heritage domain. The latter has been formalized by means of an ontology, which enables the semantic integration of heterogeneous data from different sources, drives the agent communication...