Skip to main content
SpringerLink
Log in

Scaling up rule-based software development environments

  • Conference paper
  • First Online:
ESEC '91 (ESEC 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 550))

Included in the following conference series:

Abstract

Rule-based software development environments (RBDEs) model the software development process in terms of rules that encapsulate development activities, and assist in executing the process via forward and backward chaining over the rule base. We investigate the scaling up of RBDEs to support (1) multiple views of the rule base for multiple users and (2) evolution of the rule base over the lifetime of a project. Our approach is based on clarifying two distinct functions of rules and chaining: maintaining consistency and automation. By definition, consistency is mandatory whereas automation is not. Distinguishing the consistency and automation aspects of RBDE assistance mechanisms makes it possible to formalize the range of compatible views and the scope of mechanizable evolution steps. Throughout the paper, we use the Marvel RBDE as an example application of our ideas.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. V. Ambriola, P. Ciancarini and C. Montangero. Software Process Enactment in Oikos. In 4th ACM SIGSOFT Symposium on Software Development Environments, pages 183–192. Irvine CA, December, 1990.

    Google Scholar 

  2. Naser S. Barghouti and Gail E. Kaiser. Modeling Concurrency in Rule-Based Development Environments. IEEE Expert 5(6):15–27, December, 1990.

    Google Scholar 

  3. K. Benali et al. Presentation of the ALF Project. In 9th International Conference on System Development Environments and Factories. Berlin, May, 1989.

    Google Scholar 

  4. G. M. Clemm. The Workshop System — A Practical Knowledge-Based Software Environment In ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, pages 55–64. Boston MA, November, 1988.

    Google Scholar 

  5. Donald Cohen. Automatic Compilation of Logical Specifications into Efficient Programs. In 5th National Conference on Artificial Intelligence, pages 20–25. AAAI, Philadelphia, PA, August, 1986.

    Google Scholar 

  6. W. Deiters and V. Gruhn. Managing Software Processes in the Environment MELMAC. In SIGPLAN '90 4th ACM SIGSOFT Symposium on Software Development Environments, pages 193–205. Irvine CA, December, 1990.

    Google Scholar 

  7. D. Garlan and E. Ilias. Low-cost, Adaptable Tool Integration Policies for Integrated Environments. In 4th ACM SIGSOFT Symposium on Software Development Environments, pages 1–10. Irvine CA, December, 1990.

    Google Scholar 

  8. Mark A. Gisi and Gail E. Kaiser. Extending A Tool Integration Language. In 1st International Conference on the Software Process. Los Angeles CA, October, 1991. In press. Available as Columbia University Department of Computer Science CUCS-014–91, April 1991.

    Google Scholar 

  9. W. H. Harrison, J.J. Shilling and P.F. Sweeney. Good News, Bad News: Experience Building a Software Development Environment Using the Object-Oriented Paradigm. In Object-Oriented Programming Systems, Languages and Applications Conference Proceedings, pages 85–94. New Orleans LA, October, 1989.

    Google Scholar 

  10. George T. Heineman, Gail E. Kaiser, Naser S. Barghouti and Israel Z. Ben-Shaul. Rule Chaining in MARVEL: Dynamic Binding of Parameters. In 6th Knowledge-Based Software Engineering Conference. Syracuse NY, September, 1991. In press. Available as Columbia University Department of Computer Science CUCS-022-91, May 1991.

    Google Scholar 

  11. 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.

    Google Scholar 

  12. Gail E. Kaiser, Peter H. Feiler and Steven S. Popovich. Intelligent Assistance for Software Development and Maintenance. IEEE Software 5(3):40–49, May, 1988.

    Google Scholar 

  13. Gail E. Kaiser, Naser S. Barghouti, Peter H. Feiler and Robert W. Schwanke. Database Support for Knowledge-Based Engineering Environments. IEEE Expert 3(2):18–32, Summer, 1988.

    Google Scholar 

  14. Gail E. Kaiser, Naser S. Barghouti and Michael H. Sokolsky. Experience with Process Modeling in the Marvel Software Development Environment Kernel. In Bruce Shriver (editor), 23rd Annual Hawaii International Conference on System Sciences, pages 131–140. Kona HI, January, 1990.

    Google Scholar 

  15. Takuya Katayama. A Hierarchical and Functional Software Process Description and its Enaction. In 11th International Conference on Software Engineering, pages 343–352. IEEE Computer Science Press, Pittsburgh PA, May, 1989.

    Google Scholar 

  16. Takuya Katayama (editor). 6th International Software Process Workshop: Support for the Software Process. IEEE Computer Society Press, Hakodate, Hokkaido, Japan, 1990. In press.

    Google Scholar 

  17. 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. ACM Press, Boston MA, November, 1988.

    Google Scholar 

  18. H. Ossher and W. Harrison. Support for Change in RPDE3. In SIGPLAN '90 4th ACM SIGSOFT Symposium on Software Development Environments, pages 218–228. Irvine CA, December, 1990.

    Google Scholar 

  19. Dewayne Perry (editor). 5th International Software Process Workshop: Experience with Software Process Models. IEEE Computer Society Press, Kennebunkport ME, 1989.

    Google Scholar 

  20. Steven P. Reiss. Connecting Tools Using Message Passing in the Field Environment. IEEE Software 7(4):57–66, July, 1990.

    Google Scholar 

  21. S. M. Sutton, Jr., D. Heimbigner and L. J. Osterweil. Language Constructs for Managing Change in Process-Centered Environments. In 4th ACM SIGSOFT Symposium on Software Development Environments, pages 206–217. Irvine CA, December, 1990.

    Google Scholar 

  22. S. M. Sutton, Jr. A Flexible Consistency Model for Persistent Data in Software-Process Programming Languages. In 4th International Workshop on Persistent Object Systems, pages 297–310. Morgan Kaufmann, Martha's Vineyard MA, September, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Columbia University, 500 West 120th Street, 10027, New York, NY

    Naser S. Barghouti & Gail E. Kaiser

Authors
  1. Naser S. Barghouti
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gail E. Kaiser
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Axel van Lamsweerde Alfonso Fugetta

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Barghouti, N.S., Kaiser, G.E. (1991). Scaling up rule-based software development environments. In: van Lamsweerde, A., Fugetta, A. (eds) ESEC '91. ESEC 1991. Lecture Notes in Computer Science, vol 550. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3540547428_59

Download citation

  • DOI: https://doi.org/10.1007/3540547428_59

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54742-6

  • Online ISBN: 978-3-540-46446-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation