Welcome to the InfoSci Platform
Matching Models of Different Abstraction Levels: A Refinement Equivalence Approach

Matching Models of Different Abstraction Levels: A Refinement Equivalence Approach

Pnina Soffer, Iris Reinhartz-Berger, Arnon Sturm
Copyright: © 2007 |Pages: 34
ISBN13: 9781599049274|ISBN10: 1599049279|ISBN13 Softcover: 9781616927837|EISBN13: 9781599049281
DOI: 10.4018/978-1-59904-927-4.ch004
Cite Chapter Cite Chapter

MLA

Soffer, Pnina, et al. "Matching Models of Different Abstraction Levels: A Refinement Equivalence Approach." Research Issues in Systems Analysis and Design, Databases and Software Development, edited by Keng Siau, IGI Global, 2007, pp. 89-122. https://doi.org/10.4018/978-1-59904-927-4.ch004

APA

Soffer, P., Reinhartz-Berger, I., & Sturm, A. (2007). Matching Models of Different Abstraction Levels: A Refinement Equivalence Approach. In K. Siau (Ed.), Research Issues in Systems Analysis and Design, Databases and Software Development (pp. 89-122). IGI Global. https://doi.org/10.4018/978-1-59904-927-4.ch004

Chicago

Soffer, Pnina, Iris Reinhartz-Berger, and Arnon Sturm. "Matching Models of Different Abstraction Levels: A Refinement Equivalence Approach." In Research Issues in Systems Analysis and Design, Databases and Software Development, edited by Keng Siau, 89-122. Hershey, PA: IGI Global, 2007. https://doi.org/10.4018/978-1-59904-927-4.ch004

Export Reference

Mendeley
Favorite

Abstract

This chapter deals with the reuse of models, which assists in constructing new models on the basis of existing knowledge. Some of the activities that support model reuse, such as model construction, retrieval, and validation, may involve matching models on the basis of semantic and structural similarity. However, matching for the purposes of retrieval and validation relates to models of different abstraction levels, hence structural similarity is difficult to assess. This chapter proposes the concept of refinement equivalence, which means that a detailed model is a refinement of an abstract model. It emphasizes the use of refinement equivalence for the purpose of validating a detailed application model against an abstract domain model in the context of a domain analysis approach called application-based domain modeling (ADOM). We discuss the structural characteristics of refinement operations in object-process methodology (OPM) models, and present an algorithm that detects refinement equivalence.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.