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

 

WSMO

 

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

 

Lavori di van Hee e van der Aalst su Compliance e Auditing