1796 search results - page 12 / 360 » An Approach to Compositional Model Checking |
FORMATS
2008
Springer
13 years 9 months ago
2008
Springer
CASCON
2000
13 years 9 months ago
2000
CSFW
2006
IEEE
13 years 11 months ago
2006
IEEE
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...
FORTE
2007
13 years 9 months ago
2007
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
ECLIPSE
2005
ACM
13 years 9 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...