Incontro a Bologna del 30 gennaio 2007
-
M. Baldoni, C. Baroglio, A. Martelli, V. Patti:
"A priori conformance verification for guaranteeing interoperability in open environments"
-
P. Terenziani, L. Giordano, A. Bottrighi, S. Montani, L. Donzella
"SPIN Model Checking for the Verification of Clinical Guidelines"
-
M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali
"Interoperabilità attraverso SCIFF"
-
M. Baldoni, C. Baroglio, L. Giordano, A. Martelli, V. Patti
"Reasoning about interaction protocols for web service composition"
-
M. Baldoni, C. Baroglio, A. Martelli, V. Patti, C. Schifanella
"Reasoning on choreographies and capability requirements"
-
L. Giordano, A. Martelli
"Web Service Composition using DLTL"
-
F. Chesani, P. Mello, M. Montali, S. Storari
"Towards a DecSerFlow mapping to SCIFF"
-
E. Lamma, S. Storari, F. Chesani, P. Mello, M. Montali, P. De Matteis
"Conformance verification of careflow process executions: a case study on cancer screening"
-
F. Riguzzi
"Learning social integrity constraints"