A Service-Based Agent Framework for Distributed Symbolic Computation

  • Ralf-Dieter Schimkat
  • Wolfgang Blochinger
  • Carsten Sinz
  • Michael Friedrich
  • Wolfgang Küchlin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1823)


We present Okeanos, a distributed service-based agent framework implemented in Java, in which agents can act autonomously and make use of stationary services. Each agent’s behaviour can be controlled individually by a rule-based knowledge component, and cooperation between agents is supported through the exchange of messages at common meeting points (agent lounges). We suggest this general scheme as a new parallelization paradigm for Symbolic Computation, and demonstrate its applicability by an agent-based parallel implementation of a satisfiability (SAT) checker.


Mobile Agent Symbolic Computation Code Size Calculation Service Unit Clause 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    A. Biere, A. Cimatti, E. Clarke, and Y. Zhu. Symbolic Model Checking without BDDs. In Tools and Algorithms for the Analysis and Construction of Systems (TACAS’99), number 1579 in LNCS. Springer-Verlag, 1999.CrossRefGoogle Scholar
  2. 2.
    D. Caromel, W. Klauser, and J. Vayssiere. Towards Seamless Computing and Metacomputing in Java. Concurrency: Practice and Experience, 10(11–13):1043–1061, 1998.CrossRefGoogle Scholar
  3. 3.
    M. Davis and H. Putnam. A Computing Procedure for Quantification Theory. In Journal of the ACM, volume 7, pages 201–215, 1960.zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    M. Fayad and D. Schmidt. Object-Oriented Application Frameworks. Communications of the ACM, 40(10), October 1997.Google Scholar
  5. 5.
    T. Finn, Y. Labrou, and J. Mayfield. KQML as an Agent Communication Language. In J.M. Bradshaw, editor, Software Agents, pages 291–316. MIT Press, 1997.Google Scholar
  6. 6.
    E.J. Friedman-Hill. Jess, The Java Expert System Shell. Available at the URL:, 1999.
  7. 7.
    M.R. Genesereth. An Agent-Based Framework for Interoperability. In J.M. Bradshaw, editor, Software Agents, pages 317–345. MIT Press, 1997.Google Scholar
  8. 8.
    M. Ghanea-Hercock, J.C. Collis, and D.T. Ndumu. Heterogenous Mobile Agents for Distributed Processing. In Proceedings of the Third International Conference on Autonomous Agents (Agents’ 99), May 1999. (Workshop on Agent-based Highperformance Computing, Seattle, USA).Google Scholar
  9. 9.
    J. Gosling and K. Arnold. The Java Programming Language. Addison-Wesley, Reading, Massachusetts, 1996.zbMATHGoogle Scholar
  10. 10.
    R. Johnson and B. Foote. Designing Reusable Classes. Object-Oriented Programming, 1(2):22–35, 1988.Google Scholar
  11. 11.
    R. Johnson and V. Russo. Reusing Object-Oriented Design. Technical Report 91-1996, University of Illinois, 1991.Google Scholar
  12. 12.
    H. Kautz and B. Selman. Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search. In Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96), 1996.Google Scholar
  13. 13.
    E.A. Kendall and M.T. Malkoun. The Layered Agent Patterns. Available at the URL:, 1997.
  14. 14.
    G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, J.-M. Loingtier C. Lopes, and J. Irwin. Aspect-Oriented Programming. Technical Report SPL97-008 P9710042, XEROX Palo Alto Res. Center, February 1997.Google Scholar
  15. 15.
    W. Küchlin and C. Sinz. Proving Consistency Assertions for Automotive Product Data Management. In I. P. Gent and T. Walsh, editors, Journal of Automated Reasoning, volume 24, pages 145–163. Kluwer Academic Publishers, Feb. 2000.Google Scholar
  16. 16.
    F. Massacci and L. Marraro. Logical Cryptoanalysis as a SAT Problem. In I. P. Gent and T. Walsh, editors, Journal of Automated Reasoning, volume 24, pages 165–203. Kluwer Academic Publishers, Feb. 2000.Google Scholar
  17. 17.
    M. Philippsen and M. Zenger. JavaParty — Transparent Remote Objects in Java. Concurrency: Practice and Experience, 9(11):1225–1242, 1997.CrossRefGoogle Scholar
  18. 18.
    R. Schimkat, S. Müller, W. Küchlin, and R. Krautter. A Lightweight, Message-Oriented Application Server for the WWW. In ACM 2000 Symposium on Applied Computing, Como, Italy, March 2000. Association for Computing Machinery.Google Scholar
  19. 19.
    H. Zhang, M. P. Bonacina, and J. Hsiang. PSATO: A Distributed Propositional Prover and its Application to Quasigroup Problems. In Journal of Symbolic Computation, volume 21, pages 543–560. Academic Press, 1996.zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Ralf-Dieter Schimkat
    • 1
  • Wolfgang Blochinger
    • 1
  • Carsten Sinz
    • 1
  • Michael Friedrich
    • 1
  • Wolfgang Küchlin
    • 1
  1. 1.Symbolic Computation Group, WSI for Computer ScienceUniversity of TübingenTübingenGermany

Personalised recommendations