Export 9 results:
Filters: Author is Bocchi, Laura [Clear All Filters]
"An abstract model of service discovery and binding", Formal Aspects of Computing, vol. 23, no. 4: Springer-Verlag, pp. 433–463, 2011.
"Algebraic semantics of service component modules", Recent Trends in Algebraic Development Techniques: Springer Berlin Heidelberg, pp. 37–55, 2007.
"D1. 1. c: Prototype language for service modelling: primitives for service description", SENSORIA Deliverables Month, vol. 18, 2007.
"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.
"From BPEL to SRML: a formal transformational approach", Web services and formal methods: Springer Berlin Heidelberg, pp. 92–107, 2008.
"The Sensoria reference modelling language", Rigorous software engineering for service-oriented systems: Springer Berlin Heidelberg, pp. 61–114, 2011.
"Service-oriented modelling of automotive systems", Computer Software and Applications, 2008. COMPSAC'08. 32nd Annual IEEE International: IEEE, pp. 1059–1064, 2008.
"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.
"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.