Sciweavers

3 search results - page 1 / 1
» Writing and executing ODP computational viewpoint specificat...
Sort
View
107
Voted
CSI
2007
89views more  CSI 2007»
14 years 9 months ago
Writing and executing ODP computational viewpoint specifications using Maude
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...
José Raúl Romero, Antonio Vallecillo...
EDOC
2004
IEEE
15 years 1 months ago
Formalizing ODP Computational Viewpoint Specifications in Maude
The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational obj...
José Raúl Romero, Antonio Vallecillo
73
Voted
WOODPECKER
2001
14 years 11 months ago
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 possibilit...
Francisco Durán, Antonio Vallecillo