Conclusion
Based on the findings of this project, the important conclusion that can be drawn are as follows:
- generic high-level modelling features can be provided through library extension. The HAL++ library extension is used by the OPL-to-HAL++ compiler to assist in the translation.
- supporting OPL like high-level modelling features in HAL is hard. The reason is that certain OPL features are not supported in HAL, and also translating recursive constraints is troublesome.
- the compiler generated HAL programs has a one-to-one correspondence with the OPL model
- constraint programming languages can be extended to provide high-level modelling support
- the syntax and expressiveness of high-level modelling component is restricted by the host language, in our case, HAL.
Page last updated : November 10, 2002