dblp.uni-trier.dewww.uni-trier.de

Laura Bocchi Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
15EELaura Bocchi, José Luiz Fiadeiro, Antónia Lopes: Service-Oriented Modelling of Automotive Systems. COMPSAC 2008: 1059-1064
14EELaura Bocchi, Stephen Gorton, Stephan Reiff-Marganiec: Engineering Service Oriented Applications: From StPowla Processes to SRML Models. FASE 2008: 163-178
13EELaura Bocchi, José Luiz Fiadeiro, Antónia Lopes: A Use-Case Driven Approach to Formal Service-Oriented Modelling. ISoLA 2008: 155-169
2007
12EEJoão Abreu, Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes: Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. FORTE 2007: 358-373
11EELaura Bocchi, Yi Hong, Antónia Lopes, José Luiz Fiadeiro: From BPEL to SRML: A Formal Transformational Approach. WS-FM 2007: 92-107
2006
10EELaura Bocchi, Roberto Lucchi: Atomic Commit and Negotiation in Service Oriented Computing. COORDINATION 2006: 16-27
9EEJosé Luiz Fiadeiro, Antónia Lopes, Laura Bocchi: Algebraic Semantics of Service Component Modules. WADT 2006: 37-55
8EEJosé Luiz Fiadeiro, Antónia Lopes, Laura Bocchi: A Formal Approach to Service Component Architecture. WS-FM 2006: 193-213
7EELaura Bocchi, Paolo Ciancarini: On the Impact of Formal Methods in the SOA. Electr. Notes Theor. Comput. Sci. 160: 113-126 (2006)
2005
6EELaura Bocchi, Paolo Ciancarini, Davide Rossi: Transactional Aspects in Semantic Based Discovery of Services. COORDINATION 2005: 283-297
5EELaura Bocchi, Paolo Ciancarini, Rocco Moretti, Valentina Presutti, Davide Rossi: An OWL-S based approach to express grid services coordination. SAC 2005: 1661-1667
2004
4EELaura Bocchi: Compositional Nested Long Running Transactions. FASE 2004: 194-208
3EELaura Bocchi, Lucian Wischik: A Process Calculus of Atomic Commit. Electr. Notes Theor. Comput. Sci. 105: 119-132 (2004)
2003
2EELaura Bocchi, Paolo Ciancarini: A Perspective on Multiagent Coordination Models. Communication in Multiagent Systems 2003: 146-163
1EELaura Bocchi, Cosimo Laneve, Gianluigi Zavattaro: A Calculus for Long-Running Transactions. FMOODS 2003: 124-138

Coauthor Index

1João Abreu [12]
2Paolo Ciancarini [2] [5] [6] [7]
3José Luiz Fiadeiro [8] [9] [11] [12] [13] [15]
4Stephen Gorton [14]
5Yi Hong [11]
6Cosimo Laneve [1]
7Antónia Lopes [8] [9] [11] [12] [13] [15]
8Roberto Lucchi [10]
9Rocco Moretti [5]
10Valentina Presutti [5]
11Stephan Reiff-Marganiec [14]
12Davide Rossi [5] [6]
13Lucian Wischik [3]
14Gianluigi Zavattaro [1]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)