Communicating sequential processes
Communications of the ACM
Computer Database Organization, 2nd Ed
Computer Database Organization, 2nd Ed
The design of data type specifications
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Some transformations for developing recursive programs
Proceedings of the international conference on Reliable software
Principles of Program Design
Knowledge-based software design using design schemas
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Programming with Streams in a Pascal-Like Language
IEEE Transactions on Software Engineering
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
IEEE Annals of the History of Computing
Communications of the ACM
Representing Software Engineering Knowledge
Automated Software Engineering
Synthesis of communicating processes
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
ACM SIGPLAN Notices
Data base and software engineering - a design viewpoint
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
| Hi-index | 0.02 |
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.