Loading...
conference paper
Proposal for a formal foundation of RM-ODP concepts
2001
ICEIS 2001, Workshop On Open Distributed Processing - WOODPECKER`2001
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.
Loading...
Name
NaumenkoWGF01.pdf
Access type
openaccess
Size
182.04 KB
Format
Adobe PDF
Checksum (MD5)
1a16b5caf14ea016bd4bced79cdb56fe