Home | My publications |
Pubblications
International Journals
- Quantitative Information in the Tuple Space Coordination Model
M. Bravetti, R. Gorrieri, R. Lucchi, G. Zavattaro.
Theoretical Computer Science n.346, pag. 28-57, Elsevier.
[ps]
- Supporting Secure
Coordination in SecSpaces
R. Gorrieri, R. Lucchi and G. Zavattaro.
FUNDAMENTA INFORMATICAE, IOS press, pag. 479-506, Volume 73, Number 4.
[ps]
- A pi-calculus based
semantics for WS-BPEL
R. Lucchi and M. Mazzara.
To appear in Journal of Logic and Algebraic Programming (JLAP), Elsevier
press.
[pdf]
- Secure shared
data-space Coordination Languages: a Process Algebraic survey
R. Focardi, R. Lucchi and G. Zavattaro.
To appear in Science of Computer Programming, Elsevier press..
[pdf]
Conference and Workshop Proceedings
- JOLIE: a Java Orchestration Language Interpreter Engine
C. Guidi,
F. Montesi, R. Lucchi, G. Zavattaro
In Proc. of . 2nd
International Workshop on Coordination and Organisation (CoOrg 2006), ENTCS.
To appear.
- Mobility mechanisms in service oriented computing
C.
Guidi, R. Lucchi
In Proc. of 8th IFIP International Conference on Formal
Methods for Open Object-Based Distributed Systems (FMOODS'06), LNCS. To
appear.
- Choreography and Orchestration conformance for system design
N.
Busi, R. Gorrieri, C.
Guidi, R. Lucchi, G. Zavattaro
In Proc. of 8th International Conference on Coordination Models and
Languages, 2006, LNCS. To appear.
- Atomic Commit and Negotiation in Service Oriented Conputing
L.
Bocchi and R. Lucchi
In Proc. of 8th International Conference on
Coordination Models and Languages, 2006, LNCS. To appear.
- Choreography and
Orchestration: a synergic approach for system design
N. Busi, R.
Gorrieri, C. Guidi, R. Lucchi and G. Zavattaro
In Proc. of 3rd International Conference on Service Oriented
Computing, pages 228-240, LNCS 3826, Springer Verlag, 2005.
- Reasoning about interaction patterns in Choreography
R. Gorrieri, C. Guidi, R. Lucchi
In Proc. of 2nd International Workshop on Web Services and Formal Methods WS-FM'05, pages 333-348, LNCS 3670, Springer Verlag, 2005.
[pdf]
- Towards a formal
framework for Choreography
N. Busi, R. Gorrieri, C. Guidi, R. Lucchi
and G. Zavattaro
In Proc. of International Workshop on Distributed and Mobile Collaboration (DMC 2005), IEEE Computer Society Press. To appear
[pdf]
- Supporting e-commerce systems formalization with choreography languages
M. Bravetti, C. Guidi, R. Lucchi, G. Zavattaro.
In Proc. of ACM Symposium on Applied Computing (SAC'05), ACM Press, 2005.
[bibtex][pdf]
- Security Issues in the Tuple-Space Coordination Model
M. Bravetti, N. Busi, R. Gorrieri, R. Lucchi, G. Zavattaro.
In Proc. of the second International Workshop on Formal Aspects in Security
and Trust (FAST'04)
Volume 173, Springer Science+Business Media Inc., Formerly Kluwer Boston Inc.
[bibtex][ps]
- On the expressiveness of probabilistic and prioritized data-retrieval in Linda
Mario Bravetti, Roberto Gorrieri,
Roberto Lucchi and Gianluigi Zavattaro.
In
Proc. of 2nd
International Workshop on Security Issues in Coordination Models, Languages,
and Systems (SecCo'04). Riccardo Focardi and Gianluigi Zavattaro, editors
Electronic Notes in Theoretical Computer Science, volume 128-5. Elsevier,
2005.
[bibtex][pdf]
- A Formal Framework for Web Services Coordination
Claudio Guidi, Roberto Lucchi and Manuel Mazzara
In
Proc. of 3rd International Workshop on Foundations of Coordination Languages
and Software Architectures (FOCLASA'04)
Electronic Notes in Theoretical Computer Science to appear, Elsevier. To
appear.
[bibtex][pdf]
- A Framework for Generic Error Handling in Business Processes
Manuel Mazzara and
Roberto Lucchi
In
Proc. of 1st International Workshop on Web Services and Formal Methods (WS-FM 2004), Mario Bravetti and Gianluigi Zavattaro, editors,
Electronic Notes in Theoretical Computer Science, Elsevier. To appear.
[bibtex][pdf]
- Combining partitions in SecSpaces
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi and Gianluigi Zavattaro
In
Proc. of Workshop on Fomal Methods for Security and Time (MEFISTO'03)
Electronic Notes in Theoretical Computer Science, Elsevier. To appear.
[bibtex][pdf]
- WSSecSpaces: a Secure Data-Driven Coordination Service for Web Services
Applications
Roberto Lucchi and Gianluigi Zavattaro
In Proc. of ACM Symposium on Applied Computing
(SAC'04), pages 487-491. ACM
Press, 2004.
[bibtex][pdf][ps]
- Web Services for E-commerce: guaranteeing security access and quality of
service
Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, and Roberto Gorrieri
In
Proc. of ACM Symposium on Applied Computing (SAC'04), pages 800-806. ACM Press, 2004.
[bibtex][pdf][ps]
- Probabilistic and Prioritized Data Retrieval in the Linda Coordination
Model
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, and Gianluigi Zavattaro
In
Proc. of 6th International Conference on Coordination Models and Languages
(COORDINATION 2004), pages 55-70, LNCS 2949, Springer Verlag, 2004.
[bibtex][pdf][ps]
- A formal approach for checking security properties in SecSpaces
Mario Bravetti, Roberto Gorrieri, and Roberto Lucchi
In Proc. of 1st
International Workshop on Security Issues in Coordination Models, Languages,
and Systems (SecCo'03). Riccardo Focardi and Gianluigi Zavattaro, editors,
Electronic Notes in Theoretical Computer Science, volume 85. Elsevier, 2003.
[bibtex][pdf][ps]
- SecSpaces: a Data-driven Coordination Model for Environments Open to
Untrusted Agents
N. Busi, R. Gorrieri, R. Lucchi and G. Zavattaro
In Proc. of
International Workshop on Foundations of Coordination Languages and Software
Architectures (FOCLASA'02)
Electronic Notes in Theoretical Computer Science 68(3), Elsevier, 2002.
[bibtex][pdf][ps]