Abstract
Cooperative distributed problem-solving systems (CDPS) offer computer methods for coordinating group expertise in the solving of problems. Much of the research to the present has been empirical testing of informal methods for implementation. There is a need for more formal methods to guide this process. Object-oriented methods provide a natural means of representing the essential features of CDPS in a formal, yet flexible, manner. Moreover, we can smoothly integrate object orientation and logic in a meaningful way, as demonstrated by the Harmony language. In this paper, we apply the Harmony framework to the field of CDPS. Our exposition takes the reader from conceptual development to fundamentals of an auditing application.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
M. Benda, V. Jaganathan and R. Dodhiawala, On optimal cooperation of knowledge sources, Technical Report, Boeing Advanced Technology Center, Boeing Computer Services, Seattle, WA, 1986.
A. Bond and L. Gasser, Readings in Artificial Intelligence, Morgan Kaufmann, San Mateo, CA, 1988.
A. Chang, A. Bailey and A. Whinston, Multi-auditor decision making on internal control system reliability: A default reasoning approach, Auditing: A Journal of Practice and Theory 12(2)(1993) 1–21.
S.W. Clyde, An initial theoretical foundation for object-oriented systems analysis and design, Ph.D. Dissertation, Computer Science Department, Brigham Young University, 1993.
E. Durfee, The distributed artificial intelligence melting pot, IEEE Transactions on Systems, Man, and Cybernetics 6(1991)1301–1305.
D.W. Embley, B.D. Kurtz and S.N. Woodfield, Object-Oriented Systems Analysis: A Model-Driven Approach, Yourdon Press Series, Prentice-Hall, Englewood Cliffs, NJ, 1992.
G. Howorka, L. Anderson, K. Ghoul and M. Hine, A distributed artificial intelligence coordination representation for the design of organizational decision support systems, Proceedings of the 5th Annual Conference on Intelligent Systems in Accounting, Finance, and Management, Stanford University, 1993.
R.B. Jackson, Object-oriented requirements specification: A model, a tool, and a technique, Ph.D. Dissertation, Computer Science Department, Brigham Young University, 1994.
S.W. Liddle, Object-oriented systems implementation: A model-equivalent approach, Ph.D. Dissertation, Computer Science Department, Brigham Young University, 1995.
S.W. Liddle, D.W. Embley and Y.K. Ng, Combining object orientation and logic in Harmony, manuscript submitted for review.
S.W. Liddle, D.W. Embley and S.N. Woodfield, A Seamless model for object-oriented systems development, Proceedings of the International Symposium on Object-Oriented Methodologies and Systems, ISOOMS 94, Palermo, Italy, September 1994, Lecture Notes in Computer Science, No. 858, Springer, New York, 1994, pp. 123–131.
S.W. Liddle, D.W. Embley and S.N. Woodfield, Unifying modeling and programming through an active, object-oriented, model-equivalent programming language, Proceedings of the 14th International Conference on Object-Oriented and Entity-Relationship Modeling, Gold Coast, Australia, December 1995, Lecture Notes in Computer Science, No. 1021, Springer, New York, 1995, pp. 55–64.
P. Singh, M. Huhns and L. Stephens, Declarative representations of multiagent systems. IEEE Transactions on Knowledge and Data Engineering 5(1993)721–739.
J.D. Ullman, Principles of Database and Knowledge-Base Systems, Vol. 1, Computer Science Press, Rockville, MD, 1988.
OSM Lab Home Page, World Wide Web URL http://osm7.cs.byu.edu.
Rights and permissions
About this article
Cite this article
Liddle, S.W., Hansen, J.V. An object-oriented method and language for implementing cooperative distributed problem solving. Annals of Operations Research 75, 147–169 (1997). https://doi.org/10.1023/A:1018903311881
Issue Date:
DOI: https://doi.org/10.1023/A:1018903311881