Proposal for a formal foundation of RM-ODP concepts

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 to clarify the RM-ODP modeling framework to make it more accessible to modelers such as system architects, designers and implementers, while opening the way for the formal verification of RM-ODP models, either within an ODP viewpoint or across multiple ODP viewpoints. Our formalization is based on set theory and the usual predicate logic, and is ex-pressed in the Alloy language.


Published in:
ICEIS 2001, Workshop On Open Distributed Processing - WOODPECKER`2001, 81-97
Year:
2001
Keywords:
Laboratories:




 Record created 2004-08-31, last modified 2018-03-17

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)