Sciweavers

4 search results - page 1 / 1
» Writing ODP Enterprise Specifications in Maude
Sort
View
WOODPECKER
2001
13 years 6 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
CSI
2007
89views more  CSI 2007»
13 years 4 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
13 years 8 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
POLICY
2001
Springer
13 years 9 months ago
Author Obliged to Submit Paper before 4 July: Policies in an Enterprise Specification
Specifying policies doesn’t occur in splendid isolation but as part of refining an enterprise specification. The roles, the tasks, and the business processes of an ODP community ...
James B. Cole, John Derrick, Zoran Milosevic, Kerr...