Add to ORKGThe Basic Reference Model of ODP introduces a number of basic concepts in order to provide a common basis for the development of a coherent set of standards. To achieve this objective, a clear understanding of the basic concepts is one prerequisite. This paper makes an effort at clarifying some of the basic concepts independently of standardized or non-standardized formal description techniques. Among the basic concepts considered here are: agent, action, interaction, interaction point, architecture, behaviour, system, composition, refinement, and abstraction. In a case study, it is then shown how these basic concepts can be represented in a formal specification written in temporal logic
Distributed systems can be very large and complex and the many different considerations which influe...
This paper discusses the use and integration of formal techniques into the Open Distributed Processi...
Open Distributed Processing (ODP) is a joint standardisation activity of the ISO and ITU. A referenc...
This is a pre-print of an article whose final and definitive form has been published in Computer Sta...
This paper describes the progress made to date in defining a ne set of standards for Open Distribute...
Since their introduction, formal methods have been applied in various ways to different standards. T...
Since their introduction, formal methods have been applied in various ways to different standards. T...
This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Pro...
The computational viewpoint contained within the Reference Model of Open Distributed Processing (RM-...
Since their introduction, formal methods have been applied in various ways to different standards. T...
This paper discusses the use and integration of formal techniques into the Open Distributed Processi...
This paper gives a brief insight into the current work on the development of an architectural semant...
This paper gives a brief insight into the current work on the development of an architectural seman...
In this work we consider the behavioral aspects of system modeling. In order to specify the behavior...
This is a pre-print of a paper from Proceedings of OOPSLA 94: Workshop on Precise Behavioural Specif...
Distributed systems can be very large and complex and the many different considerations which influe...
This paper discusses the use and integration of formal techniques into the Open Distributed Processi...
Open Distributed Processing (ODP) is a joint standardisation activity of the ISO and ITU. A referenc...
This is a pre-print of an article whose final and definitive form has been published in Computer Sta...
This paper describes the progress made to date in defining a ne set of standards for Open Distribute...
Since their introduction, formal methods have been applied in various ways to different standards. T...
Since their introduction, formal methods have been applied in various ways to different standards. T...
This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Pro...
The computational viewpoint contained within the Reference Model of Open Distributed Processing (RM-...
Since their introduction, formal methods have been applied in various ways to different standards. T...
This paper discusses the use and integration of formal techniques into the Open Distributed Processi...
This paper gives a brief insight into the current work on the development of an architectural semant...
This paper gives a brief insight into the current work on the development of an architectural seman...
In this work we consider the behavioral aspects of system modeling. In order to specify the behavior...
This is a pre-print of a paper from Proceedings of OOPSLA 94: Workshop on Precise Behavioural Specif...
Distributed systems can be very large and complex and the many different considerations which influe...
This paper discusses the use and integration of formal techniques into the Open Distributed Processi...
Open Distributed Processing (ODP) is a joint standardisation activity of the ISO and ITU. A referenc...