Abstract
In this paper we propose a distributed object oriented logic programming language, called DK_Parlog++, that we have developed at Imperial College, as a powerful tool for enterprise modelling and for prototyping an enterprise integration framework. We have used the language to develop a model of our own department and to prototype a generic enterprise integration framework based on role theory.
We adopt an agent based approach, the agents being essentially distributed active objects containing both procedural methods and public knowledge, the knowledge being expressed as Prolog facts and rules. Each agent is an instance of some agent class. The agents interact with each other by sending messages to request services, and by remote queries to access each others public knowledge. The agents can either be used as a coordination layer for an enterprise integration prototype or to provide an active model of the activities of the enterprise. Each agent inherits all the methods and knowledge of its class and super classes. It has a ‘state’ partly encoded in its state variables and partly in a dynamic component of its public knowledge. The methods of the agents will be the activity rules, the procedures of the enterprise. The public knowledge of each agent can be used to express the constraints and preconditions of these procedures, or to describe the effects of the procedures. The knowledge, distributed over the the agents and their classes, comprise a distributed OO knowledge base for the activities of the organisation.
This paper assumes acquaintance with the concepts of concurrent object oriented programming and logic programming, particularly Prolog.
Chapter PDF
Similar content being viewed by others
Keywords
References
G. Agha and C. Hewitt. Concurrent programming using actors. In A. Yonezawa and M. Tokoro, editors, Object Oriented Concurrent Programming. MIT Press, 1987.
M. Barbuceanu and M.S. Fox. The Information Agent: An Infrastructure Agent Supporting Collabortive Enterprise Architectures. IEEE Computer Science Press, Morgantown, WV., 1994.
K. L. Clark and T. I. Wang. Distributed Object Oriented Logic Programming. ICOT Fifth Generation Computer System Workshop on Heterogeneous Cooperative Knowledge Bases, 1994.
K.L. Clark and S. Gregory. Parlog:parallel programming in logic. ACM Toplas, 8 (1): 1–49, 1986.
Y. Cosmadopoulos and D. A. Chu. IC prolog II reference manual. Technical report, Logic Programming Section, Dept of Computing, Imperial College, London, 1993.
A. Davison. Polka: a parlog object oriented language. Internal report, Dept. of Computing, Imperial College, London, London, 1988.
M.S. Fox. Issues in enterprise modelling. Proceedings of the IEEE Conference on Systems, Man and Cybernetics, 1993.
M.S. Fox, M. Barbuceanu, and M. Gruninger. An organisation ontology for enterprise modelling: Preliminary concepts for linking structure and behaviour. In Fourth Workshop on Enabling Technologies - Infrastructures for Collaborative Enterprises, West Virginia University, 1995.
M.S. Fox and M. Gruninger. Ontologies for enterprise integration. In Proceedings of the 2nd Conference on Cooperative Informatio Syst, Toronto, Ontario, 1994.
John Fraser. Managing change through enterprise models. In R Milner and A. Mont-gomery, editors, Applications and Innovations in Expert Systems II. SGES Publications, 1994.
F. G. McCabe and Keith L. Clark. Programming in April:An Agent PRocesss Interaction Language. In Intelligent Agents. Springer Verlag, 1995.
Nikolaos Skarmeas. Organizations Through Roles and Agents. COOP’95: International Workshop on the Design of Cooperative Systems, pages 385–404, January 1995.
Nikolaos Skarmeas. Process Based Support for Offices. PhD Thesis, forthcoming, 1996.
Jeff Y. C. Pan and Jay M. Tenenbaum. An intelligent agent framework for enterprise integration. IEEE Transaction on Systems, Man and Cybernetics, 21 (6): 1391–1407, November 1991.
E. Shapiro and A. Takeuchi. Objected oriented programming in concurrent prolog. New Generation Computing, 1(1), 1983.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Clark, K.L., Skarmeas, N., Wang, T.I. (1996). Distributed Object Oriented Logic Programming as a tool for Enterprise Modelling. In: Bernus, P., Nemes, L. (eds) Modelling and Methodologies for Enterprise Integration. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34983-1_24
Download citation
DOI: https://doi.org/10.1007/978-0-387-34983-1_24
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5862-7
Online ISBN: 978-0-387-34983-1
eBook Packages: Springer Book Archive