TY - GEN
T1 - Modeling engi neering structures with constrained objects
AU - Jayaraman, Bharat
AU - Tambay, Pallavi
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2002.
PY - 2002
Y1 - 2002
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/33750345763
U2 - 10.1007/3-540-45587-6_4
DO - 10.1007/3-540-45587-6_4
M3 - Conference contribution
AN - SCOPUS:33750345763
SN - 354043092X
SN - 9783540430926
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 28
EP - 46
BT - Practical Aspects of Declarative Languages - 4th International Symposium, PADL 2002, Proceedings
A2 - Krishnamurthi, Shriram
A2 - Ramakrishnan, C.R.
PB - Springer Verlag
T2 - 4th International Symposium on Practical Applications of Declarative Languages, PADL 2002
Y2 - 19 January 2002 through 20 January 2002
ER -