2000
DOI: 10.1109/32.859529
|View full text |Cite
|
Sign up to set email alerts
|

Respectful type converters

Abstract: ÐIn converting an object of one type to another, we expect some of the original object's behavior to remain the same and some to change. How can we state the relationship between the original object and converted object to characterize what information is preserved and what is lost after the conversion takes place? We answer this question by introducing the new relation, respects, and say that a type converter function g X e 3 f respects a type. We formally define respects in terms of the Liskov and Wing behav… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
4
0

Year Published

2000
2000
2017
2017

Publication Types

Select...
4
4

Relationship

0
8

Authors

Journals

citations
Cited by 13 publications
(4 citation statements)
references
References 8 publications
0
4
0
Order By: Relevance
“…This indicates that sub-typing plays an important role w.r.t. preservation of object content, as proposed elsewhere [6]. Thus, the constraint pres o (doc → P DF, doc[P DF ]) assures that all content of "doc.pdf" is preserved in case it is transformed.…”
Section: Transformation and Preservati-on Constraintsmentioning
confidence: 99%
“…This indicates that sub-typing plays an important role w.r.t. preservation of object content, as proposed elsewhere [6]. Thus, the constraint pres o (doc → P DF, doc[P DF ]) assures that all content of "doc.pdf" is preserved in case it is transformed.…”
Section: Transformation and Preservati-on Constraintsmentioning
confidence: 99%
“…Two other projects, the Typed-Object Model (TOM) [18] and the Format REgistry Demonstration (FRED) [19], are designed to offer disturbed service for preservation of digital objects. However it is unclear how either of these two projects will interface with current initiatives and existing systems.…”
Section: Current Technical Strategiesmentioning
confidence: 99%
“…Data processing modules such as format identification and verification tools [Ferro 2016], information object converters [Wing and Ockerbloom 2000] or data acquisition modules [Nardo et al 2013] are essential components of information systems. Verification of their functional correctness -the "degree to which a product or system provides the correct results with the needed degree of precision" [ISO 2011]-is an inevitable prerequisite for relying on their outputs.…”
mentioning
confidence: 99%
“…For example, the key challenge in developing test suites to ensure correct data acquisition operations in mission-critical environments lies in the test data [Nardo et al 2013]. In digital preservation, technical interventions such as migration to new formats must respect the original type [Wing and Ockerbloom 2000] so that the result can be considered an authentic reproduction of the original. This must be verified through independent tests that extract features of the original and resulting objects to facilitate comparison [Milic-Frayling 2010].…”
mentioning
confidence: 99%