Bowman, Howard, Derrick, John, Steen, Maarten (1995) Some Results on Cross Viewpoint Consistency Checking. In: UNSPECIFIED. (doi:10.1007/978-0-387-34882-7_31) (KAR id:21276)
PDF
Language: English |
|
Download this file (PDF/178kB) |
![]() |
Request a format suitable for use with assistive technology e.g. a screenreader | |
Postscript
Language: English |
|
Download this file (Postscript/207kB) |
Preview |
Request a format suitable for use with assistive technology e.g. a screenreader | |
Official URL: https://doi.org/10.1007/978-0-387-34882-7_31 |
Abstract
The ODP multiple viewpoints model prompts the very challenging issue of cross viewpoint consistency. This paper considers definitions of consistency arising from the RM-ODP and relates these in a mathematical framework for consistency checking. We place existing FDTs, in particular LOTOS, into this framework. Then we consider the prospects for viewpoint translation. Our conclusions centre on the relationship between the different definitions of consistency and on the requirements for realistic consistency checking.
Item Type: | Conference or workshop item (UNSPECIFIED) |
---|---|
DOI/Identification number: | 10.1007/978-0-387-34882-7_31 |
Uncontrolled keywords: | formal methods, LOTOS, viewpoints, consistency, ODP |
Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
Depositing User: | Mark Wheadon |
Date Deposited: | 21 Aug 2009 19:34 UTC |
Last Modified: | 09 Mar 2023 11:29 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/21276 (The current URI for this page, for reference purposes) |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):