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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 498 LNCS, Issue , 1991, Pages 319-335

  Krogstie, John ^a   McBrien, Peter ^b   Owens, Richard ^b   Seltveit, Anne Helga ^a  

^a NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Code generation; Incremental and iterative development; Process modelling; Rule manager; Rule modelling; Temporal dimension; Top down approach

Indexed keywords

INFORMATION SYSTEMS; MANAGEMENT INFORMATION SYSTEMS; MANAGERS; SPECIFICATIONS; SYSTEMS ENGINEERING;

CODE GENERATION; ITERATIVE DEVELOPMENT; PROCESS MODELLING; TEMPORAL DIMENSIONS; TOP DOWN APPROACHES;

INFORMATION USE;

EID: 70349353978     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-54059-8_92     Document Type: Conference Paper

References (19)

1. M. Abadi & Z. Manna: Temporal Logic Programming, IEEE Symposium on Logic Programming, 1987.
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.
3. Barker et al: Expert Systems for Configuration at Digital: XCON and Beyond, Communications of the ACM, Volume 32, Number 3, March 1989.
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.
5. S. Berdal, S. Carlsen: PIP — Processes Interfaced through Ports, Technical Report, IDT, NTH, 1986.
6. A. Bolour, L. Anderson, L. Dekeyser, H. Wong: The Role of Time in Information Processing: A Survey, ACM-SIGMOD Record 12, 1982.
7. N. Brummenæs: A Practical Evaluation of RUBRIC, Technical Report, IDT, NTH, May 1989.
8. J. Bubenko: The Temporal Dimension in Information Modeling, 1977.
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.
10. G.R. Gladden: Stop the life-cycle, I want to get off, ACM SIGSOFT, Software Engineering Notes, Vol. 7, No. 2, April 1982.
11. D.D. McCracken, M.A. Jackson: Life Cycle Concepts Considered Harmful, ACM SIGSOFT, Software Engineering Notes, Vol. 7, No. 2, April 1982.
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.
13. R.P. Owens: Notes on the TEMPORA Computation Model, E2469/IC/3.4/7/1, December, 1990.
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.
15. A.H. Seltveit, J. Krogstie: The Design Layer in TEMPORA, E2469/SINTEF/T5.1/20, October, 1990.
16. A. Sølvberg: Software Requirement Definition and Data Models, Proceedings Conference on Very Large Data Bases, October 1979.
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.
18. TEMPORA: Concepts Manual, September 1990.
19. K.W. Løvseth: TEMOCCA: TEMPORA Modeling Concepts — A Case Study, E2469/SINTEF/T5.1/14, 1990.