skip to main content
10.5555/800099.803193acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
Article
Free access

Information systems: Modelling, sequencing and transformations

Published: 10 May 1978 Publication History

Abstract

Specification and design of an information system conventionally starts from consideration of the system function. This paper argues that consideration may more properly be given first to the system as a model of the reality with which it is concerned, the function being subsequently superimposed on the model.
The form of model proposed is a network of sequential processes communicating by serial data streams. Such a model permits a clear representation of change or activity over time, and it also prevents over-specification of sequencing by separating problem-oriented from solution-oriented sequencing constraints. The model, however, cannot be efficiently executed on uniprocessor hardware without transformation. Some relevant kinds of transformation are mentioned, and the derivation, by means of them, of conventional information system configurations from the proposed model.

References

[1]
IEEE Transactions on Software Engineering; Special Collection on Requirement Analysis; SE-3, 1 January 1977.
[2]
Dahl O-J and Hoare C A R; Hierarchical Program Structures; in Structured Programming (O-J Dahl, E W Dijkstra and C A R Hoare) p219; Academic Press, 1972.
[3]
Dwyer B; On the Relationship between Serial and Random Processing; to be published, 1978.
[4]
Kahn G and MacQueen D; Coroutines and Networks of Parallel Processes; IRIA Rapport de Recherche No 202, November 1976.
[5]
C A R Hoare; Communicating Sequential Processes; CACM 1978.
[6]
Dahl O-J and Hoare C A R; op cit (2); pp175-220.
[7]
Jackson M A; Principles of Program Design; Academic Press, 1975.
[8]
Martin J; Computer Data-base Organisation; Prentice-Hall, 1977.
[9]
Guttag J V et al; The Design of Data Type Specifications; in Proc 2nd International Conference on Software Engineering pp414-420; IEEE, 1976.
[10]
Burstall R M and Darlington J; Some Transformations for Developing Recursive Programs; in Proc International Conference on Reliable Software pp465-472; Sigplan Notices 10,6, June 1975.

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
ICSE '78: Proceedings of the 3rd international conference on Software engineering
May 1978
348 pages

Sponsors

Publisher

IEEE Press

Publication History

Published: 10 May 1978

Check for updates

Qualifiers

  • Article

Acceptance Rates

Overall Acceptance Rate 276 of 1,856 submissions, 15%

Upcoming Conference

ICSE 2025

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)16
  • Downloads (Last 6 weeks)1
Reflects downloads up to 05 Jan 2025

Other Metrics

Citations

Cited By

View all

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media