 |
STAFF
— Laura Bocchi Ph.D. (Bologna)
Research Associate in Computer Science
|
G7 Ken Edwards Building
School of Computing and Mathematical Sciences,
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
|
- Project Tracing
Networks
- Project SENSORIA WP1
- Formal models for service composition and coordination
- Web services and transactions
-
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.
|
|
