Writing ODP Enterprise Specifications in Maude

Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. In this paper we explore the possibility of using Maude as a formal notation for writing and reasoning about RM-ODP enterprise specifications. An example is used to illustrate our proposal and to compare it with other approaches that also try to formalize this viewpoint.

• Type: Conference
• Year: 2001
• Where: WOODPECKER
• Authors: Francisco Durán, Antonio Vallecillo
• Keywords: Executable Rewriting Logic, Formal Notation, Knowledge Management, RM-ODP Enterprise Specifications, WOODPECKER 2001