Derrick, J. and Bowman, H. and Steen, M. (1995) Maintaining Cross Viewpoint Consistency using Z. In: UNSPECIFIED.
|
Download (203Kb)
|
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)
|
|
| Postscript | ||
|
Download (185Kb)
|
![[img]](http://kar.kent.ac.uk/style/images/fileicons/application_postscript.png)
|
|
Abstract
This paper discusses the use and integration of formal techniques, in particular Z, into the Open Distributed Processing (ODP) standardization initiative. One of the cornerstones of the ODP framework is a model of multiple viewpoints. During the development process it is important to maintain the consistency of different viewpoints of the same ODP specification. In addition, there must be some way to combine specifications from different viewpoints into a single implementation specification. The process of combining two specifications is known as unification. Unification can be used as a method by which to check consistency. This paper describes a mechanism to unify two Z specifications, and hence provide a consistency checking strategy for viewpoints written in Z.
| Item Type: | Conference or workshop item (UNSPECIFIED) |
|---|---|
| Uncontrolled keywords: | ODP, Z, consistency, viewpoints |
| Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
| Divisions: | Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group Faculties > Science Technology and Medical Studies > School of Computing > Systems Architecture Group |
| Depositing User: | Mark Wheadon |
| Date Deposited: | 21 Aug 2009 19:53 |
| Last Modified: | 06 Sep 2011 03:48 |
| Resource URI: | http://kar.kent.ac.uk/id/eprint/21280 (The current URI for this page, for reference purposes) |
- Depositors only (login required):
