author : Marco Montali

Declarative Specification and Verification of Service Choreographies (ACM Transactions on the Web, 2009) — Marco Montali, Maja Pesic, Wil M. P. van der Aalst, Federico Chesani, Paola Mello, Sergio Storari

B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification (2007) — Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone