Modeling Object Oriented Constraint Programs in Z

Details Modeling Object Oriented Constraint Programs in Z Modeling Object Oriented Constraint Programs in Z

2003-12-12

arxiv.org/abs/cs/0312020v1

Computer Science

Artificial Intelligence

Scientific paper

Object oriented constraint programs (OOCPs) emerge as a leading evolution of constraint programming and artificial intelligence, first applied to a range of industrial applications called configuration problems. The rich variety of technical approaches to solving configuration problems (CLP(FD), CC(FD), DCSP, Terminological systems, constraint programs with set variables ...) is a source of difficulty. No universally accepted formal language exists for communicating about OOCPs, which makes the comparison of systems difficult. We present here a Z based specification of OOCPs which avoids the falltrap of hidden object semantics. The object system is part of the specification, and captures all of the most advanced notions from the object oriented modeling standard UML. The paper illustrates these issues and the conciseness and precision of Z by the specification of a working OOCP that solves an historical AI problem : parsing a context free grammar. Being written in Z, an OOCP specification also supports formal proofs. The whole builds the foundation of an adaptative and evolving framework for communicating about constrained object models and programs.

Affiliated with

Also associated with

No associations

Rating

Modeling Object Oriented Constraint Programs in Z does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Modeling Object Oriented Constraint Programs in Z, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Modeling Object Oriented Constraint Programs in Z will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-538859