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

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)

ří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 (tabule-shot)

• adapter na základě typového diff []

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

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?

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?

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]

..

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

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

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 ?

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