Information systems development using a combination of process and rule based approaches

  • John Krogstie
  • Peter McBrien
  • Richard Owens
  • Anne Helga Seltveit
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 498)


During the last years, the time aspect in information systems development has been addressed by several researchers [2], [8], [6]. Organisations are dynamic by nature and thus, the importance of modelling time explicitly in systems engineering approaches is crucial. This paper proposes a way of integrating process and rule based approaches in information systems development. Both static and dynamic aspects including the temporal dimension can be described. We envisage an approach with incremental specifications where details are successively added until we arrive at a specification from which executable code can be automatically generated. The output from this process (i.e., a set of rules) should be compatible with a rule manager which controls the execution of the system. A prototype has been developed to demonstrate the feasibility of this approach and is briefly described.


Top-down approach incremental and iterative development process modelling rule modelling temporal dimension rule manager code generation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    M. Abadi & Z. Manna: Temporal Logic Programming, IEEE Symposium on Logic Programming, 1987.Google Scholar
  2. [2]
    G. Ariav: Design Requirements for Temporally Oriented Information Systems, Proceedings IFIP TC 8/WG 8.1 Working Conference on Temporal Aspects in Information Systems, May 1987.Google Scholar
  3. [3]
    Barker et al: Expert Systems for Configuration at Digital: XCON and Beyond, Communications of the ACM, Volume 32, Number 3, March 1989.Google Scholar
  4. [4]
    H. Barringer, M. Fisher, D. Gabbay, G. Gough & R. Owens, MetateM: A Framework for Programming in Temporal Logic, in REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness, Mook, Netherlands, June 1989. LNCS Volume 430, Springer-Verlag, 1990.Google Scholar
  5. [5]
    S. Berdal, S. Carlsen: PIP — Processes Interfaced through Ports, Technical Report, IDT, NTH, 1986.Google Scholar
  6. [6]
    A. Bolour, L. Anderson, L. Dekeyser, H. Wong: The Role of Time in Information Processing: A Survey, ACM-SIGMOD Record 12, 1982.Google Scholar
  7. [7]
    N. Brummenæs: A Practical Evaluation of RUBRIC, Technical Report, IDT, NTH, May 1989.Google Scholar
  8. [8]
    J. Bubenko: The Temporal Dimension in Information Modeling, 1977.Google Scholar
  9. [9]
    D. Gabbay: The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems, in Proceedings of Colloquium on Temporal Logic in Specification, Altrincham, 1987, pages 402–450, LNCS Volume 398, Springer-Verlag, 1989.Google Scholar
  10. [10]
    G.R. Gladden: Stop the life-cycle, I want to get off, ACM SIGSOFT, Software Engineering Notes, Vol. 7, No. 2, April 1982.Google Scholar
  11. [11]
    D.D. McCracken, M.A. Jackson: Life Cycle Concepts Considered Harmful, ACM SIGSOFT, Software Engineering Notes, Vol. 7, No. 2, April 1982.Google Scholar
  12. [12]
    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
  13. [13]
    R.P. Owens: Notes on the TEMPORA Computation Model, E2469/IC/3.4/7/1, December, 1990.Google Scholar
  14. [14]
    A.H. Seltveit, K.W. Løvseth, P. McBrien: “External Borrowing” — A Subset of the Library Case Study, E2469/SINTEF/T5.1/19/1, October, 1990.Google Scholar
  15. [15]
    A.H. Seltveit, J. Krogstie: The Design Layer in TEMPORA, E2469/SINTEF/T5.1/20, October, 1990.Google Scholar
  16. [16]
    A. Sølvberg: Software Requirement Definition and Data Models, Proceedings Conference on Very Large Data Bases, October 1979.Google Scholar
  17. [17]
    A. Sølvberg: A Contribution to the Definition of Concepts for Expressing Users' Information Systems Requirements, Proceedings International Conference on Entity-Relationship Approach to Systems Analysis and Design, December 1980.Google Scholar
  18. [18]
    TEMPORA: Concepts Manual, September 1990.Google Scholar
  19. [19]
    K.W. Løvseth: TEMOCCA: TEMPORA Modeling Concepts — A Case Study, E2469/SINTEF/T5.1/14, 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • John Krogstie
    • 1
  • Peter McBrien
    • 2
  • Richard Owens
    • 2
  • Anne Helga Seltveit
    • 1
  1. 1.Division of Computer ScienceUniversity of TrondheimTrondheim-NthNorway
  2. 2.Department of ComputingImperial CollegeLondonUK

Personalised recommendations