An abstraction-based rule approach to large-scale information systems development

  • Anne Helga Seitveit
Conceptual Modeling I
Part of the Lecture Notes in Computer Science book series (LNCS, volume 685)


By introducing a rule language in IS development business rules can be explicitly represented. However, the use of rules implies that we have to find ways to deal with rule capture and complexity of large rule bases. The paper argues for an abstraction-based rule approach to information systems development. Simplifications of a specification are provided by allowing different views (abstractions) of the rule base and a framework for describing abstractions is suggested. A view is generated by a set of explicitly defined abstraction mechanisms, manually produced by a developer, or a combination of the two. Rather than operating on a full specification, relevant views can be applied at different stages of the development process (e.g., in rule capture) and then eventually integrated into a new version of the full specification. Views may be updated and multiple views are allowed to co-exist. Supporting multiple views and various versions of views demands for a versioning mechanism to keep track of the various versions of a full specification.


abstractions abstraction-based development structuring mechanisms views multiple views 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    M. Alford: Strengthening the Systems/Software Engineering Interface for Real Time Systems, Ascent Logic Corporation, 1991.Google Scholar
  2. 2.
    Barker et al: Expert Systems for Configuration at Digital: XCON and Beyond, Communications of the ACM, Volume 32, Number 3, March 1989.Google Scholar
  3. 3.
    S. Berdal, S. Carlsen: PIP — Processes Interfaced through Ports, Technical Report, IDT, NTH, 1986.Google Scholar
  4. 4.
    V. Berzins and M. Gray: Analysis and Design in MSG.84: Formalizing functional specifications, IEEE Trans. Softw. Eng., Aug. 1985.Google Scholar
  5. 5.
    V. Berzins et al: Abstraction-Based Software Development, Communications of the ACM, Vol. 29, No. 5, May 1986.Google Scholar
  6. 6.
    V. Berzins and Luqi: Languages for Specification, Design, and Prototyping, In P. A. Ng and R. T. Yeh (Eds.): Modern Software Engineering Foundations and Current Perspectives, Van Nostrand Reinhold, New York, 1990.Google Scholar
  7. 7.
    BIM: BIM_PROBE Manual, BIM, Belgium, June 1990.Google Scholar
  8. 8.
    J. A. Bubenko: Problems and Unclear Issues with Hierarchical Business Activity and Data Flow Modelling, SYSLAB Working Paper no. 134, Stockholm, 1988.Google Scholar
  9. 9.
    C. J. Date: An Introduction to Database Systems, Addison-Wesley Publishing Company Inc., 1986.Google Scholar
  10. 10.
    C. Gane and T. Sarson: Structured Systems Analysis: tools and techniques, Prentice-Hall, 1979.Google Scholar
  11. 11.
    S. McGinnes: How Objective is Object-Oriented Analysis?, In P. Loucopoulos (Ed.): Advanced Information Systems Engineering, 4th International Conference CAiSE'92, Manchester, U. K., 1992.Google Scholar
  12. 12.
    ISO/DIS 8613: Information Processing — Text and office systems — Office Document Architecture (ODA) and interchange format, draft version, The International Standardization Organization (ISO), 1986.Google Scholar
  13. 13.
    J. Krogstie, P. McBrien, R. Owens, and A. H. Seltveit: Information Systems Development Using a Combination of Process and Rule Based Approaches, In R. Andersen, J. A. Bubenko, and A. Solvberg (Eds.): Advanced Information Systems Engineering, 3rd International Conference CAiSE'91, Trondheim, Norway, 1991.Google Scholar
  14. 14.
    Xiaofeng Li: What's So Bad About Rule-Based Programming, IEEE Software, Vol. 8, No. 5, Sept. 1991.Google Scholar
  15. 15.
    O. I. Lindland et al: PPP — An Integrated CASE Environment, In R. Andersen, J. A. Bubenko, and A. Solvberg (Eds.): Advanced Information Systems Engineering, 3rd International Conference CAiSE'91, Trondheim, Norway, 1991.Google Scholar
  16. 16.
    Luqi et al: Graphical tool for computer-aided prototyping, Information and Software Technology, Vol. 32, No. 3, April 1990.Google Scholar
  17. 17.
    McBrien, M. Niezette, D. Pantazis, A. H. Seltveit, U. Sundin, B. Theodoulidis, G. Tziallas, and R. Wohed: A Rule Language to Capture and Model Business Policy Specifications, In R. Andersen, J. A. Bubenko, and A. Solvberg (Eds.): Advanced Information Systems Engineering, 3rd International Conference CAiSE'91, Trondheim, Norway, 1991.Google Scholar
  18. 18.
    McBrien, A. H. Seltveit, and B. Wangler: An Entity-Relationship Model Extended To Describe Historical Information, Proceedings of CISMOD'92, Bangalore, India, 1992.Google Scholar
  19. 19.
    A.L. Opdahl: RAPIER — A Formal Definition of Diagrammatic Systems Specifications, M.Sc. Thesis, Dept. of Electrical Engineering and Computer Science, IDT, NTH, 1988.Google Scholar
  20. 20.
    R.P. Owens: Notes on the TEMPORA Computation Model, E2469/IC/3.4/7/1, December, 1990.Google Scholar
  21. 21.
    C. Parent, S. Spaccapietra: View integration: a step forward in solving structural conflicts, EPFL-Computer Sc. Dept. Lausanne, Research Report, Aug. 1990.Google Scholar
  22. 22.
    U. Persson, A.H. Seltveit, B. Wangler, R. Wohed: Experience from the Sweden Post Case Study, E2469/SISU/T10.1/12/1, Nov. 1991.Google Scholar
  23. 23.
    T. Pettersen, A.H. Seltveit: A Proposal for a Rule Structuring Mechanism in TEMPORA, E2469/SINTEF/NT1.2/2/1, April 1992.Google Scholar
  24. 24.
    A.H. Seltveit: A Proposal for Abstraction Mechanisms in TEMPORA, E2469/SINTEF/NT1.5/1/1, Nov. 1992.Google Scholar
  25. 25.
    G. Sindre: Rules and Processes in TEMPORA, E2469/SINTEF/T1.1/11/1, Oct. 1989.Google Scholar
  26. 26.
    G. Sindre: Hicons: A General Diagrammatic Framework for Hierarchical Modelling, Ph. D. Thesis, Dept. of Electrical Engineering and Computer Science, The Norwegian Institute of Technology, Trondheim, July 1990.Google Scholar
  27. 27.
    A. Solvberg: A Model for Spefication of Phenomena, Properties, and Information Structures, IBM Research Laboratory, San Jose, California, 1977.Google Scholar
  28. 28.
    A. Solvberg: On the Specification of Scenarios in Information System Design, IBM Research Laboratory, San Jose, California, 1977.Google Scholar
  29. 29.
    TEMPORA: Concepts Manual, Sept. 1990.Google Scholar
  30. 30.
    TEMPORA: The Sweden Post Case Study, Nov. 1991.Google Scholar
  31. 31.
    TEMPORA: Concepts Manual, Sept. 1992.Google Scholar
  32. 32.
    D. C. Tsichritzis and F. H. Lochovsky: Data Models, Prentice-hall, Inc., New Jersey, 1982.Google Scholar
  33. 33.
    S. Weiss and M. Page-Jones: Synthesis: An Object-Oriented Analysis and Design Method, Macmillan, 1991.Google Scholar
  34. 34.
    R. J. Wirfs-Brock et al: Designing Object-Oriented Software, Prentice-hall, Inc., 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Anne Helga Seitveit
    • 1
  1. 1.Faculty of Electrical Engineering and Computer ScienceThe Norwegian Institute of TechnologyTrondheimNorway

Personalised recommendations