Hernán Melgratti

Hernán Melgratti

hmelgra@dc.uba.ar

About

Hernán Melgratti

My main research activities are focused on service composition. Particularly, I am interested on giving formal semantics to long running transactions in both orchestration and choreography languages.

Publications

M. Buscemi and H. Melgratti. Transactional Service Level Agreement. TGC 2007, to appear.

A. Bucchiarone, H. Melgratti, and F. Severoni. Testing Service Composition. ASSE 2007.

A. Bucchiarone, R. Bruni, S. Gnesi and H. Melgratti. Modelling Dynamic Software Architectures using Typed Graph Grammars. GT-VC 2007, to appear.

R. Bruni, H. Melgratti and U. Montanari. Event Structure Semantics for Dynamic Graph Grammars. PNGT 2006.

D. Bacciu, A. Botta and H. Melgratti. A fuzzy approach for negotiating quality of services. TGC 2006, to appear.

R. Bruni, H. Melgratti and E. Tuosto. Translating Orc Features into Petri Nets and the Join Calculus. WS-FM 2006: 123-137.

R. Bruni,and H. Melgratti. Dynamic Graph Transformation Systems. ICGT 2006:230-244.

R. Bruni, H. Melgratti and U. Montanari. Event Structure Semantics for Nominal Calculi. CONCUR 2006: 295-309.

R. Bruni and H. Melgratti. Non-sequential Behaviour of Dynamic Nets. ICATPN 2006: 105-124.

R. Bruni, M. Butler, C. Ferreira, T. Hoare, H. Melgratti, and U. Montanari. Comparing Two Approaches to Compensable Flow Composition. CONCUR 2005: 383-397.

R. Bruni, G. Ferrari, H. Melgratti, U. Montanari, D. Strollo and E. Tuosto. From Theory to Practice in Transactional Composition of Web Services. EPEW/WS-FM 2005: 272-286.

R. Bruni, H. Melgratti and U. Montanari. Theoretical foundations for compensations in flow composition languages. POPL 2005: 209-220. ©ACM.

H. Melgratti. Models and Languages for Global Computing Transactions. PhD Thesis, Dipartimento di Informatica, Università di Pisa, 2005.

A. Baragatti, R. Bruni, H. Melgratti, U. Montanari and G. Spagnolo. Prototype platforms for distributed agreements. FOCLASA 2004, to appear. (Previously as Technical Report TR-04-10, Dipartimento di Informatica, Università di Pisa, 2004).

R. Bruni, H. Melgratti and U. Montanari. Nested Commits for Mobile Calculi: Extending Join. IFIP TCS 2004: 563-576.

R. Bruni, H. Melgratti and U. Montanari. Flat Committed Join in Join. CoMeta 2003, ENTCS 104: 39-59 (2004).

R. Bruni, H. Melgratti and U. Montanari. Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets. Lectures on Concurrency and Petri Nets 2003: 291-327.

Former Positions

PhD Student
Dipartimento di Informatica
Università di Pisa (Italy)

Teaching assistant
Departamento Computación
UBA (Argentina)

Research intern
MSR Cambridge (UK)

Projects

IST-FP6 on FET-GC2
Integrated Project SENSORIA

MIUR Project ISMANET

MIUR Project CoMeta

MSRC Project NAPI

My Coauthors

Davide Bacciu
Alberto Baragatti
Alessio Botta
Roberto Bruni
Marzia Buscemi
Antonio Bucchiarone
Michael Buttler
Gianluigi Ferrari
Carla Ferreira
Stefania Gnesi
Tony Hoare
Ugo Montanari
Francesco Severoni
Giorgio Spagnolo
Daniele Strollo
Emilio Tuosto

Undefined