BRIOLA , Daniela

No description

No description

Enterprise Content Management (ECM) systems represent a crucial aspect in the efficient and effective management of large-scale enterprises, in particular for those made up of several sites distributed all over the world. The increasing number of documents to be managed, the problems related to the sharing of private information between...

No description

In this paper, we describe a framework for specifying, simulating and verifying negotiation protocols following an agent-based approach. Most of the components of this framework have already been implemented and tested, whereas verification facilities using temporal logic, which are the most innovative aspect of this proposal, are being...

Verifying that agent interactions in a multiagent system (MAS) are compliant to a given global protocol is of paramount importance for most systems, and is mandatory for safety-critical applications. Runtime verification requires a proper formalism to express such a protocol, a possibly non intrusive mechanism for capturing agent interactions,...

No description

No description

Enterprise Content Management (ECM) systems represent a crucial aspect in the efficient and effective management of large-scale enterprises, in particular for those made up of several sites distributed all over the world. Considering the increasing number of documents that large enterprises need to store and manage, and the need of classifying...

Despite being one of the world's largest railways networks, with a daily transportation of over 25 million passengers and 2.8 million tons of freight, the Indian Railways perform their signaling, traffic management and trains scheduling activities in a completely manual way. The lack of automation causes not only significant delays, but also...

This paper presents the "Ontologica" system, a forefront project born from a joint effort between the Department of Informatics, Bioengineering, Robotics and System Engineering of Genoa university and Ansaldo STS from the same city in the design of advanced information systems. The aim of the project is twofold: the adoption of ontologies to...

We propose an approach for designing, formalizing and implementing, on top of existing MultiAgent Systems and without interfering with them, 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...

This paper presents the "Ontologica" system, a forefront project born from a joint effort between university and industry in the design of advanced information systems. The aim of the project is twofold: to adopt ontologies and new technologies to manage the Centralized Traffic Control logic in a railway and all the rules making the physical...

No description

This paper describes an ongoing project that involves DISI, the Computer Science Department of Genova University, and Ansaldo Segnalamento Ferroviario, the Italian leader in design and construction of signalling and automation systems for railway lines. We are implementing a multiagent system that monitors processes running in a railway...

No description