Stefano's PhD project summary
Notes take down during the meeting on 13 October 2010, in Paola's office. People attending: Stefano, Paola, Marco, and Federico.
- trovare i servizi che "meglio" possono rispondere ai requisiti del requestor anche dinamicamente
- ho bisogno di un linguaggio descrittivo opportuno per i servizi
- requisiti qualitativi
- proprietà funzionali
- requisiti quantitativi e "collaterali"
- proprietà non funzionali ... cosa deve avere questo linguaggio? Logica? Dichiaratività? Incertezza? Semantica? WSDL? Business Rules? Regulatory Compliance Rules?
- stato dell'arte
- vecchio ma da leggere: http://www.sti-innsbruck.at/fileadmin/documents/deliverables/RW2/D1.1.pdf
- definizione dei task e dei compiti del reasoning
- valutazione dello stato dell'arte
- tante cose interessanti ma nessuna copre tutto (?!?)
LINK UTILI
Petri Nets e Operating Guidelines
- http://www.sti.uniurb.it/events/sfm09ws/slides/SFM09Aalst.pdf ( DA GUARDARE ANCHE COME SLIDE INTRODUTTIVE)
- http://wwwteo.informatik.uni-rostock.de/ls_tpp/publications/LohmannMW2007_hub_tr214.pdf
- http://wwwteo.informatik.uni-rostock.de/ls_tpp/staff/publications_nl.htm
- http://alexandria.tue.nl/extra2/200911021.pdf
- http://wwwteo.informatik.uni-rostock.de/ls_tpp/publications/AalstLMSW_2008_compj.pdf
WSMO
- http://events.sti2.at/nfpsla-soc08/
- WSMO FLORA-2
- CTR (Concurrent Transaction Logic) http://www.cs.toronto.edu/~bonner/ctr/ http://delivery.acm.org/10.1145/1330000/1325923/p627-roman.pdf?key1=1325923&key2=5532696821&coll=GUIDE&dl=GUIDE&CFID=108514119&CFTOKEN=84235219
Lavori di Pistore (cerca ASTRO Project)
Loro lavorano prevalentemente su planning monitoring e BPEL (quindi procedurale) ma recentemente stanno lavorando anche su dichiarativo, vedi ad esempio: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5175802&tag=1 Pistore mi aveva detto che voleva collaborare su questi temi, ma non ha mai risposto alle mie e-mail.
Altri lavori recenti: http://portal.acm.org/citation.cfm?doid=1774088.1774593 http://www.springerlink.com/content/q8452t6204198p23/fulltext.pdf