Programació Concurrent i Distribuïda (PCD)

Que els estudiants aprenguin a dissenyar i implementar programes concurrents i distribuïts de manera segura i fiable. Per guiar als estudiants en les tasques de disseny s'introdueix el LST (Labelled System Analyser), un llenguatge de programació senzill que permet dissenyar, visualitzar i analitzar sistemes de transicions. A fi de que els estudiants tinguin una visió més completa de la concurrència i dels sistèmes distribuïts s'ensenyen altres models com per exemple les xarxes de Petri i els software disenyat per analitzar-les. A fi de tenir una visió completa dels passos que van de la modelització a la implementació es fan pràctiques en el llenguatge de programació Java.

Coneixements

1. Que coneguin els sistemes de transició etiquetas com a eina de disseny i anàlsisi dels programas concurrent i distribuïts.
2. Que coneguin algun software, per exemple LTS, de disseny i anàlisi de sistemes de transició.
3. Que coneguin les Xarxes de Petri com un altre model formal de disseny i anàlisi, així com algun software específic d'anàlisi.
4. Que tinguin una idea clara dels problemes bàsics que poden apareixer en programació cocurrent i distribuïda.
5. Que coneguin les parts de Java relacionades amb programació concurrent i distribuïda.

Habilitats

1. Que als estudiants puguin modelitzar i analitzar a ma, exemples molt senzills de programes concurrents mitjaçant un sistemes de transició etiquetats.
2. Que puguin utilitzar amb fluïdesa una eina d'anàlisi basada en sistemes de transició per exemple el LTS.
3. Que pugin utilitzar les Xarxes de Petri com un altre model formal de disseny i anàlisi, així com algun software específic d'anàlisi de Xarxes de Petri.
4. Que puguin utilitzar amb fluïdesa les parts de Java relacionades amb programació concurrent i distribuïda.

Competències

1. Que puguin raonar de manera formal, emprant si cal programes, a fi de poder dir
   si un disseny és o no correcte.
2. Poder passar d'eines abstractes de disseny i anàlisi i implementacions en llenguatges de programació, com per exemple Java.

A les classes de teoria s'introduiran els conceptes bàsics mitjançant exemples. En les classes d'exercicis, els estudiants, resoldran exercicis sobre els temes de de les classes de teoria. En les classes de laboratori es veurà com implementar aquests problemes (o problemes semblants) en Java. Tant en classes de problemes com de laboratori es podrà utilitzar eines de disseny i anàlisi com el LTS.

Hi haurà examen final i nota de laboratori. L'exàmen serà de problemes sobre la teoria explicada. La nota de laboratori reflectirà la qualitat del treball realitzat. La nota final serà:
examen final*0.7 + laboratori*0.3

• Magee, Jeff Cramer, Jeff Concurrency, state models & Java programs, Wiley, 1999.
• Reisig, Wolfgang Elements of distributed algorithms, modeling and analysis with Petri nets, Springer, 1988.
• Perterson, James Petri net theory and the modeling of systems, Prentice-Hall, 1981.
• Tomás, José i d'altres Programación concurrente, Thomson, 2003.
• Tel, G. Introduction to distributed algorithms, Cambridge, 1994.

• Lea, Doug Concurrent programming in Java (hi ha traducció al castellà), Addison Wesley, 1999.
• Lewis, Bill, Berg, Daniel Multithreading programming with Java (existeix traducció al castellà), Prentica-Hall , 2000.

1. http://www-dse.doc.ic.ac.uk/concurrency/
   El lloc de referència pel LTS i per la primera part del curs.



2. http://java.sun.com/
   Molt interessant per tot el que és de Java.

Bons coneixements de Java a nivell de classes i objectes.