Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
References
M. Abadi & Z. Manna: Temporal Logic Programming, IEEE Symposium on Logic Programming, 1987.
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.
Barker et al: Expert Systems for Configuration at Digital: XCON and Beyond, Communications of the ACM, Volume 32, Number 3, March 1989.
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.
S. Berdal, S. Carlsen: PIP — Processes Interfaced through Ports, Technical Report, IDT, NTH, 1986.
A. Bolour, L. Anderson, L. Dekeyser, H. Wong: The Role of Time in Information Processing: A Survey, ACM-SIGMOD Record 12, 1982.
N. Brummenæs: A Practical Evaluation of RUBRIC, Technical Report, IDT, NTH, May 1989.
J. Bubenko: The Temporal Dimension in Information Modeling, 1977.
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.
G.R. Gladden: Stop the life-cycle, I want to get off, ACM SIGSOFT, Software Engineering Notes, Vol. 7, No. 2, April 1982.
D.D. McCracken, M.A. Jackson: Life Cycle Concepts Considered Harmful, ACM SIGSOFT, Software Engineering Notes, Vol. 7, No. 2, April 1982.
A.L. Opdahl: RAPIER — A Formal Definition of Diagrammatic Systems Specifications, M.Sc. Thesis, Dept. of Electrical Engineering and Computer Science, IDT, NTH, 1988.
R.P. Owens: Notes on the TEMPORA Computation Model, E2469/IC/3.4/7/1, December, 1990.
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.
A.H. Seltveit, J. Krogstie: The Design Layer in TEMPORA, E2469/SINTEF/T5.1/20, October, 1990.
A. Sølvberg: Software Requirement Definition and Data Models, Proceedings Conference on Very Large Data Bases, October 1979.
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.
TEMPORA: Concepts Manual, September 1990.
K.W. Løvseth: TEMOCCA: TEMPORA Modeling Concepts — A Case Study, E2469/SINTEF/T5.1/14, 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Krogstie, J., McBrien, P., Owens, R., Seltveit, A.H. (1991). Information systems development using a combination of process and rule based approaches. In: Andersen, R., Bubenko, J.A., Sølvberg, A. (eds) Advanced Information Systems Engineering. CAiSE 1991. Lecture Notes in Computer Science, vol 498. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54059-8_92
Download citation
DOI: https://doi.org/10.1007/3-540-54059-8_92
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54059-5
Online ISBN: 978-3-540-47378-7
eBook Packages: Springer Book Archive