logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Return

FDTS FOR ODP

delete1995-09-01
delete22
delete
OA
AI
H
Howard Bowman
J
John Derrick
P
Peter F. Linington
M
Maarten Steen
DOI：10.1016/0920-5489(95)00021-Ldelete
deleteOriginal
deleteShare
deleteSave
View PDF
Abstract

Abstract

En 中文
This paper discusses the use and integration of formal techniques into the Open Distributed Processing (ODP) standardization initiative. The ODP reference model is a natural progression from OSI. Multiple viewpoints are used to specify complex ODP systems. Formal methods are playing an increasing role within ODP. We provide an overview of the ODP reference model, before discussing the ODP requirements on FDTs, and the role such techniques play. Finally, we discuss the use of formalisms in the central problem of maintaining cross viewpoint consistency.
Keywords:
OPEN DISTRIBUTED PROCESSING
FORMAL DESCRIPTION TECHNIQUES
Z
CONSISTENCY
VIEWPOINTS
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

C
Computer Standards and Interfaces
IF:
3.1
Papers:
2.3K
Citations:
2.0K

Organization

No organization information available