Article

Free access

Modeling dynamic collections of interdependent objects using path-based rules

Authors:

Peter F. Patel-Schneider,

Anil MishraAuthors Info & Claims

OOPSLA '97: Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Pages 77 - 92

https://doi.org/10.1145/263698.263723

Published: 09 October 1997 Publication History

Abstract

Standard object-oriented languages do not provide language support for modeling changing collections of interdependent objects. We propose that R++, an integration of the rule and object-oriented paradigms, provides a mechanism for easily implementing such models. R++ extends C++ by adding a new programming construct called the path-based rule. Such data-driven rules are restricted to follow pointers between objects, and are like "automatic methods" that are triggered by changes to monitored objects. Path-based rules encourage a more abstract level of programming, and unlike previous rule integrations, are not at odds with the object-oriented paradigm and offer performance advantages for natural applications.

References

[1]

Patrick Albert. ILog Rules, embedding rules in C++: Results and limits. In Position Papers for the OOP- SLA '94 Embedded Object-Oriented Production Systems Workshop (EOOPS), October 1994.

[2]

E. Anwar, L. Maugis, and S. Chakravarthy. A new perspective on rule support for object-oriented databases. In Proceedings o/ the 1998 A GM SIGMOD International Conference on Mangement of Data, pages 99-- 108) 1993.

Digital Library

[3]

David A. Brant, Timothy Grose, Bernie Lofaso, and Daniel P. Miranker. Effects of database size on rule system performance: Five case studies. In Proceedings of the Seventeenth International Conference on Very Large Data Bases, pages 287-296, 1991.

Digital Library

[4]

A. P. Buchmann, J. Zimmermann, 3. A. Blakdey, and D. L. Wells. Building an integrated active oodbms: Requirements, architecture, and design decisions. In Proceedings of the 11th International Conference on Data Engineering, 1995.

Digital Library

[5]

Thomas A. Cooper and Nancy Wogrin. Rule-Based Programming with OPSS. Morgan Kaufmarm, San Matee, California, 1988.

Digital Library

[6]

Stephen Correl and Daniel P. Miranker. 0n isolation, concurrency, and the venus rule language. In Proceedings of the Jth International Conference on Information and Knowledge Management (CIKM'95), 1995.

Digital Library

[7]

J. M. Crawford. Access-Limited Logic--A langtiage for knowledge representation. PhD thesis, Department of Computer Sciences, The University of Texas at Austin, 1990. Also published as Technical Report AI 90-141, Artificial Intelligence Laboratory, The University of Texas at Austin.

Digital Library

[8]

James Crawford, Daniel Dvorkk, Diane Litman, Anil Mishra, and Peter F. Patel-Schneider. Device representation and reasoning with affective relations. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pages 1814-1820. International 3oint Committee on Artificial Intelligence, August 1995.

Digital Library

[9]

James Crawford, Daniel Dvorak, Diane Litman, Anil Mishra, and Peter F. Patel-Schneider. Path-based rules in object-oriented programming. In Proceedings of the Thirteenth National Conference on Artificial Intelligence, Portland, Oregon, August 1996. American Association for Artificial Intelligence.

Digital Library

[10]

James M. Crawford and Benjamin Kuipers. Negation and proof by contradiction in access-limited logic, in Proceedings of the Ninth National Conference on Artificial Intelligence, pages 897-903. American Association for Artificial intelligence, July 1991.

[11]

U. Dayal, B. Blaustein, A. Buchmarm, S. Chakravarthy, D. Goldhirsch, M. Hsu, R. Ladin, D. McCarthy, and A. Rosenthal. The hipac project;: Combining active databases and timing constraints. A CM Sigmod Record, 17(1), 1988.

Digital Library

[12]

O. Diaz, N. Paten, and P. Gray. Rule management in object-oriented databases: A unified approach. In Proceedings of VLDB, 1991.

Digital Library

[13]

Charles L. Forgy. RETE: A fast algorithm for the many pattern/many object pattern matching prob!em. Artificial intelligence, 19:17-37, 1982.

Digital Library

[14]

Charles L. Forgy. RAL/C and RAL/C++: Rule-based extensions to C and C-l-+. In Position Papers for the OOPSLA'94 Embedded Object-Oriented Production Systems Workshop (EOOPS}, October 1994.

[15]

Stella Gatziu and Klaus R. Dittrich. Events in an active object-oriented database system, in Proceedings of the 1st international Workshop on Rules in Database Systems, 1993.

[16]

Narain H. Gehani and H. V. Jagadish. Active database facilities in Ode. In Proceedings of the Seventeenth International Conference on Very Large Data Bases, pages 327-336, 1991.

Digital Library

[17]

Narain H. Gehani and H. V. Jagadish. Ode as an active database: Constraints and triggers, In Widom and Ceri {30}, pages 207-232.

[18]

The Haley Enterprise. Rete++: Seamless Integration of Rules and Objects Using the Rete Algorithm and U~~, 1993.

[19]

Richard Helm, Ion M. Holland, and Dipayan Can. gopadhyay. Contracts: Specifying behavioral composl. tions in object-oriented systems. In Proceedings OOP. SLA '90, 1990.

Digital Library

[20]

Inference Corporation. Art Reference Manual, 1987,

[21]

Haim Kilov and V. J. Harvey, editors. Filth Workshop on Specification of Behavioral Semantics, OOPSLA 'gO, San Jose, California, 1996.

[22]

Daniel P. Miranker, Frederic H, Burke, Jeff J. Steelet David R. Haug, and John Kolts. The C++ embeddable .rule system. International Journal on A rtifioial Intelligence Tools, 2(1):33-46, 1993.

[23]

Anil Mishra, 3ohannes P. Ros, Anoop Singhal, Gary Weiss, Diane Litman, Peter F. Patel-Schneider, Daniel DvoI:ak, and James Crawford. R++: Using rules in object-oriented designs. In Addendum to Object Oriented Programming Systems, Languages, and Applications. Association for Computing Machinery, 1996.

[24]

ObjectSpace. STL Toolkit, Version 2.0, 1996.

[25]

Spyros Potamianos and Michael Stonebraker. The POSTGRES rule system. In Widom and Ceri {30}, pages 43-61.

[26]

Divesh Srivastava, Raghu Ramakrishnan, S. Sudarshan, and Praveen Seshadri. Coral++: Adding objectorientation to a logic database language. In Proceedings of the Nineteenth International Conference on Very Large Databases, 1993.

Digital Library

[27]

Bjarne Stroustrup. The C-I--i- Programming Language, Addison Wesley, Reading, Massachusetts, second edition, 1991.

Digital Library

[28]

USL. U+-I- Standard Components Release 3.0 Docu. m~entation, 1992.

[29]

Jennifer Wjdom. The Starburst rule system, in Widom and Ceri {30}, pages 87-109.

[30]

Jennifer Widom and Stefano Ceil, editors. Activv Database Systems: Triggers and Rules for Advanced Database Processing. Morgan Kaufmann, San I~an. cisco, California, 1996.

Digital Library

[31]

Patrick Henry Winston, editor. Artificial Intelllgence. Addison-Wesley, Reading, Massachusetts, 2nd edition, 1984.

Cited By

Demsky BErnst MGuo PMcCamant SPerkins JRinard MPollock LPezzè M(2006)Inference and enforcement of data structure consistency specificationsProceedings of the 2006 international symposium on Software testing and analysis10.1145/1146238.1146266(233-244)Online publication date: 21-Jul-2006
https://dl.acm.org/doi/10.1145/1146238.1146266
Demsky BRinard M(2006)Goal-Directed Reasoning for Specification-Based Data Structure RepairIEEE Transactions on Software Engineering10.1109/TSE.2006.12232:12(931-951)Online publication date: 1-Dec-2006
https://dl.acm.org/doi/10.1109/TSE.2006.122
Demsky BRinard MRoman GGriswold WNuseibeh B(2005)Data structure repair using goal-directed reasoningProceedings of the 27th international conference on Software engineering10.1145/1062455.1062499(176-185)Online publication date: 15-May-2005
https://dl.acm.org/doi/10.1145/1062455.1062499
Show More Cited By

Index Terms

Modeling dynamic collections of interdependent objects using path-based rules

Recommendations

Modeling dynamic collections of interdependent objects using path-based rules

Standard object-oriented languages do not provide language support for modeling changing collections of interdependent objects. We propose that R++, an integration of the rule and object-oriented paradigms, provides a mechanism for easily implementing ...
Path-based rules in object-oriented programming
AAAI'96: Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1

Object-oriented programming has recently emerged as one of the most important programming paradigms. While object-oriented programming clearly owes an intellectual debt to AI, it appears to be displacing some AI techniques, such as rule-based ...
Dynamic Refinement of Classification Rules
ICTAI '02: Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence

Given a set of training examples in the form of (input, output) pairs, induction generates a set of rules that when applied to an input example, can come up with a target output or class for that example. At deduction time, these rules can be applied to ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

OOPSLA '97: Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

October 1997

345 pages

ISBN:0897919084

DOI:10.1145/263698

Chairmen:
Mary Loomis
Hewlett-Packard Labs
,
Toby Bloom
Engage Technologies, Inc.
,
Editor:
A. Michael Berman

ACM SIGPLAN Notices Volume 32, Issue 10
Oct. 1997
344 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/263700
Chairmen:
Mary Loomis
Hewlett-Packard Labs
,
Toby Bloom
Engage Technologies, Inc.
,
Editor:
A. Michael Berman
Issue’s Table of Contents

Copyright © 1997 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 October 1997

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

OOPSLA97

Sponsor:

SIGPLAN

OOPSLA97: Conference on Object Oriented Programming Systems Languages and Applications

October 5 - 9, 1997

Georgia, Atlanta, USA

Acceptance Rates

Overall Acceptance Rate 268 of 1,244 submissions, 22%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
427
Total Downloads

Downloads (Last 12 months)51
Downloads (Last 6 weeks)27

Reflects downloads up to 26 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Demsky BErnst MGuo PMcCamant SPerkins JRinard MPollock LPezzè M(2006)Inference and enforcement of data structure consistency specificationsProceedings of the 2006 international symposium on Software testing and analysis10.1145/1146238.1146266(233-244)Online publication date: 21-Jul-2006
https://dl.acm.org/doi/10.1145/1146238.1146266
Demsky BRinard M(2006)Goal-Directed Reasoning for Specification-Based Data Structure RepairIEEE Transactions on Software Engineering10.1109/TSE.2006.12232:12(931-951)Online publication date: 1-Dec-2006
https://dl.acm.org/doi/10.1109/TSE.2006.122
Demsky BRinard MRoman GGriswold WNuseibeh B(2005)Data structure repair using goal-directed reasoningProceedings of the 27th international conference on Software engineering10.1145/1062455.1062499(176-185)Online publication date: 15-May-2005
https://dl.acm.org/doi/10.1145/1062455.1062499
Demsky BRinard M(2005)Data structure repair using goal-directed reasoningProceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.10.1109/ICSE.2005.1553560(176-185)Online publication date: 2005
https://doi.org/10.1109/ICSE.2005.1553560
Moganti MKnittel S(2005)A framework for understanding network intelligenceBell Labs Technical Journal10.1002/bltj.22706:1(163-191)Online publication date: 20-Sep-2005
https://doi.org/10.1002/bltj.2270
Lencevicius RHölzle USingh A(2003)Dynamic Query-Based Debugging of Object-Oriented ProgramsAutomated Software Engineering10.1023/A:102181691788810:1(39-74)Online publication date: 1-Jan-2003
https://dl.acm.org/doi/10.1023/A%3A1021816917888
Litman DPatel-Schneider PMishra ACrawford JDvorak D(2002)R++IEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2002.100034714:3(638-658)Online publication date: 1-May-2002
https://dl.acm.org/doi/10.1109/TKDE.2002.1000347
Needham DDemurjian SPeters T(1999)Towards a distributed object-oriented propagation model using Ada95ACM SIGAda Ada Letters10.1145/319295.319324XIX:3(203-210)Online publication date: 1-Sep-1999
https://dl.acm.org/doi/10.1145/319295.319324
Needham DDemurjian SPeters THart HTaft TGasperoni F(1999)Towards a distributed object-oriented propagation model using Ada95Proceedings of the 1999 annual ACM SIGAda international conference on Ada10.1145/319294.319324(203-210)Online publication date: 1-Sep-1999
https://dl.acm.org/doi/10.1145/319294.319324
Taentzer G(1999)Adding visual rules to object-oriented modeling techniquesProceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275)10.1109/TOOLS.1999.779019(275-284)Online publication date: 1999
https://doi.org/10.1109/TOOLS.1999.779019
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Figures

Tables

Media

View Table of Conten