Publications

Export 9 results:
Filters: Author is Bocchi, Laura  [Clear All Filters]
2011
Fiadeiro, J. Luiz, A. Lopes, and L. Bocchi, "An abstract model of service discovery and binding", Formal Aspects of Computing, vol. 23, no. 4: Springer-Verlag, pp. 433–463, 2011.
Fiadeiro, J., A. Lopes, L. Bocchi, and J. Abreu, "The Sensoria reference modelling language", Rigorous software engineering for service-oriented systems: Springer Berlin Heidelberg, pp. 61–114, 2011.
2009
Fiadeiro, J. Luiz, A. Lopes, L. Bocchi, and J. Abreu, "A formal approach to service-oriented modelling", 9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services, 2009.
2008
Bocchi, L., Y. Hong, A. Lopes, and J. Luiz Fiadeiro, "From BPEL to SRML: a formal transformational approach", Web services and formal methods: Springer Berlin Heidelberg, pp. 92–107, 2008.
Bocchi, L., J. Luiz Fiadeiro, and A. Lopes, "Service-oriented modelling of automotive systems", Computer Software and Applications, 2008. COMPSAC'08. 32nd Annual IEEE International: IEEE, pp. 1059–1064, 2008.
Bocchi, L., J. Luiz Fiadeiro, and A. Lopes, "A use-case driven approach to formal service-oriented modelling", Leveraging Applications of Formal Methods, Verification and Validation: Springer Berlin Heidelberg, pp. 155–169, 2008.
2007
Fiadeiro, J. Luiz, A. Lopes, and L. Bocchi, "Algebraic semantics of service component modules", Recent Trends in Algebraic Development Techniques: Springer Berlin Heidelberg, pp. 37–55, 2007.
Bocchi, L., L. Ferrari, J. Fiadeiro, A. Lopes, C. Start Date, DSIUF. PISA, ISTI. UNIBO, UEDIN. FFCUL, and TIL. ATX, "D1. 1. c: Prototype language for service modelling: primitives for service description", SENSORIA Deliverables Month, vol. 18, 2007.
Abreu, J., L. Bocchi, J. Luiz Fiadeiro, and A. Lopes, "Specifying and composing interaction protocols for service-oriented system modelling", Formal Techniques for Networked and Distributed Systems–FORTE 2007: Springer Berlin Heidelberg, pp. 358–373, 2007.