Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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.
Clark, K. L. and S. Gregory, “PARLOG: Parallel Programming in Logic,” ACM Trans. Program Lang. Syst., Vol.8, No.1, 1986, pp. 1–49.
Clocksin, W. F. and C. S. Mellish, Programming in Prolog, Springer-Verlag, New York, 1984.
Gasser, L., C. Braganza, and N. Herman, “Implementing Distributed AI Systems Using MACE,” Proc. IEEE Applications of AI, 1987, pp.315–320.
Kowalski, R., “Software Engineering and Knowledge Engineering in New generalization computing,” Future Generation Computer Systems, January 1984, pp.39–50.
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–24
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.
Papazoglou, M. P., “Knowledge-Driven Distributed Information Systems,” Proc. of IEEE COMPSAC '90, Oct. 1990, pp.671–679.
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.
Shapiro, E., Concurrent Prolog, MIT Press, Cambridge, MA, 1987.
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.
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.
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.
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.
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.
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.
Tsai, J. J.-P., and T. Weigert, “A Computationally Tractable Non-Monotonic Logic,” to appear in IEEE Trans, on Knowledge and Data Eng., 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tsai, J.J.P., Sheu, RY. (1992). A distributed cooperative agents architecture for software development. In: Papazoglou, M.P., Zeleznikow, J. (eds) The Next Generation of Information Systems: From Data to Knowledge. IJCAI 1991. Lecture Notes in Computer Science, vol 611. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55616-8_53
Download citation
DOI: https://doi.org/10.1007/3-540-55616-8_53
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55616-9
Online ISBN: 978-3-540-47262-9
eBook Packages: Springer Book Archive