h2. 8. června 2006 - plán

* na papíru a v mailu "plán práce", tj. co bych chtěl udělat
* zde plán časový:
** příští týden do 15.6. dopsat posudky, mam 3 (všechny práce přečteny, "jen" napsat posudky)
** poslední týden v červnu - schůzka s Přemkem, já mít načteno o reprezentacích typů a mít velmi hrubý draft rigorózní práce, tj. alespoň strukturu a co by tak bylo v kapitolách.
** přitom/poté psát implementaci té reprezentace a subtype porovnávání - odhadovaný termín - kdybych to psal jako teď (tj. hodně podle java.reflect api), myslím, že do konce června bych to stihl. Jinak snad konec července (v červenci jsem skoro pořád pryč...)
** musím udělat zkoušku u prof. Šafaříka - do konce června (co nejdřív) se u něj stavit a domluvit se na detailech. Předpokládaný termín konec srpna 2007 - určitě, ať se to ještě započítá do tohoto ak. roku!! Tj. přes prázdniny se to naučím.
** další plán bude upřesněn

h2. Náčrt tématu na rigo a disertaci

* reprezentace importů, resp. celé komponenty, z bytecode analýzy
** dovymyslet si ENT jak bude potřeba
* dtto z kontextu
* kontrola nahraditelnosti se znalostí z předchozích dvou bodů
* "bonus" update množiny souvisejících komponent najednou (teorie i impl)

h3. říjen 2006

nápad: Model-typed Interfaces formalizovat ERA subtyping (místo ručních pravidel)

LV směřování k PhD - rozmyslet během zimy, do února:
* buď typové adaptery
* nebo rozšíření OSGi

* adapter na základě typového diff ([[Attach:typovy-adapter-dle-diff-20060529.jpg | tabule-shot]])

* adapter na základě typového diff [Attach:typovy-adapter-dle-diff-20060529.jpg]

* adapter na základě typového diff [Attach:typovy-adapter-dle-diff-20060529]

* adapter na základě typového diff ([(Attach:)typovy-adapter-dle-diff-20060529])

* do konce června Tesková

h3. 29.5.2006

* dodělat TR už rychle
* (zjistit ECI)

* adapter na základě typového diff

Náš notes

Další nápady
* kontextová nahraditelnost - do disertace? Jak přesně získat kontext? Kontext se může měnit v čase...

Lukáš - moje nápady
* když už se bude dělat porovnávání a verzování OSGi komponent (myslím tu obecnou implementaci verzí a nahraditelnosti nad ENT metamodelem + vždycky konkrétní implementace pro daný komp. model), co vymyslet nějaký způsob, jak do komponenty vložit ENT informace,ENT verzi a tak - do toho jejího JAR souboru.
* pak by bylo možné ukládat komponenty do nějakého ENT-repository (viz. Přemek-thesis 6.3.2) - to repository implementovat?

h3. 11.1.2006

* report o OSGi r4 - verzovani, import bundle - vypada pekne
* namet na clanek na ECI - generovani OSGi rev id z ENT comparison
** napred napsat jako techreport KIV (zac unora)
** pak clanek ECI (registrace 31.1. submission 15.3.)
* precist clanky dle seznamu nahore

** Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer: Compatibility Verification for Web Service Choreography (2004) http://citeseer.ifi.unizh.ch/658837.html
** (opt) Robert Allen, Rémi Douence, David Garlan: Specifying and Analyzing Dynamic Software Architectures (1998) http://citeseer.ifi.unizh.ch/allen98specifying.html
** (opt) Jim Dowling, Vinny Cahill: Dynamic Software Evolution and The K-Component Model (OOPSLA 2001) http://citeseer.ifi.unizh.ch/dowling01dynamic.html
** (opt) Michel Wermelinger, José Luiz Fiadeiro: A Graph Transformation Approach to Software Architecture Reconfiguration (2000) http://citeseer.ifi.unizh.ch/wermelinger00graph.html
** (opt) Sascha Alda, Armin B. Cremers: Towards Composition Management for Component-based Peer-to-Peer Architectures (2004) http://citeseer.ifi.unizh.ch/alda04towards.html
** (opt) Jian Yang, Mike. P. Papazoglou: Service Components for Managing the Life-Cycle of Service Compositions (2003) http://citeseer.ifi.unizh.ch/yang03service.html

** Zenger: Type-Safe Prototype-Based Component Evolution (ECOOP 2002) http://citeseer.ifi.unizh.ch/529131.html
** Medvidovic: A Classification and Comparison Framework for Software Architecture Description Languages (1997) http://citeseer.ifi.unizh.ch/medvidovic97classification.html
** možná Robert Allen, Rémi Douence, David Garlan: Specifying and Analyzing Dynamic Software Architectures (1998) http://citeseer.ifi.unizh.ch/allen98specifying.html
** možná Jim Dowling, Vinny Cahill: Dynamic Software Evolution and The K-Component Model (OOPSLA 2001) http://citeseer.ifi.unizh.ch/dowling01dynamic.html

* další oblasti (komponentové modely, deployment, ?ještě něco? kolem subst/upgrading) -- jaro 2006

** zjišťování kontextu?

h3. 12.12. 2005
* OSGi
** Dopsat techreport - popsat, jak se z export/import packagu delaji export/import tridy
** Prozkoumat vzdálenou komunikaci bundlů - přes HTTP/Servlety
** Prozkoumat OSGi v Eclipsu, system pluginů, způsob aktualizace pluginů .
* ENT - ověřování nahraditelnosti
** Napsat univerzální rozhraní pro porovnávání dvou komponent (obecný interface) a poté implementovat toto rozhraní pro OSGi

* prezentace OSGi na DSS
** (1) na čem děláme, (2) o OSGi - Java vč. J2ME, přehled/výcuc std. služeb, umí distribuovanost nějak (jak?), jsou to komponenty vč. vývoj+deployment+verze (vyzkoušet verze)

* článek na Objekty poslat LV [PB]

..

h3. 12.12. 2005
* OSGi
** Dopsat techreport - popsat, jak se z export/import packagu delaji export/import tridy
** Prozkoumat vzdálenou komunikaci bundlů - přes HTTP/Servlety
** Prozkoumat OSGi v Eclipsu, system pluginů, způsob aktualizace pluginů .
* ENT - ověřování nahraditelnosti
** Napsat univerzální rozhraní pro porovnávání dvou komponent (obecný interface) a poté implementovat toto rozhraní pro OSGi

** Prozkoumat vzdálenou komunikaci bundlů - přes HTTP/Servlety
** Prozkoumat OSGi v Eclipsu, system pluginů, způsob aktualizace pluginů ...
* ENT - ověřování nahraditelnosti
** Napsat univerzální rozhraní pro porovnávání dvou komponent (obecný interface) a poté implementovat toto rozhraní pro OSGi

h1. Náš notes

* http://www.kiv.zcu.cz/research/groups/dss/
* http://citeseer.ist.psu.edu/
* https://dialog.cvut.cz/ => IEEE digital library, ACM digital library, Springer Link

h2. Plán

Research related work ("prohledávání do šířky")
* OSGi -- vlastnosti - zima 2005/06, seminář
* typing (+ lambda-calculus) - zima 2005/06
* další oblasti (komponentové modely, deployment, ?ještě něco?) -- jaro 2006
** PB: vytipovat 1-2 klíčové články resp. konference/sborníky z oblasti
* předměty DS (Tesková, Ryjáček)
* rámcové téma pro budoucí disertaci - léto 2006

Vlastní projekt
* OSGi - sosání info => ENT (zima 2005/06), seminář
** implementovat pro něj subst ?

h3. 14.11.2005

* OSGi ENT model: vyzkoumat jak rozvinout [=ImportPackage=] do [=ImportType=], totéž export
* impl: sosátor OSGi bundlů (z diplomky) - zkusit vzít examply z Eclipse
** K.Ekštein (Eclipse plugins)

* prezentace OSGi na DSS
** (1) na čem děláme, (2) o OSGi - Java vč. J2ME, přehled/výcuc std. služeb, umí distribuovanost nějak (jak?), jsou to komponenty vč. vývoj+deployment+verze (vyzkoušet verze)

* článek na Objekty poslat LV [PB]

----
Back to PremekBrada.HomePage