Extracting Constraint Knowledge from Code: A Case-Based Reasoning Approach
The underlying motivation for the authors’ research on constraint understanding is comparative constraint understanding. The same constraint can be expressed in different ways in different models, and a comparative constraint-understanding system would be able to assess the extent to which two models have equivalent constraint semantics. Understanding constraint semantics can be used to support tasks such as mediation and mapping.
This paper presents a prototype method for understanding constraints in code. In particular, it focuses on understanding the constraints in EXPRESS information models, for which an experimental computerised system has been implemented. A case-based reasoning approach is taken, in which cases suggest so-called higher-level constraints to extract from matching fragments of EXPRESS code.
KeywordsInformation Model Constraint Semantic Case Library Algebraic Specification Abstract Constraint
Unable to display preview. Download preview PDF.
- 3.Grand M. Java language reference. O’Reilly & Associates, Sebastopol, 1997Google Scholar
- 4.van Vliet JC. Software engineering: Principles and perspective. John Wiley & Sons, Chichester, 1993Google Scholar
- 5.ISO TC184/SC4. Industrial automation systems and integration — Product data representation and exchange — Part 11: Description methods: The EXPRESS language reference manual. ISO standard, reference no. ISO 10303-11. ISO, Switzerland, 1994Google Scholar
- 6.Kasadha FS. An approach to the application of information models. MSc thesis, University of Manchester, Manchester, 1996Google Scholar
- 8.Kolodner JL. Case-based reasoning. Morgan Kaufmann Publishers, San Mateo, 1993Google Scholar
- 13.ISO TC184/SC4. Industrial automation systems and integration — Product data representation and exchange — Part 212: Application protocol: Electrotechnical design and installation. ISO committee draft, reference no. ISO 10303-212. ISO, Switzerland, 1996. Internet: http://www.nist.gov/sc4/step/parts/part212/current/part212.expGoogle Scholar
- 14.Lau RYW . EDIF: Electronic Design Interchange Format version 4 0 0 level 0 information model. Electronic Industries Association, EDIF Steering Committee, 1996Google Scholar