Sciweavers

489 search results - page 1 / 98
» On the Execution of ODP Computational Specifications
Sort
View
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...
44
Voted
EDOC
2006
IEEE
15 years 3 months ago
On the Execution of ODP Computational Specifications
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
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
CJ
2008
65views more  CJ 2008»
14 years 9 months ago
Modeling ODP Computational Specifications Using UML
José Raúl Romero, José M. Tro...