Data and behavioral contracts for web services

The recent trend in Web services is fostering a computing scenario where loosely coupled parties interact in a distributed and dynamic environment. Such interactions are sequences of xml messages and in order to assemble parties – either statically or dynamically – it is important to verify that the “contracts” of the parties are “compatible”. The Web Service Description Language (wsdl) is a standard used for describing one-way (asynchronous) and request/response (synchronous) interactions. Web Service Conversation Language extends wscl contracts by allowing the description of arbitrary, possibly cyclic sequences of exchanged messages between communicating parties. Unfortunately, neither wsdl nor wscl can effectively define a notion of compatibility, for the very simple reason that they do not provide any formal characterization of their contract languages. We define two contract languages for Web services. The first one is a data contract language and allow us to describe a Web service in terms of messages (xml documents) that can be sent or received. The second one is a behavioral contract language and allow us to give an abstract definition of the Web service conversation protocol. Both these languages are equipped with a sort of “sub-typing” relation and, therefore, they are suitable to be used for querying Web services repositories. In particular a query for a service compatible with a given contract may safely return services with “greater” contract.

Annullamento dell'aggiudicazione e inefficacia del contratto

Lo studio si occupa del tema della nullità dell’atto amministrativo nell’ambito della attività negoziale della p.a.. L’obiettivo è quello di analizzare gli effetti sul contratto di appalto, a seguito dell’annullamento degli atti di gara, alla luce dei recenti interventi legislativi e giurisprudenziali. L’indagine investe anche questioni di giurisdizione e di legittimazione ad agire La tesi è articolata in tre capitoli. Nel primo capitolo “Annullamento della aggiudicazione e sorte del contratto nell’iter ricostruttivo dell’istituto si analizzano le conseguenze dell’annullamento degli atti di gara sul contratto e si riflette sui profili del riparto di giurisdizione tra GA e GO e della qualificazione dei vizi. Si analizza, inoltre, il rapporto tra autotutela, legittimo affidamento e responsabilità della p.a., alla luce della funzione dei principi generali dell’ordinamento, costituendo, questi, sia limite, sia contenuto della funzione amministrativa espressa come potere di autotutela e delineando essi lo spazio entro cui il giudice deve agire. Il secondo capitolo analizza le “Prospettive di sviluppo recenti ed interventi chiarificatori”, alla luce del recente decreto legislativo n. 53/2010, della cd. Direttiva ricorsi (n. 2007/66/CE) e delle norme relative al nuovo processo amministrativo, recentemente introdotte, (artt. da 122 a 125 del d. lgs. n. 104/2010) concentra l’attenzione sul profilo della individuazione dei parametri che il giudice può utilizzare per statuire della sorte del contratto. Nel terzo capitolo “Diritto pubblico e Diritto privato nei contratti della Pubblica Amministrazione”. si focalizza l’attenzione sul rapporto tra istituti del diritto amministrativo istituti del diritto privato: quanto più l’attività negoziale risulta attratta nella sfera del potere pubblicistico, tanto più il contratto non godrà di autonomia rispetto al provvedimento. La reciproca dipendenza implica che la sorte dell’atto incida irrimediabilmente anche sul contratto. Nell’ultimo paragrafo dell’ultimo capitolo si propongono alcune conclusioni.

La figura del concessionario di beni e servizi nel demanio marittimo, costiero e portuale

Per la tradizione amministrativa la concessione è lo strumento che consente ai singoli di utilizzare un bene pubblico a titolo particolare. Proprio l’endiadi espressa dai due aggettivi della definizione tradizionale, pubblico e particolare, nasconde la ragione della fortuna dello strumento concessorio, capace di soddisfare, allo stesso tempo, un’esigenza di carattere pubblico ed un bisogno eminentemente privato, sopravvivendo ai più differenti periodi storici ed all’affermarsi delle più radicali correnti di pensiero. A fare da sfondo a questa insanabile tensione, in perenne oscillazione tra i due poli estremi della definizione, la nozione, a sua volta relativa, discussa e costantemente rivisitata, di bene pubblico. Per questa ragione il titolo del lavoro che si presenta è articolato in tre segmenti, che fanno riferimento allo strumento, soltanto formalmente unitario, della concessione negli ambiti del demanio marittimo, del demanio costiero e del demanio portuale. Nel primo capitolo si esamina la disciplina normativa applicabile alle varie tipologie di concessione ipotizzabili sul demanio marittimo, cercando di cogliere, in una prospettiva di analisi diacronica, le linee di evoluzione dell’uso particolare dei beni variamente connessi alle esigenze della navigazione. Il secondo capitolo è, invece, dedicato all’esame dell’elaborazione giurisprudenziale relativa alle vicende del demanio marittimo. Mentre nel terzo capitolo, infine, si è tentato di ricercare e di rappresentare una teoria unitaria della concessione dovuta, in gran parte, all’incedere, apparentemente irresistibile, di un vocabolario comune dei contratti pubblici di matrice comunitaria. In questo contesto appare evidente la crisi, probabilmente irreversibile, della concezione di bene pubblico e quindi di concessione.

Reserva de ley y transposición de directivas europeas

La presente tesis analiza el problema de la validez de las disposiciones de transposición de las Directivas Europeas en los ordenamientos nacionales desde la perspectiva del principio constitucional de reserva de ley. En el primer capítulo se desarrolla un análisis del estado de la cuestión en las jurisprudencias española e italiana. En el segundo se afronta el estudio de los requisitos impuestos por la jurisprudencia del TJUE en relación con las normas por las que se procede a la incorporación en los ordenamientos internos del contenido de las Directivas; teniendo en cuenta que ha de partirse del principio de autonomía institucional y procedimental de los Estados Miembros y que las Directivas, en tanto carentes por razón de su forma de directa aplicabilidad, no pueden sustituir a la ley nacional, el principio de reserva de ley ha de aplicarse en este tipo de operaciones siempre que así lo exija la Constitución nacional. En el tercer capítulo se estudian los efectos que han producido en los ordenamientos italiano, francés y alemán las cláusulas constitucionales "europeas", alcanzándose la fundamental conclusión de que las mismas no han supuesto quiebra alguna de la disciplina general de producción normativa en lo que se refiere a las operaciones de ejecución interna del Derecho Europeo. En el cuarto y último capítulo, en fin, se analiza el sistema italiano de ejecución de las políticas europeas mediante normas reglamentarias y la posible toma en consideración del mismo para la formulación de propuestas de lege ferenda en relación con el Derecho Español.

Il contratto di compravendita immobiliare da un punto di vista pragmatico. Modello per un'analisi testuale contrastiva sviluppato su corpora da Italia, Germania e Austria

Oggetto del presente studio è un'analisi del genere testuale del contratto di compravendita immobiliare negli ordinamenti di Italia, Germania e Austria in un'ottica sincronica e pragmatica. Il testo è considerato come un atto comunicativo legato a convenzioni prestabilite e volto ad assolvere a specifiche funzioni sociali. L'obbiettivo principale del lavoro è lo sviluppo di un modello di analisi testuale che possa evidenziare l'interazione tra la funzione primaria e l'assetto macro- e microstrutturale di questo genere testuale, ovvero tra il piano giuridico e quello linguistico-testuale. L'analisi svolta permette inoltre di confrontare tre sistemi giuridici rispetto alla modalità di attuare questo negozio, nonché le lingue italiana e tedesca ed altresì due varietà di quest'ultima. Il corpus è composto da 40 atti autentici e 9 atti da formulari, compresi in un arco temporale che va dal 2000 al 2018. L'analisi parte con la definizione delle coordinate intra-ed extratestuali che determinano questo genere testuale e da una sua classificazione all'interno dei testi dell'ambito giuridico. Su questa base, i contratti dei corpora di Italia, Germania e Austria vengono analizzati separatamente rispetto alla loro macrostruttura, comprendendo in ciò tre piani macrostrutturali, ovvero quello giuridico da un lato e quelli funzionale e tematico dall'altro. L'interazione tra la funzione giuridica e l'assetto linguistico-testuale del contratto di compravendita immobiliare emerge in particolare a livello di quello funzionale, ossia relativo alla sequenza delle funzioni linguistiche realizzate sulla base dei contenuti giuridici. I risultati evinti dall'analisi dei tre corpora sono, infine, messi a confronto e integrati con una classificazione delle forme verbali che caratterizzano determinati macro-ambiti d'uso/funzionali all'interno di questo genere testuale, ovvero la realizzazione di specifiche funzioni linguistiche e giuridiche. Il metodo proposto offre nuovi spunti per ricerche future, tanto nell'ambito della linguistica contrastiva applicata a testi specialistici, che della traduzione e linguistica giuridica.

Implications of Blockchain-Based Smart Contracts on Contract Law

Smart contracts are the most advanced blockchain applications. They can also be used in the contractual domain for the encoding and automatic execution of contract terms. Smart contracts already existed before the blockchain, but they take advantage of the characteristics of that technology. Namely, the decentralised and immutable characters of the blockchain determine that no single contracting party can control, modify, or interrupt the execution of smart contracts. As every new phenomenon, blockchain-based smart contracts have attracted the attention of institutions. For example, in its Resolution of 3 October 2018 on distributed ledger technologies and blockchain, the European Parliament has stressed the need to undertake an in-depth assessment of the legal implications,starting from the analysis of existing legal frameworks. Indeed, the present research thesis aims to verify how blockchain-based smart contracts fit into contract law. To this end, the analysis starts from the most discussed and relevant aspects and develops further considerations. Before that, it provides a detailed description and clarifications about the characteristics, the functioning, and the development of the technology, which is an essential starting point for a high-level quality legal analysis. It takes into considerations already existing rules concerning the use of technology in the life cycle of contracts, from vending machines to computable contracts, and verifies its applicability to blockchain-based smart contracts. The work does not limit to consider the mere technology, but some concrete scenarios of adoption of blockchain-based smart contracts in the contractual domain. Starting from the latter, it focuses on the implications of blockchain-based smart contracts on contract formation, contract performance, and applicable law and jurisdiction.

Specification, execution and verification of interaction protocols: an approach based on computational logic

Interaction protocols establish how different computational entities can interact with each other. The interaction can be finalized to the exchange of data, as in 'communication protocols', or can be oriented to achieve some result, as in 'application protocols'. Moreover, with the increasing complexity of modern distributed systems, protocols are used also to control such a complexity, and to ensure that the system as a whole evolves with certain features. However, the extensive use of protocols has raised some issues, from the language for specifying them to the several verification aspects. Computational Logic provides models, languages and tools that can be effectively adopted to address such issues: its declarative nature can be exploited for a protocol specification language, while its operational counterpart can be used to reason upon such specifications. In this thesis we propose a proof-theoretic framework, called SCIFF, together with its extensions. SCIFF is based on Abductive Logic Programming, and provides a formal specification language with a clear declarative semantics (based on abduction). The operational counterpart is given by a proof procedure, that allows to reason upon the specifications and to test the conformance of given interactions w.r.t. a defined protocol. Moreover, by suitably adapting the SCIFF Framework, we propose solutions for addressing (1) the protocol properties verification (g-SCIFF Framework), and (2) the a-priori conformance verification of peers w.r.t. the given protocol (AlLoWS Framework). We introduce also an agent based architecture, the SCIFF Agent Platform, where the same protocol specification can be used to program and to ease the implementation task of the interacting peers.