Constraints as Mobile Specifications in E-Commerce Applications
(2001) Constraints as Mobile Specifications in E-Commerce Applications. In Meersman, Robert and Dillon, Tharam and Aberer, Karl, Eds. Proceedings IFIP Working Conference on Database Semantics (DS-9), pages pp. 357-379, Hong Kong.
This document is not available online.
We show how quantified constraints expressed in a sub-language of first-order logic, against a shared data model that is free to evolve, provide an excellent way of transporting domain-specific semantics along with the data. In this form it can be processed automatically by various intelligent components, instead of requiring human intervention, as it would do if expressed in natural language. It can also be combined with other contraints, by algebraic transformation against common data model, and then passed to an appropriate solver. These techniques have been tested in a classic e-business application scenario: configuring a product from parts selected from e-vendors' catalogues, whilst conforming to requirements specific to the parts, expressed as mobile constraints.
| Subjects: | AKT Challenges > Knowledge reuse |
|---|---|
| ID Code: | 58 |
| Deposited By: | Hui, Dr Kit-ying |
| Deposited On: | 12 April 2002 |
Contact the site administrator at: hg@ecs.soton.ac.uk