Skip to main content
SpringerLink
Log in

Modeling Engineering Structures with Constrained Objects

  • Conference paper
  • First Online:
Practical Aspects of Declarative Languages (PADL 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2257))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H. Ait-Kaci and A. Podelski. Towards a Meaning of LIFE. Journal of Logic Programming, 16(3):195–234, 1993.

    Article  MATH  MathSciNet  Google Scholar 

  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. A. Borning. The Programming Language Aspects of Thinglab, A Constraint-Oriented Simulation Laboratory. ACM TOPLAS, 3(4):252–287, 1981.

    Article  Google Scholar 

  4. E. C. Freuder. Partial Constraint Satisfaction. In Proc. 11thI ntl. Jt. Conf. on Artificial Intelligence, pages 278–283, 1989.

    Google Scholar 

  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. A. Borning G. Lopez, B. N. Freeman-Benson. Constraints and Object Identity. In Proc. European Conference On Object-Oriented Programming, 1994.

    Google Scholar 

  7. K. Govindarajan. Optimization and Relaxation in Logic Languages. PhD thesis, Department of Computer Science, SUNY-Buffalo, 1997.

    Google Scholar 

  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. 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. B. Horn. Constraint Patterns As a Basis For Object Oriented Programming. In Proc. Object-Oriented Programming, Systems, and Applications (OOPSLA), 1992.

    Google Scholar 

  11. B. Horn. Constrained Objects. PhD thesis, CMU, November 1993.

    Google Scholar 

  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. W. J. Leler. The Specification and Generation of Constraint Satisfaction Systems. Addison-Wesley, 1987.

    Google Scholar 

  14. G. Lopez. The Design and Implementation of Kaleidoscope, A Constraint Imperative Programming Language. PhD thesis, University of Washington, 1997.

    Google Scholar 

  15. R. Mayne and S. Margolis. Introduction to Engineering. McGraw-Hill, 1982.

    Google Scholar 

  16. B. Meyer. Eiffel: The Language. Prentice-Hall, 1992.

    Google Scholar 

  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. James Rumbaugh, Ivar Jacobson, and Grady Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1998.

    Google Scholar 

  19. G. Smolka. Constraint Programming in Oz (Abstract). In Proc. Intl. Conference on Logic Programming, pages 37–38, 1997.

    Google Scholar 

  20. P. van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, 1989.

    Google Scholar 

  21. Warmer, J., Kleppe, A. The Object Constraint Language. Addison-Wesley, 1999.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, State University of New York at Buffalo, 14260-2000, Buffalo, NY, USA

    Bharat Jayaraman & Pallavi Tambay

Authors
  1. Bharat Jayaraman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pallavi Tambay
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science Department, Brown University, Box 1910, 02912, Providence, RI, USA

    Shriram Krishnamurthi

  2. Department of Computer Science, SUNY at Stony Brook, 11794-4400, Stony Brook, NY, USA

    C. R. Ramakrishnan

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jayaraman, B., Tambay, P. (2002). Modeling Engineering Structures with Constrained Objects. In: Krishnamurthi, S., Ramakrishnan, C.R. (eds) Practical Aspects of Declarative Languages. PADL 2002. Lecture Notes in Computer Science, vol 2257. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45587-6_4

Download citation

  • DOI: https://doi.org/10.1007/3-540-45587-6_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43092-6

  • Online ISBN: 978-3-540-45587-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation