Add to ORKGThis paper describes a translation of full LOTOS into Z A common semantic model is dened and the translation is proved correct with respect to the semantics The motivation for such a translation is the use of multiple viewpoints for spec ifying complex systems dened by the reference model of the Open Distributed Processing ODP standardization initiative Key words Open Distributed Processing Z LOTOS Consistency The aim of this paper is to support the use of FDTs within distributed system design by providing a translation between full LOTOS and Z An important example of open objectbased distributed systems is the Open Dis tributed Processing ODP Reference Model The ODP standardization initiative is
The ODP development model is a natural progression from OSI. Multiple viewpoints are used to specify...
This paper discusses the use and integration of formal techniques into the Open Distributed Processi...
The paper discusses the use of viewpoints in the ODP (Open Distributed Processing) standardisation i...
This paper describes a translation of full LOTOS into Z. A common semantic model is defined and the ...
This paper compares the LOTOS and Z renement relations The motivation for such a comparison is the ...
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...
This is a pre-print of a paper from Proceedings of OOPSLA 94: Workshop on Precise Behavioural Specif...
The ODP development model is a natural progression from OSI Multiple viewpoints are used to specify...
ISBN 9780412797705Publisher’s permission requested and deniedThe computational viewpoint contained w...
This paper presents a translation between the formal description technique LOTOS and the object-orie...
This paper discusses the use and integration of formal techniques into the Open Distributed Processi...
The computational viewpoint contained within the Reference Model of Open Distributed Processing (RM-...
This paper compares the LOTOS and Z refinement relations. The motivation for such a comparison is th...
Multiple viewpoints are used in Open Distributed Processing (ODP) in order to decompose the complexi...
The ODP development model is a natural progression from OSI. Multiple viewpoints are used to specify...
This paper discusses the use and integration of formal techniques into the Open Distributed Processi...
The paper discusses the use of viewpoints in the ODP (Open Distributed Processing) standardisation i...
This paper describes a translation of full LOTOS into Z. A common semantic model is defined and the ...
This paper compares the LOTOS and Z renement relations The motivation for such a comparison is the ...
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...
This is a pre-print of a paper from Proceedings of OOPSLA 94: Workshop on Precise Behavioural Specif...
The ODP development model is a natural progression from OSI Multiple viewpoints are used to specify...
ISBN 9780412797705Publisher’s permission requested and deniedThe computational viewpoint contained w...
This paper presents a translation between the formal description technique LOTOS and the object-orie...
This paper discusses the use and integration of formal techniques into the Open Distributed Processi...
The computational viewpoint contained within the Reference Model of Open Distributed Processing (RM-...
This paper compares the LOTOS and Z refinement relations. The motivation for such a comparison is th...
Multiple viewpoints are used in Open Distributed Processing (ODP) in order to decompose the complexi...
The ODP development model is a natural progression from OSI. Multiple viewpoints are used to specify...
This paper discusses the use and integration of formal techniques into the Open Distributed Processi...
The paper discusses the use of viewpoints in the ODP (Open Distributed Processing) standardisation i...