Web Services and Formal Methods: 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007, Proceedings
Marlon Dumas, Reiko Heckel
Springer Science & Business Media, Apr 11, 2008 - Computers - 172 pages
This volume contains the papers presented at WS-FM 2007, the 4th International Workshop on Web Services and Formal Methods, held on September 28 and 29, 2007 in Brisbane, Australia. Web service technology aims at empowering providers of services, in the broad sense, with the ability to package and deliver their services by means of software applications available on the Web. Existing infrastructures for Web services - ready enable providers to describe services in terms of structure, access policy and behaviour, to locate services, to interact with them, and to bundle simpler services into more complex ones. However, innovations are needed to seamlessly extend this technology in order to deal with challenges such as managing int- actions with stateful and long-running Web services, managing large numbers of Web services each with multiple interfaces and versions, managing the quality of Web service delivery, etc. Formal methods have a fundamental role to play in shaping innovations in Web service technology. For instance, formal methods help to de?ne and to understand the semantics of languages and protocols that underpin existing infrastructures for Web services, and to formulate features that are found to be lacking. They also provide a basis for reasoning about Web service behaviour, for example to discover individual services that can ful?l a given goal, or even to compose multiple services that can collectively ful?l a goal. Finally, formal analysis of security properties and performance are relevant in many application areas of Web services such as e-commerce and e-business.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Towards a Theory of Web Service Choreographies
Controlling Petri Net Process Models
Extending Model Checking to DataAware Temporal Properties of Web Services
Verification and Participant Synthesis
Scalable Formalization of PublishSubscribe Messaging Scheme Based on Message Brokers
A FeatureComplete Petri Net Semantics for WSBPEL 20
A Formal Transformational Approach
Other editions - View all
Aalst abstract airline analysis Analyzing approach automata bisimulation BPEL processes BPEL4Chor business processes channel communication component Computer constraint automaton construct control ﬂow conversation protocols CTL-FO+ formula deadlocks deﬁned deﬁnition diﬀerent encoding example execution fault ﬁnal ﬁnite ﬁrst forEach formal guardedBy heap Heidelberg Heidelberg 2006 input instance interactions interface places invoke Kripke structure LNCS logic marking Mealy services message broker model checking NuSMV open workﬂow operation operational semantics oWFN partial model checking partial order reduction pattern Petri net Petri net semantics portType private view problem process algebra process models properties public view publish/subscribe quantiﬁcation queue receive Reo circuit scope sends sequence service composition service implementations speciﬁcation Springer structured activities synchronous synthesized temporal logic termination handler transformation rules transition transition relation transition_A translation UCLP veriﬁcation workﬂow nets WS-BPEL WS-BPEL processes WS-CDL WS-FM WSDL