WOODPECKER 2001 | Sciweavers

52

WOODPECKER
2001

135views Knowledge Management» more WOODPECKER 2001»

Proposal for a formal foundation of RM-ODP concepts

14 years 5 months ago

Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...

Andrey Naumenko, Alain Wegmann, Guy Genilloud, Wil...

claim paper

Read More »

42

click to vote

WOODPECKER
2001

104views Knowledge Management» more WOODPECKER 2001»

Writing ODP Enterprise Specifications in Maude

14 years 5 months ago

Download www.lcc.uma.es

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

claim paper

Read More »

47

click to vote

WOODPECKER
2001

105views Knowledge Management» more WOODPECKER 2001»

On Modeling, Mathematics, Category Theory and RM-ODP

14 years 5 months ago

Download www.cs.toronto.edu

Zinovy Diskin

claim paper

Read More »

57

click to vote

WOODPECKER
2001

153views Knowledge Management» more WOODPECKER 2001»

Consistency Checking of RM-ODP Specifications

14 years 5 months ago

Download www.ccs.neu.edu

Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...

Kenneth Baclawski, Mieczyslaw M. Kokar, Jeffrey E....

claim paper

Read More »

41

click to vote

WOODPECKER
2001

115views Knowledge Management» more WOODPECKER 2001»

Frame-working RM-ODP

14 years 5 months ago

Download homepage.mac.com

Luc Abom

claim paper