Concessioni di servizio in ambito interportuale, portuale e demaniale marittimo ed esercizio delle relative attività: l'impatto della disciplina comunitaria in materia di libera prestazioni di servizi.

Come si evince dal titolo della tesi, la ricerca effettuata dal presente candidato nel corso del dottorato di ricerca ha avuto ad oggetto l’analisi delle competenze che, a diverso livello, comunitario, nazionale e regionale, sono attribuite agli enti in materia di rilascio di concessioni di servizi in abito interportuale, portuale e demaniale marittimo. L’attenzione, pertanto, ha dovuto innanzitutto essere rivolta ai compiti ed alle facoltà che, in forza del trattato che istituisce la Comunità Europea, sono attribuite alla Comunità stessa. Si è provveduto, pertanto, ad analizzare l’evoluzione della normativa per giungere all’attuale sistema giuridico. Gli aspetti della disciplina delle concessioni, oggetto di ricerca, hanno dovuto ripercorrere i vari procedimenti di infrazione comminati dalla Corte Europea, per i quali il sistema giuridico nazionale si è dovuto adattare con non poche difficoltà, soprattutto per la presenza di posizioni e prassi, negli anni, divenute consolidate.

Monitoring Complex Processes to Verify System Conformance: A Declarative Rule-Based Framework

Over the last 60 years, computers and software have favoured incredible advancements in every field. Nowadays, however, these systems are so complicated that it is difficult – if not challenging – to understand whether they meet some requirement or are able to show some desired behaviour or property. This dissertation introduces a Just-In-Time (JIT) a posteriori approach to perform the conformance check to identify any deviation from the desired behaviour as soon as possible, and possibly apply some corrections. The declarative framework that implements our approach – entirely developed on the promising open source forward-chaining Production Rule System (PRS) named Drools – consists of three components: 1. a monitoring module based on a novel, efficient implementation of Event Calculus (EC), 2. a general purpose hybrid reasoning module (the first of its genre) merging temporal, semantic, fuzzy and rule-based reasoning, 3. a logic formalism based on the concept of expectations introducing Event-Condition-Expectation rules (ECE-rules) to assess the global conformance of a system. The framework is also accompanied by an optional module that provides Probabilistic Inductive Logic Programming (PILP). By shifting the conformance check from after execution to just in time, this approach combines the advantages of many a posteriori and a priori methods proposed in literature. Quite remarkably, if the corrective actions are explicitly given, the reactive nature of this methodology allows to reconcile any deviations from the desired behaviour as soon as it is detected. In conclusion, the proposed methodology brings some advancements to solve the problem of the conformance checking, helping to fill the gap between humans and the increasingly complex technology.