Universitatea Babeş-Bolyai Cluj-Napoca
Facultatea de Matematică şi Informatică
Ciclul de studii: Masterat
Domeniul: Informatica
Programul de studii: Sisteme distribuite în Internet
Limba de predare: Română

SYLLABUS

I. Date generale
Codul	Disciplina	
MIC1002	Modele formale de concurenţă şi comunicaţii	

Semestrul	Ore: C+S+L+P	Categoria	Statutul	
3	2+1+0+1	specialitate	obligatorie	

II. Cadre didactice cu norma de bază în Universitate
Numele şi	Titlul	Gradul	Departamentul	Tipul activităţii	
prenumele	ştiinţific	didactic		C	S	L	
STERCA Adrian Ioan	Dr. 	Lect.	Informatică	*			

Cadre didactice asociate
Numele şi	Titlul	Instituţia	Tipul	Tipul activităţii	
prenumele	ştiinţific		postului	C	S	L	

III. Obiectivele disciplinei
Prezentarea unor modele clasice dar si a unor cercetari recente în domeniul concurentei si a comunicatiilor. Se va insista pe aspectul formal-teoretic al acestor concepte. Cursul se doreste a oferi o fundamentare puternica, matematica pentru sistemele concurentiale distribuite.	

IV. Conţinutul disciplinei
1. Serializabilitate, Concurenta si Paralelism. Algebre de procese.
2. Modelul CCS - Calculus of Communication Systems.
3. Modelul Pi-Calculus.
4. Controlul concurentei - serializare, complexitate, control, conflicte, algoritmi.
5. Modelul pagina. Abordarea obiectuala în concurenta.
6. Controlul concurentei în baze de date relationale.
7. Controlul concurentei în structuri de cautare: implementari si abordari practice.
8. Modelarea avariilor si problema impasului (deadlock).
9. Recuperarea în modelele pagina, obiectual, multimedia.
10. Controlul concurentei în context distribuit: federatii omogene.
11. Controlul concurentei în context distribuit: federatii eterogene.
12. Controlul concurentei în context distribuit; impasul în sisteme distribuite: detectare, recuperare, prevenire.	

V. Bibliografie
1.Weikum G. Vossen G. Transactional Information System: Theory, Algorithms, and Practice of Concurrency Control and Recovery. Kaufmann Morgan Publ. 2002.
2.Boian F.M. Ferdean C.M., Boian R.F., Dragos R.C. Programare concurenta pe platforme Unix, Windows, Java. Ed. Albastra, grupul Microinformatica, Cluj, 2002.
3.Kosky A.S. Formal models for Concurrent Communication Systems. http://www.anthonykosky.com/pdf_files/WPE_91.pdf, 1991.
4.Reichel H. Formal Models of Concurrency,      http://www.informatik.uni-bremen.de/~lschrode/teaching/Systems/ReichelCCS.pdf, 2003.	

VI. Tematica activităţilor didactice pe săptămâni
Saptamana 1: 1. Serializabilitate, Concurenta si Paralelism. Algebre de procese.
Saptamana 2: 2. Modelul CCS - Calculus of Communication Systems.
Saptamana 3: 3. Modelul Pi-Calculus.
Saptamana 4-5: 4. Controlul concurentei - serializare, complexitate, control, conflicte, algoritmi.
Saptamana 6: 5. Modelul pagina. Abordarea obiectuala în concurenta.
Saptamana 7: 6. Controlul concurentei în baze de date relationale.
Saptamana 8: 7. Controlul concurentei în structuri de cautare: implementari si abordari practice.
Saptamana 9: 8. Modelarea avariilor si problema impasului (deadlock).
Saptamana 10: 9. Recuperarea în modelele pagina, obiectual, multimedia.
Saptamana 11: 10. Controlul concurentei în context distribuit: federatii omogene.
Saptamana 12: 11. Controlul concurentei în context distribuit: federatii eterogene.
Saptamana 13-14: 12. Controlul concurentei în context distribuit; impasul în sisteme distribuite: detectare, recuperare, prevenire.

Seminarul se va desfasura sub forma unor discutii individuale cu fiecare student despre tematica proiectului pe care l-a ales.	

VII. Metode didactice folosite
Metodele didactice folosite sunt: descrierea, explicatia, prelegerea cu demonstratii, conversatia, redescoperirea dirijata si independenta si studiul individual.	

VIII. Evaluare
Activitatea se încheie cu examen scris (nota S). De-a lungul semestrului, studentii vor realiza un proiect software cu tematica legata de concurenta (nota P) si un referat stiintific pe tematica concurentei si comunicatiilor în sisteme distribuite (nota R).
Nota finala = 40%P + 30%R + 30%S.     
Toate cerintele legate de criteriile pe care trebuie sa le satisfaca un student pentru a promova (prezenta la laborator, cerinte minime legate de calitatea referatelor/proiectelor prezentate etc.) se gasesc pe pagina web: 
http://www.cs.ubbcluj.ro/~forest/mfcc	

IX. Bibliografie suplimentară

	Decan,							Director departament,,
	Prof. Dr. Leon Tambulea				Prof. Dr. Florian Boian

	Data,							Titular curs,
								Lect. Dr.  STERCA Adrian Ioan