— Service compositions provide a promising way to realize and coordinate automated support for business activities and processes. These business processes and their automated sup...
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
The increasing complexity of modern Information Services (IS) makes necessary to carry on review activities. For many companies, these reviews take place within the framework of t...
Jacques Simonin, Yves Le Traon, Jean-Marc Jé...
This tutorial addresses the problem of the migration of legacy assets to Service-Oriented Architecture (SOA) environments. It addresses how to develop a realistic strategy for per...
This paper describes the software infrastructure introduced within the AgentService framework in order to provide support for ontology design, development, and management. Ontolog...
Antonio Boccalatte, Andrea Gozzi, Alberto Grosso, ...