0 Ugo Montanari - Dipartimento di Informatica, Università di Pisa Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione Ugo Montanari Dipartimento di Informatica, Università di Pisa
26
Embed
Evoluzione dei Linguaggi di Specifica e Programmazione
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
0
Ugo Montanari - Dipartimento di Informatica, Università di Pisa
Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione
Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione
Ugo MontanariDipartimento di Informatica, Università di Pisa
1
Ugo Montanari - Dipartimento di Informatica, Università di Pisa
Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione
Roadmap
• Perchè i linguaggi?• Che cosa sono i linguaggi?• Esempio: i numeri binari• Modelli di calcolo• Implementazione• Sfide del mondo globale• Conclusioni
2
Ugo Montanari - Dipartimento di Informatica, Università di Pisa
Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione
Roadmap
• Perchè i linguaggi?• Che cosa sono i linguaggi?• Esempio: i numeri binari• Modelli di calcolo• Implementazione• Sfide del mondo globale• Conclusioni
3
Ugo Montanari - Dipartimento di Informatica, Università di Pisa
Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione
Perchè i Linguaggi?
• Inizialmente linguaggio macchina– Separazione tra parte analogica e parte digitale del computer– È un interprete universale: può eseguire tutti i programmi
• Oggi migliaia di linguaggi con obiettivi assai diversi– Linguaggi di programmazione
Ugo Montanari - Dipartimento di Informatica, Università di Pisa
Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione
Calcoli di Processo
Structural Operational Semantics (SOS)della composizione parallela per il Calculus of Concurrent Processes (CCS)di Robin Milner (~1980)
18
Ugo Montanari - Dipartimento di Informatica, Università di Pisa
Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione
Modelli di Calcolo• Calcoli di processo: modelli e linguaggi di specifica• Model checking a stati finiti per verifica di hardware
e protocolli• Turing award 2008 a Clark, Emerson e Sifakis
19
Ugo Montanari - Dipartimento di Informatica, Università di Pisa
Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione
Roadmap
• Perchè i linguaggi?• Che cosa sono i linguaggi?• Esempio: i numeri binari• Modelli di calcolo• Implementazione• Sfide del mondo globale• Conclusioni
20
Ugo Montanari - Dipartimento di Informatica, Università di Pisa
Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione
Implementazione• Compilazione vs. interpretazione• Type checking• Moduli, librerie, configurazione, riconfigurazione• Ciclo di vita del software• Interoperabilità al livello de:
– Linguaggio (es. JAVA)– Sistema operativo (es. .NET)
• Deployment a run time• Parte della informazione di progetto disponibile a
run time
21
Ugo Montanari - Dipartimento di Informatica, Università di Pisa
Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione
Roadmap
• Perchè i linguaggi?• Che cosa sono i linguaggi?• Esempio: i numeri binari• Modelli di calcolo• Implementazione• Sfide del mondo globale• Conclusioni
22
Ugo Montanari - Dipartimento di Informatica, Università di Pisa
Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione
Sfide del Mondo Globale• Sistemi distribuiti su larga scala
– Global Computing (GC): il web come calcolatore globale– Open endness– Eterogeneity
• Costrutti linguistici e modelli formali– Coordinamento, orchestrazione, coreografia
• Qualità del servizio e service level agreements
23
Ugo Montanari - Dipartimento di Informatica, Università di Pisa
Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione
Sfide del Mondo Globale, II• Future internet: dovunque, sempre, per ogni dato, per ogni
servizio• Supporto a comunità virtuali • Supporto ad aziende
– B2B zero time– Supporto alle decisioni– Intra, inter, distretti
• Accesso a informazione locale/globale– Security, trust– Information retrieval di seconda generazione
• Modelli stocastici– Dei servizi– Dello sviluppo del web
24
Ugo Montanari - Dipartimento di Informatica, Università di Pisa
Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione
Roadmap
• Perchè i linguaggi?• Che cosa sono i linguaggi?• Esempio: i numeri binari• Modelli di calcolo• Implementazione• Sfide del mondo globale• Conclusioni
25
Ugo Montanari - Dipartimento di Informatica, Università di Pisa
Informatica: Evoluzione dei Linguaggi di Specifica e Programmazione
Conclusioni• Sviluppo di nuovi linguaggi limitato dalla messa a punto di
modelli di calcolo adeguati• Sempre nuovi problemi proposti dallo sviluppo tecnologico e
sociale• Studio dei modelli di calcolo come scienza sperimentale• Verifica di sistemi critici molto problematica• Possibilita’ di disastri di grandi dimensioni• Attackers di nuova generazione