Advertisement

Modeling Engineering Structures with Constrained Objects

  • Bharat Jayaraman
  • Pallavi Tambay
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2257)

Abstract

We present a novel programming language based on the concept of constrained objects for compositional and declarative modeling of engineering structures. A constrained object is an object whose internal state is governed by a set of (declarative) constraints. When several constrained objects are aggregated to form a complex object, their internal states might further have to satisfy interface constraints. The resultant behavior of the complex object is obtained by logical inference and constraint satisfaction. Our modeling paradigm supports constraints, including quantified and conditional constraints, as well as preferences. We show that, for the domain of engineering modeling, the paradigm of constrained objects is superior to both a pure object-oriented language as well as a pure constraint language. Our current prototype includes tools for authoring constrained-object class diagrams; a compiler that translates class diagrams to CLP(R) code; and domain-specific visual interfaces for building and testing constrained objects.

Keywords

Constraint Satisfaction Class Diagram Complex Object Gear Train Visual Interface 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    H. Ait-Kaci and A. Podelski. Towards a Meaning of LIFE. Journal of Logic Programming, 16(3):195–234, 1993.zbMATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    A. Borning B. N. Freeman-Benson. Integrating Constraints with an Object Oriented Language. In Proc. European Conference On Object-Oriented Programming, pages 268–286, 1992.Google Scholar
  3. 3.
    A. Borning. The Programming Language Aspects of Thinglab, A Constraint-Oriented Simulation Laboratory. ACM TOPLAS, 3(4):252–287, 1981.CrossRefGoogle Scholar
  4. 4.
    E. C. Freuder. Partial Constraint Satisfaction. In Proc. 11thI ntl. Jt. Conf. on Artificial Intelligence, pages 278–283, 1989.Google Scholar
  5. 5.
    E. C. Freuder and R. J. Wallace. Heuristic Methods for Over-Constrained Constraint Satisfaction Problems. In Proc. CP’95 Workshop on Overconstrained Systems, 1995.Google Scholar
  6. 6.
    A. Borning G. Lopez, B. N. Freeman-Benson. Constraints and Object Identity. In Proc. European Conference On Object-Oriented Programming, 1994.Google Scholar
  7. 7.
    K. Govindarajan. Optimization and Relaxation in Logic Languages. PhD thesis, Department of Computer Science, SUNY-Buffalo, 1997.Google Scholar
  8. 8.
    K. Govindarajan, B. Jayaraman, and S. Mantha. Optimization and Relaxation in Constraint Logic Languages. In Proc. 23rd ACM Symp. on Principles of Programming Languages, pages 91–103, 1996.Google Scholar
  9. 9.
    R. Helm, I. Holland, and D. Gangopadhyay. Contracts: Specifying Behavioural Compositions in Object-Oriented Systems. In Proc. Object-Oriented Programming, Systems, and Applications (OOPSLA), 1990.Google Scholar
  10. 10.
    B. Horn. Constraint Patterns As a Basis For Object Oriented Programming. In Proc. Object-Oriented Programming, Systems, and Applications (OOPSLA), 1992.Google Scholar
  11. 11.
    B. Horn. Constrained Objects. PhD thesis, CMU, November 1993.Google Scholar
  12. 12.
    J. Jaffar and J. L. Lassez. Constraint Logic Programming. In Proc. 14thA CM Symp. on Principles of Programming Languages, pages 111–119, 1987.Google Scholar
  13. 13.
    W. J. Leler. The Specification and Generation of Constraint Satisfaction Systems. Addison-Wesley, 1987.Google Scholar
  14. 14.
    G. Lopez. The Design and Implementation of Kaleidoscope, A Constraint Imperative Programming Language. PhD thesis, University of Washington, 1997.Google Scholar
  15. 15.
    R. Mayne and S. Margolis. Introduction to Engineering. McGraw-Hill, 1982.Google Scholar
  16. 16.
    B. Meyer. Eiffel: The Language. Prentice-Hall, 1992.Google Scholar
  17. 17.
    R. Peak. Automating product data-driven analysis using multifidelity multidirectional constrained objects. Invited Presentation, NASA STEP for Aerospace Workshop, Jet Propulsion Lab, Pasadena CA, Jan 2000.Google Scholar
  18. 18.
    James Rumbaugh, Ivar Jacobson, and Grady Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1998.Google Scholar
  19. 19.
    G. Smolka. Constraint Programming in Oz (Abstract). In Proc. Intl. Conference on Logic Programming, pages 37–38, 1997.Google Scholar
  20. 20.
    P. van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, 1989.Google Scholar
  21. 21.
    Warmer, J., Kleppe, A. The Object Constraint Language. Addison-Wesley, 1999.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Bharat Jayaraman
    • 1
  • Pallavi Tambay
    • 1
  1. 1.Department of Computer Science and EngineeringState University of New York at BuffaloBuffaloUSA

Personalised recommendations