Multiple viewpoints are used in Open Distributed Processing (ODP) in order to decompose the complexity inherent in specifying distributed systems. Multiple viewpoints prompt the issue of consistency between viewpoints. The ODP reference model alludes to three different interpretations of consistency. We show that our interpretation, firstly, satisfies all the basic requirements of a definition of consistency and, secondly, can be specialised to any of the three ODP reference model definitions. The generality of our definition will be illustrated through instantiation in the FDT LOTOS
AbstractThere is increasing interest in models of system development which use Multiple Viewpoints. ...
The ODP development model is a natural progression from OSI. Multiple viewpoints are used to specify...
Open Distributed Processing (ODP) is a framework for specifying open distributed systems, under deve...
There is increasing interest in models of system development which use multiple viewpoints. Each vie...
The ODP multiple viewpoints model prompts the very challenging issue of cross viewpoint consistency....
Multiple viewpoints are used in Open Distributed Processing (ODP) in order to decompose the complexi...
The ODP (Open Distributed Processing) development model is a natural progression from OSI. Multiple ...
Multiple Viewpoint models of system development are becoming increasingly important. Each viewpoint ...
The paper discusses the use of viewpoints in the ODP (Open Distributed Processing) standardisation i...
This paper discusses the use and integration of formal techniques, in particular Z, into the Open Di...
This paper discusses the issues of specification style and refinement that arise in connection with ...
This paper discusses the use and integration of formal techniques into the Open Distributed Processi...
Questions asked by research into ODP Viewpoint Consistency led to fundamental questions in refinemen...
The ODP multiple viewpoints model prompts the very challenging issue of cross viewpoint consistency ...
There have been a number of proposals to split the specification of large and complex systems into a...
AbstractThere is increasing interest in models of system development which use Multiple Viewpoints. ...
The ODP development model is a natural progression from OSI. Multiple viewpoints are used to specify...
Open Distributed Processing (ODP) is a framework for specifying open distributed systems, under deve...
There is increasing interest in models of system development which use multiple viewpoints. Each vie...
The ODP multiple viewpoints model prompts the very challenging issue of cross viewpoint consistency....
Multiple viewpoints are used in Open Distributed Processing (ODP) in order to decompose the complexi...
The ODP (Open Distributed Processing) development model is a natural progression from OSI. Multiple ...
Multiple Viewpoint models of system development are becoming increasingly important. Each viewpoint ...
The paper discusses the use of viewpoints in the ODP (Open Distributed Processing) standardisation i...
This paper discusses the use and integration of formal techniques, in particular Z, into the Open Di...
This paper discusses the issues of specification style and refinement that arise in connection with ...
This paper discusses the use and integration of formal techniques into the Open Distributed Processi...
Questions asked by research into ODP Viewpoint Consistency led to fundamental questions in refinemen...
The ODP multiple viewpoints model prompts the very challenging issue of cross viewpoint consistency ...
There have been a number of proposals to split the specification of large and complex systems into a...
AbstractThere is increasing interest in models of system development which use Multiple Viewpoints. ...
The ODP development model is a natural progression from OSI. Multiple viewpoints are used to specify...
Open Distributed Processing (ODP) is a framework for specifying open distributed systems, under deve...