Sciweavers

Share
JISBD
2001

From Maude Specifications to SOAP Distributed Implementations: A Smooth Transition

11 years 3 months ago
From Maude Specifications to SOAP Distributed Implementations: A Smooth Transition
In this paper we show how the formal specification of a system written in Maude can be easily connected to its Web-based distributed implementation using SOAP. In addition to the usual advantages provided by the use of formal specifications, by allowing objects in any of these worlds (specification and implementation) to seamlessly interoperate we can obtain several interesting advantages, such as bridging the gap between system specifications and their implementations, building prototypes in which specifications and final implementations are combined, and directly using Maude specifications for testing component implementations.
Antonio Albarrán, Francisco Durán, A
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2001
Where JISBD
Authors Antonio Albarrán, Francisco Durán, Antonio Vallecillo
Comments (0)
books