Research Interests

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.