Writing and executing ODP computational viewpoint specifications using Maude.

José Raúl Romero Antonio Vallecillo Francisco Durán

Published in: Comput. Stand. Interfaces (2007)

Keyphrases

viewpoint
formal specification
information systems
d objects
written in natural language
real time
knowledge base
mathematical programming
computational power
specification language
control flow
operational semantics
word processing
delay insensitive