Home Page for Laura Bocchi

	computer science
	HOME	MAP	CONTACT

ABOUT

	STAFF — Laura Bocchi B.Sc. (Bologna), Ph.D. (Bologna) Research Associate in Computer Science
	G7 Computer Science Building Department of Computer Science, University of Leicester, University Road, Leicester, LE1 7RH. T: +44 (0)116 252 2593 F: +44 (0)116 252 3915 E: bocchi@mcs.le.ac.uk

L. Bocchi, J. Lange and E. Tuosto. Amending Contracts for Choreographies. ICE 2011. Volume 59 of Electronic Proceedings in Theoretical Computer Science, pages 111-129, 2011.
T. Chen, L. Bocchi, M. Deniélou, K. Honda and N. Yoshida. Asynchronous Distributed Monitoring for Multiparty Session Enforcement Interactions. TGC 2011. To appear.

L. Bocchi, R. Guanciale, E. Tuosto, D. Strollo. BPMN Modelling of Services with Dynamically Reconfigurable Transactions. ICSOC 2010. Volume 6470 of Lecture Notes in Computer Science, Springer, pages 163-178, 2010.
L. Bocchi, K. Honda, E. Tuosto and N. Yoshida. A Theory of Design-by-Contract for Distributed Multiparty Interactions. CONCUR 2010. Volume 6269 of Lecture Notes in Computer Science, Springer, pages 162-176, 2010.
L. Bocchi, E. Tuosto. Testing Attribute-Based Transactions in SOC. In FORTE 2010. Volume 6117 of Lecture Notes in Computer Science, Springer, pages 87-94, 2010.
L. Bocchi, E. Tuosto. A Java Inspired Semantics for Transactions in SOC. In Trustworthy Global Computing 2010. Volume 6084 of Lecture Notes in Computer Science, Springer, pages 120-134, 2010.

L. Bocchi, J. Fiadeiro, N. Rajper, S. Reiff-Marganiec. Structure and Behaviour of Virtual Organisation Breeding Environments. In Formal Aspects of Virtual Organisations (FAVO), Electronic Proceedings in Theoretical Computer Science. 2009.
L. Bocchi, S. Gorton, S. Reiff-Marganiec. Engineering Service Oriented Applications: From StPowla Processes to SRML Models. In Formal Aspects of Computing (FACS), Springer London. 2009.
L. Bocchi, J. Fiadeiro, A. Lapadula, R. Pugliese, F. Tiezzi. From Architectural to Behavioural Specification of Services. In Proc. 6th International Workshop on Formal Engineering Approaches to Software Component and Architectures. Electronic Notes in Theoretical Computer Science. Elsevier Science. 2009. Download extended report.

L. Bocchi, J. Fiadeiro, A. Lopes. A Use-Case Driven Approach to Formal Service-Oriented Modelling. In Proc. of 3rd International Symposium (ISoLA) on Leveraging Applications of Formal Methods Verification and Validation. Volume 17 of Communications in Computer and Information Science, Springer Berlin Heidelberg, pages 155-169. 2008.
L. Bocchi, J. Fiadeiro, A. Lopes. Service-Oriented Modelling of Automotive Systems. In Proc. of 32th Annual IEEE International Computer Software and Applications Conference (COMPSAC). IEEE Computer Society, pages 1059-1064. 2008.
L. Bocchi, S. Gorton, S. Reiff-Marganiec. Engineering Service-Oriented Applications: From StPowla Processes to SRML Models. In Proc. of Fundamental Approaches to Software Engineering (FASE). Volume 4961 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, pages. 163-178. 2008.

L. Bocchi, Y. Hong, A. Lopes J. L. Fiadeiro. From BPEL to SRML: A Formal Transformational Approach. In Proc. of 4th International Workshop on Web Services and Formal Methods, (WS-FM). Voume 4937 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, pages 92-107. 2007.
J. Abreu, L. Bocchi, J. L. Fiadeiro, A. Lopes. Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. In Proc. of Formal Methods for Networked and Distributed Systems, 27rg IFIP WG 6.1 International Conference (FORTE). Volume 4574 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, pages 358-373. 2007.
J. L. Fiadeiro, A. Lopes, L. Bocchi. Algebraic Semantics of Service Component Modules. In Proc. of 18th International Workshop on Recent Trends in Algebraic Development Techniques (WADT) . Volume 4409 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, pages 37-55. 2007.

J. L. Fiadeiro, A. Lopes, and L. Bocchi. A Formal Approach to Service Component Architecture. In Proc. of 3rd International Workshop on Web Services and Formal Methods (WS-FM). Volume 4184 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, pages 193-213. 2006.
L. Bocchi and P. Ciancarini and R. Lucchi Atomic Commit and Negotiation in Service Oriented Computing. Technical Report UBLCS-2005-16, University of Bologna, Italy. 2005.
L. Bocchi Transactional Aspects in Coordination and Composition of Web Services (Ph.D. thesis). Technical Report UBLCS-2006-03, University of Bologna, Italy. 2006.
L. Bocchi. Compositional Nested Long Running Transactions. In Proc. Fundamental Approaches to Software Engineering, volume 2984 of Lecture Notes in Computer Science, pages 194-208. 2004.
L. Bocchi and L. Wischik. A Process Calculus of Atomic Commit. In Proc. 1st International Workshop on Web Services and Formal Methods, ENTCS. 2004.
L. Bocchi, C. Laneve, and G. Zavattaro. A Calculus for Long Running Transactions. In Proc. 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, volume 2884 of Lecture Notes in Computer Science, pages 124-138. 2003.

\| \|\|\|\|\|\|\|\|
Author: Laura Bocchi (bocchi@mcs.le.ac.uk), T: +44 (0)116 252 2593. © University of Leicester DATE. Last modified: 27th February 2012, 18:27:08. CS Web Maintainer. Any opinions expressed on this page are those of the author.