fişa disciplinei
1. Date despre program
1.1 Instituţia de învăţământ superior	Universitatea Babes-Bolyai Cluj-Napoca	
1.2 Facultatea	Facultatea de Matematica si Informatica	
1.3 Departamentul	Departamentul de Informatica	
1.4 Domeniul de studii	Informatica	
1.5 Ciclul de studii	Masterat	
1.6 Programul de studiu / Calificarea	Baze de Date	

2. Date despre disciplină
2.1 Denumirea disciplinei	Modele Formale de Concurenta si Comunicatii	
2.2 Titularul activităţilor de curs	Lect. Dr. Adrian Sterca	
2.3 Titularul activităţilor de seminar	Lect. Dr. Adrian Sterca	
2.4 Anul de studiu	2	2.5 Semestrul	3	2.6. Tipul de evaluare	E	2.7 Regimul disciplinei	Obligatorie	

3. Timpul total estimat (ore pe semestru al activităţilor didactice)
3.1 Număr de ore pe săptămână	3	Din care: 3.2 curs	2	3.3 seminar/laborator	1	
3.4 Total ore din planul de învăţământ	42	Din care: 3.5 curs	28	3.6 seminar/laborator	14	
Distribuţia fondului de timp:	Ore	
Studiul după manual, suport de curs, bibliografie şi notiţe	30	
Documentare suplimentară în bibliotecă, pe platformele electronice de specialitate şi pe teren	40	
Pregătire seminarii/laboratoare, teme, referate, portofolii şi eseuri	40	
Tutoriat	28	
Examinări 	20	
Alte activităţi: ..................	0	
3.7 Total ore studiu individual	158	
3.8 Total ore pe semestru	200	
3.9 Numărul de credite	8	

4. Precondiţii (acolo unde este cazul)
4.1 de curriculum	•	Baze de Date in Internet, Servere de Date, Implementarea sistemelor de gestiune a bazelor de date	
4.2 de competenţe	•	Cunostinte avansate despre servere de date, cunostinte solide despre sisteme distribuite si middleware, cunostinte de baza de algebra si grafuri	

5. Condiţii (acolo unde este cazul)
5.1 De desfăşurare a cursului	•	Sala de curs dotata cu proiector video	
5.2  De desfăşurare a seminarului/laboratorului	•		

6. Competenţele specifice acumulate
Competenţe profesionale	•	Fundamente matematice puternice pentru sisteme concurente distribuite	
Competenţe transversale	•	Capacitatea de a modela matematic sisteme tranzactionale distribuite sau locale
•	Capacitatea de a modela matematic si de a analiza sisteme de procese concurentiale  	

7. Obiectivele disciplinei (reieşind din grila competenţelor acumulate)
7.1 Obiectivul general al disciplinei	•	Cursul se doreste a oferi o fundamentare puternica, matematica pentru sistemele concurentiale distribuite, fundamentare care sa ofere punctual de plecare pentru un doctorat in sisteme tranzactionale distribuite	
7.2 Obiectivele specifice

	•	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.	

8. Conţinuturi
8.1 Curs	Metode de predare	Observaţii	
1. Serializabilitate, Concurenta si Paralelism. Algebre de procese.	Expunere, descriere, explicatii, exemple, dialog		
2. Modelul CCS - Calculus of Communication Systems.
	Expunere, descriere, explicatii, exemple, dialog		
3. Modelul Pi-Calculus.	Expunere, descriere, explicatii, exemple, dialog		
4. Controlul concurentei - serializare, complexitate, control, conflicte, algoritmi (partea I)
	Expunere, descriere, explicatii, exemple, dialog		
5. Controlul concurentei - serializare, complexitate, control, conflicte, algoritmi. (partea a II-a)
	Expunere, descriere, explicatii, exemple, dialog		
6. Modelul pagina. Abordarea obiectuala în concurenta.	Expunere, descriere, explicatii, exemple, dialog		
7. Controlul concurentei în baze de date relationale.	Expunere, descriere, explicatii, exemple, dialog		
8. Controlul concurentei în structuri de cautare: implementari si abordari practice.	Expunere, descriere, explicatii, exemple, dialog		
9. Modelarea avariilor si problema impasului (deadlock).
	Expunere, descriere, explicatii, exemple, dialog		
10. Recuperarea in caz de avarie în modelele pagina, obiectual, multimedia.
	Expunere, descriere, explicatii, exemple, dialog		
11. Controlul concurentei în context distribuit: federatii omogene.	Expunere, descriere, explicatii, exemple, dialog		
12. Controlul concurentei în context distribuit: federatii eterogene.
	Expunere, descriere, explicatii, exemple, dialog		
13. Controlul concurentei în context distribuit; impasul în sisteme distribuite: detectare, recuperare, prevenire (partea I)	Expunere, descriere, explicatii, exemple, dialog		
14. Controlul concurentei în context distribuit; impasul în sisteme distribuite: detectare, recuperare, prevenire (partea a II-a)	Expunere, descriere, explicatii, exemple, dialog		
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.	
8.2 Seminar / laborator	Metode de predare	Observaţii	
1. Discutii legate de tematica proiectului si/sau referatului	Dialog, dezbatere, studiu de caz, exemple	Seminariile se desfasoara sub forma unor discutii individuale cu fiecare student despre tematica proiectului pe care l-a ales si tematica referatului. Sunt 7 seminarii de cate 2 ore fiecare (din doua in doua saptamani).	
2. Discutii legate de tematica proiectului si/sau referatului	Dialog, dezbatere, studiu de caz, exemple		
3. Discutii legate de tematica proiectului si/sau referatului	Dialog, dezbatere, studiu de caz, exemple		
4. Prezentari referate.	Dialog, dezbatere, studiu de caz, exemple		
5. Prezentari referate.	Dialog, dezbatere, studiu de caz, exemple		
6. Prezentari proiecte.	Dialog, dezbatere, studiu de caz, exemple		
7. Prezentari proiecte.	Dialog, dezbatere, studiu de caz, exemple		
Bibliografie
- articole recente de pe ACM Digital Library si IEEE Xplore	

9. Coroborarea conţinuturilor disciplinei cu aşteptările reprezentanţilor comunităţii epistemice, asociaţiilor profesionale şi angajatori reprezentativi din domeniul aferent programului
•	Cursul ofera studentilor un background solid in analiza si proiectarea sistemelor concurentiale distribuite
•	Cursul pregateste trecerea masterandului spre cercetare fundamentala de doctorat

10. Evaluare
Tip activitate	10.1 Criterii de evaluare	10.2 metode de evaluare	10.3 Pondere din nota finală	
10.4 Curs	Cunoasterea modelelor de concurenta prezentate la curs.	Examen scris	30 %	
10.5 Seminar/laborator	Capacitatea de a implementa modelele de concurenta prezentate la curs si de a intelege alte modele de concurenta din literatura de specialitate	Realizarea un proiect software cu tematica legata de concurenta	40 %	
		Prezentarea unui referat stiintific pe tematica concurentei si comunicatiilor în sisteme distribuite	30 %	
10.6 Standard minim de performanţă	
•	Studentul trebuie sa obtina minim nota 5 la cele 3 probe, examenul scris, sustinerea referatului si proiectul. 

Data completării		Semnătura titularului de curs		Semnătura titularului de seminar
..........................		Lect. Dr. Adrian Sterca			Lect.Dr. Adrian Sterca

Data avizării în departament			           Semnătura directorului de departament	
...........................................					Prof. Dr. Bazil Parv