A distributed cooperative agents architecture for software development

  • Jeffrey J. -P. Tsai
  • Ray-Yuan Sheu
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 611)


This paper presents a distributed cooperative agents architecture for software development using a frame-and-rule oriented requirements language (FRORL). FRORL is a logic-based requirements specification language and serves as multiple roles for representing knowledge, for interface language between cooperative agents and knowledge and data bases, and for knowledge communications among distributed cooperative intelligent agents. The distributed cooperative agents environment includes a frame-and-rule oriented requirements specifications language, an object-oriented specification acquisition methodology, the knowledge bases for software development using the paradigm of intelligent and cooperative information systems, and intelligent agents for all phases of software life cycle. All the software agents for software development are either logically or geographically distributed over network environment. The specifications acquisition methodology is used to guide software developers in performing object-oriented modeling of application problem domains. The system is designed to support rapid prototyping for validation of specifications in multiple abstraction layers through frame hierarchies. The specifications represented in FRORL can be transformed into various kinds of traditional or object-oriented programming languages.


Software methodology rapid prototype specifications acquisition frame production rule knowledge representation logic requirements specification language interoperability cooperation of intelligent agents 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Brod88]
    Brodie, M. L., “Future Intelligent Information Systems: AI and Database Technologies Working Together,” in Reading in Artificial Intelligence and Databases, eds. J. Mylopoulos and M. L. Brodie, Morgan Kaufmann, San Mateo, CA, 1998.Google Scholar
  2. [Clar86]
    Clark, K. L. and S. Gregory, “PARLOG: Parallel Programming in Logic,” ACM Trans. Program Lang. Syst., Vol.8, No.1, 1986, pp. 1–49.Google Scholar
  3. [Clo84]
    Clocksin, W. F. and C. S. Mellish, Programming in Prolog, Springer-Verlag, New York, 1984.Google Scholar
  4. [Gass87]
    Gasser, L., C. Braganza, and N. Herman, “Implementing Distributed AI Systems Using MACE,” Proc. IEEE Applications of AI, 1987, pp.315–320.Google Scholar
  5. [Kow84]
    Kowalski, R., “Software Engineering and Knowledge Engineering in New generalization computing,” Future Generation Computer Systems, January 1984, pp.39–50.Google Scholar
  6. [Kow85]
    Kowalski, R., “The Relation Between Logic Programming and Logic Specification,” Mathematical Logic and Programming Languages, eds C.A.R. Hoare, J.c. Shepherdson, Prentice-Hall, Englewood Cliffs, 1985, pp.11–24Google Scholar
  7. [Mylo90]
    Mylopoulos, J., A. Borgida, M. Jarke, and M. Koubarakis, “Telos: A Language for Representing Knowledge about Information Systems,” Technical Report KRR-TR-89-1, University of Toronto, August 1990.Google Scholar
  8. [Papa90]
    Papazoglou, M. P., “Knowledge-Driven Distributed Information Systems,” Proc. of IEEE COMPSAC '90, Oct. 1990, pp.671–679.Google Scholar
  9. [Rous91]
    Roussopoulos, N., L. Mark, T. Sellis, and C. Faloutsos, “An Architecture for High Performance Engineering Information Systems,” IEEE Trans. on Software Eng., Vol. 17, No.1, Jan. 1991, pp.22–33.Google Scholar
  10. [Shapi87]
    Shapiro, E., Concurrent Prolog, MIT Press, Cambridge, MA, 1987.Google Scholar
  11. [Tsai88a]
    Tsai, J. J.P. “A Knowledge-Based Approach to Software Design,” IEEE Journal on Selected Areas in Communication, Vol. 6, No. 5, June 1988, pp. 828–841.Google Scholar
  12. [Tsai88b]
    Tsai, J.-P., T. Weigert, and M. Aoyama, “A Declarative Approach to Software Requirement Specification Language,” Proc. IEEE Computer Languages Conf., Nov. 1988, pp.414–421.Google Scholar
  13. [Tsai89a]
    Tsai, J. J.-P. and R.-Y. Sheu, “A Knowledge-Based System for Ada Software Development,” Artificial Intelligence & Ada, Fifth Annual Conf., Reston, Virginia, Nov. 1989, pp. 137–148.Google Scholar
  14. [Tsai89b]
    Tsai, J. J.-P. and A. Liu, “A Knowledge-Based System for Rapid Prototyping,” Journal of Knowledge-Based Systems, Vol.2, No.4, 1989, pp.239–248.Google Scholar
  15. [Tsai91]
    Tsai, J. J.-P., and T. Weigert, “HCLIE: A Logic-Based Requirements Language for New Software Engineering Paradigms,” IEE Software Engineering Journal, Vol. 6, No. 4, July 1991, pp. 137–151.Google Scholar
  16. [Tsai92]
    Tsai, J. J.-P., T. Weigert, and H. C. Jang, “A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis,” to appear in IEEE Trans. on Software Eng., 1992.Google Scholar
  17. [Tsai93]
    Tsai, J. J.-P., and T. Weigert, “A Computationally Tractable Non-Monotonic Logic,” to appear in IEEE Trans, on Knowledge and Data Eng., 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Jeffrey J. -P. Tsai
    • 1
  • Ray-Yuan Sheu
    • 1
  1. 1.Department of Electrical Engineering and Cmputer ScienceUniversity of IllinoisChicago

Personalised recommendations