Tehnici de implementare a concurentei în analiza si proiectarea ...

More documents

Recommendations

Info

[PAP97] Michael Papathomas, Anders Andersen, Concurrent Object-Oriented Programming in Python with ATOM, Proceedings of the 6th International Python Conference, California, oct. 1997 [PAR80] D. M. R. Park, Concurrency and Automata on Infinite Sequences, Lecture Notes in Computer Science, Vol 104, Springer Verlag, 1980. [PHI95a] Michael Phillipsen, Imperative Concurrent Object-Oriented Languages, Technical Report TR-95-049, International Computer Science Institute, Berkeley, aug. 1995 [PHI95b] Michael Phillipsen, Imperative Concurrent Object-Oriented Languages: An annotated bibliography, Technical Report TR-95-049, International Computer Science Institute, Berkeley, aug. 1995 [PIE95] Benjamin C. Pierce, Fundational Calculi for Programming Languages, CRC Handbook of Computer Science and Engineering, 1995 [PUN96] Franz Puntigam, Coordination Requirements Expressed in Types for Active Objects, ECOOP p.367-388, 1996 [QUI97] P. H. Quiros, Jose M. Olmo Millan, Inheritance Anomaly in CORBA Multithreaded Environments, Theory and Practice of Object Systems, no. 1/3, 1997 [REI96] Stephan Reitzner, Synchronizing Classes: Splitting Inheritance Concepts, Technical Report, Computer Science Department, Friedrich Alexander University, Nürnberg, iul. 1996 [RUM91] James Rumbaugh, Michael Blaha, William Premerlani, Frederick Eddy, William Lorensen, Object-Oriented Modeling and Design, Prentice Hall, Englewood Cliffs, 1991 [RUM93] J. Rumbaugh, Controlling Code: How to implement dynamic models, The Journal of Object-Oriented Programming, 6(2), p. 25-30, feb. 1993 [RUM96] J. Rumbaugh, A State of Mind: Modeling Behavior, The Journal of Object-Oriented Programming, 9(4), p. 6-12, iul./aug. 1996 [SCH86] C. Schaffert, T. Cooper, B. Bullis, M. Kilian, C. Wilpolt, An introduction to Trellis/Owl, Proc. of OOPSLA'86, Conference on Object-Oriented Programming Systems, Languages and Applications, Portland, Oregon, p. 9-15, sept 1986 [SCU97] Marian Scuturici, Dan Mircea Suciu, Mihaela Scuturici, Iulian Ober, Specification of active objects behavior using statecharts, Studia Universitatis "Babes Bolyai", Informatica, Vol. XLII, Nr. 1, p.19-30, 1997 [SET89] Ravi Sethy, Programming Languages Concepts and Constructs, Addison-Wesley, 1989 [SHL88] S. Shlaer, S. J. Mellor, Object Oriented Systems Analysis: Modeling the Worl in Data, Yourdon Press Computing Series, 1988 [STR91] Bjarne Stroustrup, The C++ Programming Language (second edition), Addison Wesley, 1991 161
[STU97] Shelly S. Stubbs, D. L. Carver, IPCC++: InterProcess Communication with C++, The Journal of Object-Oriented Programming, 9(9), p. 31-40, febr. 1997 [SUC96a] Dan Mircea Suciu, Trei instrumente CASE la ora analizei, PC REPORT, iul. p. 32-35, 1996 [SUC96b] Dan Mircea Suciu, RO-CASE, PC REPORT, iul. p. 40-41, 1996 [SUC97a] Dan Mircea Suciu, Reuse Anomaly in Object-Oriented Concurrent Programming, Studia Universitatis "Babes-Bolyai", Informatica, Vol. XLII, Nr. 2, p. 74-89, 1997 [SUC97b] Dan Mircea Suciu, Limbaje de programare orientate obiect concurente, PC REPORT, aug. 1997 [SUC98a] Dan Mircea Suciu, Iulian Ober, Contructia sistemelor software - OPEN/OML, PC REPORT, feb. p. 28-32 1998 [SUC98b] Dan Mircea Suciu, Anomalii de mostenire în programarea orientataobiect concurenta, referat de doctorat, Universitatea "Babes-Bolyai" Cluj Napoca, mai 1998 [SUC98c] Dan Mircea Suciu, Modele de concurenta, referat de doctorat, Universitatea "Babes-Bolyai" Cluj Napoca, septembrie 1998 [SUC98d] Dan Mircea Suciu, Analiza si proiectarea obiectelor concurente, referat de doctorat, Universitatea "Babes-Bolyai" Cluj Napoca, decembrie 1998 [SUC98e] Dan Mircea Suciu, Application Framework Reuse Using CASE Tools, Studia Universitatis “Babes Bolyai”, Informatica, Vol. XLIII, Nr. 2, p. 81-92, 1998, [SUC99] Dan Mircea Suciu, Extending Statecharts for Concurrent Objects Modeling, Studia Universitatis “Babes Bolyai”, Informatica, Vol. XLIV, Nr. 1, p. 37-44, 1999 [THO94] Laurent Thomas, Inheritance Anomaly in True Concurrent Object Oriented Languages: A Proposal, IEEE TENCON'94, p. 541-545, aug. 1994 [TOM89] C. Tomlinson, V. Singh, Inheritance and synchronization with Enabledsets, Proc. of OOPSLA'89, Conf. on Object-Oriented Programming Systems, Languages and Applications, New Orleans, Louisiana, p. 103- 112, oct. 1989 [YOK87] Y. Yokote, M.Tokoro, Experience and Evolution of Concurrent Smalltalk, proceedings OOPSLA '87, ACM, Orlando, Florida, p. 406- 415, dec. 1987 [YON87a] Akinori Yonezawa, Jean-Pierre Briot, Inheritance and Synchronization in Concurrent Object Oriented Programming, Proceedings of the European Conference on Object-Oriented Programming (ECOOP'87), Lecture Notes in Computer Science, no. 276, p. 32-40, Springer - Verlag, 1987 162
Page 1 and 2:
UNIVERSITATEA "BABES - BOLYAI" CLUJ
Page 3 and 4:
Cuprins 1. Introducere ............
Page 5 and 6:
1. Introducere 1.1. Contextul progr
Page 7 and 8:
?? existenta de interactiuni multip
Page 9 and 10:
Specificatiile aplicatiei (limbaj n
Page 11 and 12:
corespunzatoare unui model obiect g
Page 13 and 14:
2. Specificarea si coordonarea conc
Page 15 and 16:
de mesaje permite prin urmare comun
Page 17 and 18:
void Adauga(Element elem); Element
Page 19 and 20:
espectivei operatii a luat sfârsit
Page 21 and 22:
eprezinta constrângerea de sincron
Page 23 and 24:
concurent în executie. Instructiun
Page 25 and 26:
Mecanismele de specificare a concur
Page 27 and 28:
distincte de mecanisme de interacti
Page 29 and 30:
Totusi, din punct de vedere concept
Page 31 and 32:
semafoare sunt valabile si pentru a
Page 33 and 34:
sectiunea anterioara) ofera posibil
Page 35 and 36:
Variabile de conditie. Variabilele
Page 37 and 38:
. . . //declararea de proprietati s
Page 39 and 40:
Deoarece cozile de asteptare pot fi
Page 41 and 42:
obiect, fiind admisa executia a doa
Page 43 and 44:
stare nou introdus, aceste mecanism
Page 45 and 46:
momentul în care obiectul trece di
Page 47 and 48:
pentru o clasa. Conditiile care joa
Page 49 and 50:
La fel ca abstractizarea comportame
Page 51 and 52:
elemente care pot exista în coada
Page 53 and 54:
acestor proprietati. Prin urmare ex
Page 55 and 56:
În multe cazuri respectarea princi
Page 57 and 58:
problema redefinirii, uneori integr
Page 59 and 60:
lucrari de specialitate, începând
Page 61 and 62:
Figura 3.1. Ierarhia de clase folos
Page 63 and 64:
Figura 3.4. Descrierea comportament
Page 65 and 66:
Un alt neajuns este acela ca analiz
Page 67 and 68:
Relatiile de delegare, agregare si
Page 69 and 70:
Afirmatie 1. Orice drum dintr-o ier
Page 71 and 72:
Vom formaliza în continuare mecani
Page 73 and 74:
Multimea GP reprezinta multimea tut
Page 75 and 76:
Functia beh furnizeaza multimea tut
Page 77 and 78:
implementeaza tipul ?. Sa presupune
Page 79 and 80:
de Coada, si deci trebuie ca instan
Page 81 and 82:
mesaje posibile de lungimi 1, 2, ..
Page 83 and 84:
P' difera de Q respectiv P doar pri
Page 85 and 86:
eh intra : Instance ? ? (Key intra
Page 87 and 88:
vom avea ca impT(R) = impT(Q). Îns
Page 89 and 90:
Formalizarea anomaliilor de mosteni
Page 91 and 92:
În scopul dezvoltarii unui formali
Page 93 and 94:
starilor intermediare. Ele nu repre
Page 95 and 96:
De notat ca masinile cu stari finit
Page 97 and 98:
hartilor de stari astfel încât sa
Page 99 and 100:
foarte important. Chiar si în cazu
Page 101 and 102:
100 H a) b) c) Figura 4.7. Pseudost
Page 103 and 104:
modelata concurenta intra-obiect pe
Page 105 and 106:
O stare compusa poate contine cel m
Page 107 and 108:
Tratarea urmatorului eveniment se v
Page 109 and 110:
Fiecare subregiune a unei stari com
Page 111 and 112: gestionar de interfata . . . 110 Ob
Page 113 and 114: - sa ? S - starea activa a hartii d
Page 115 and 116: unde s0, s1, ..., sk,.. ? S, m1, ..
Page 117 and 118: obiect se afla în starile sursa s1
Page 119 and 120: În mode analog se demonstreaza tra
Page 121 and 122: a) Ps' = p b) Ps'' = p i? n 1 j? m
Page 123 and 124: ({Plina}, ) ? ? ? ? 1 ({F},? ). Har
Page 125 and 126: incluse în componente ortogonale d
Page 127 and 128: exemplu, în cazul hartilor de star
Page 129 and 130: 4.6. Concluzii Studiul limbajelor d
Page 131 and 132: 5. ActiveCASE - instrument de model
Page 133 and 134: 5.2. Meta-modelul hartilor de stari
Page 135 and 136: O masina de stari este compusa din
Page 137 and 138: În ActiveCASE exista doar doua tip
Page 139 and 140: În alte modele realizate pâna în
Page 141 and 142: - Implementarea - în care se reali
Page 143 and 144: }; CString GetName() {return m_strN
Page 145 and 146: Figura 5.6. Diagrama de clase a apl
Page 147 and 148: Figura 5.10. Simularea comportament
Page 149 and 150: comportamentului obiectelor active
Page 151 and 152: - simulare interactiva, care permit
Page 153 and 154: concurenta a fost propusa o extensi
Page 155 and 156: Simularea executiei obiectelor acti
Page 157 and 158: [BEE94] Michael von der Beeck, A Co
Page 159 and 160: [FRO92] Svend Frølund, Inheritance
Page 161: [MAT90] Satoshi Matsuoka, Ken Wakit
Page 165 and 166: Anexa A. Notatii matematice A.1. Mu
Page 167 and 168: Anexa B. Notatii UML Unified Modeli
Page 169 and 170: obiectelor care sunt implicate în
Page 171: mesaj pseudo-stare tranzitie stare
show all

Tehnici de implementare a concurentei în analiza si proiectarea ...

Create successful ePaper yourself

Delete template?

Save as template?