Sciweavers

211 search results - page 1 / 43
» Formal Modelling and Verification in Service-Oriented Comput...
Sort
View
ERCIM
2007
73views more  ERCIM 2007»
13 years 3 months ago
Formal Modelling and Verification in Service-Oriented Computing
Maurice H. ter Beek, Stefania Gnesi, Fabio Martine...
ICSE
2008
IEEE-ACM
14 years 4 months ago
Formal verification of an automotive scenario in service-oriented computing
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Fr...
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
13 years 5 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
JSW
2007
119views more  JSW 2007»
13 years 3 months ago
Formalizing Mobility in Service Oriented Computing
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...
Claudio Guidi, Roberto Lucchi
FMCO
2005
Springer
101views Formal Methods» more  FMCO 2005»
13 years 9 months ago
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
Abstract. This tutorial paper describes a framework for modelling several aspects of distributed computing based on Synchronised Hyperedge Replacement (SHR), a graph rewriting form...
Gian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo M...