Advertisement

CKBS ’90 pp 223-239 | Cite as

Modeling Concurrency in Rule-Based Development Environments

  • Naser S. Barghouti
  • Gail E. Kaiser
Conference paper

Abstract

We investigate the problem of cooperation among multiple agents in a class of knowledge-based systems called rule-based development environments (RBDEs). RBDEs use knowledge about the specific development process of a software project in order to provide automated assistance to developers working on the project. The knowledge is in the form of rules, where each rule models a development activity. The rules operate on the project components which are abstracted as attributed objects and stored in a database. Each user command corresponds to a rule, which is fired when the user requests the command. The activity encapsulated in the rule might introduce changes in the database that satisfy the condition of one or more other rules, causing the firing of these rules. The database is thus treated as the working memory of the rule system. When multiple developers request commands concurrently, the rule chains initiated by their commands access the same database concurrently, with the potential of conflicting access. We investigate the nature of these conflicts and how to detect them. We outline an approach for using knowledge about the project in order to resolve the conflicts without obstructing cooperation among the users. The full paper appears in IEEE Expert,December 1990.

Keywords

Rule Chain Potential Conflict Conflict Situation Control Rule Concurrent Task 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BK91]
    N. S. Barghouti and G. E. Kaiser. Concurrency control in advanced database applications. ACM Computing Surveys, 1991. To appear. Also available as Columbia University Department of Computer Science Technical Report number CUCS-425–89, May 1990.Google Scholar
  2. [CLF88]
    University of Southern California, Information Sciences Institute, Marina del Rey CA. CLF Manual, January 1988.Google Scholar
  3. [EGLT76]
    K. Eswaran, J. Gray, R. Lorie, and I. Traiger. The notions of consistency and predicate locks in a database system. Communications of the ACM, 19 (11): 624–632, November 1976.CrossRefMATHMathSciNetGoogle Scholar
  4. [Gup86]
    ]A. Gupta.Parallelism in Production Systems. PhD thesis, Carnegie Mellon University, Department of Computer Science, March 1986. Technical Report CMU-CS-86–122.Google Scholar
  5. [HL88]
    K. E. Huff and V. R. Lesser. A plan-based intelligent assistant that supports the software development process. In ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, pages 97–106, Boston, MA, November 1988. ACM Press. Special issue of SIGPLAN Notices, 24(2), February 1989.Google Scholar
  6. [KBFS88]
    G. E. Kaiser, N. S. Barghouti, P. H. Feiler, and R. W. Schwanke. Database support for knowledge-based engineering environments. IEEE Expert, 3 (2): 18–32, Summer 1988.Google Scholar
  7. [KBS90]
    G. E. Kaiser, N. S. Barghouti, and M. H. Sokolsky. Preliminary experience with process modeling in the marvel software development environment kernel. In 23rd Annual Hawaii International Conference on System Sciences, volume II, pages 131–140, Kona HI, January 1990.Google Scholar
  8. [KFP88]
    G. E. Kaiser, P. H. Feiler, and S. S. Popovich. Intelligent assistance for software development and maintenance. IEEE Software, 5 (3): 40–49, May 1988.CrossRefGoogle Scholar
  9. [MR88]
    N. H. Minsky and D. Rozenshtein. A software development environment for law-governed systems. In ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, pages 65–75, Boston MA, November 1988. ACM Press. Special issue of SIGPLAN Notices, 24(2), February 1989.Google Scholar
  10. [Nii86]
    H. P. Nii. Blackboard systems. AI Magazine, 7 (2 and 3), 1986.Google Scholar
  11. [Per89]
    D. Perry, editor. 5th International Software Process Workshop, Kennebunkport ME,October 1989. ACM Press.Google Scholar

Copyright information

© Springer-Verlag London Limited 1991

Authors and Affiliations

  • Naser S. Barghouti
    • 1
  • Gail E. Kaiser
    • 1
  1. 1.Department of Computer ScienceColumbia UniversityNew YorkUSA

Personalised recommendations