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.

• Type: Conference
• Year: 2001
• Where: JISBD
• Authors: Antonio Albarrán, Francisco Durán, Antonio Vallecillo
• Keywords: Formal Specifications, JISBD 2001, Software Engineering, Specifications, Web-based Distributed Implementation