Abstract
The first two phases, viz. requirement specification and design specification, of a design methodology for distributed systems are applied to the specification of a gas station. The methodology which is based on streams of actions is explained for this example, problems arising are discussed. Special attention is paid to the structuring of specifications.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
A. Bode, W. Händler: Rechnerarchitektur II. Berlin-Heidelberg-New York-Tokyo, Springer, 1983
J.D. Brock, W.B. Ackerman: Scenarios: A Model of Non-deterministic Computation. In: J. Diay, I. Ramos (Eds.): Foundations of Programming Concepts, Intern. Coll. Peniscola, Spain, 1981, Springer Lecture Notes in Computer Science 107, pp. 252–259
M. Broy, T. Streicher: Specification and Design of Shared Resource Arbitration. MIP-8721, Universität Passau, 1987
M. Broy: An Example for the Design of Distributed Systems in a Formal Setting: The Lift Problem, MIP-8802, Universität Passau, 1988
M. Broy: Towards a Design Methodology for Distributed Systems. In: M. Broy (Ed.): Constructive Methods in Computing Science. Berlin-Heidelberg-New York-Tokyo, Springer, 1989, pp. 331–364
E. Dubois, J. Hagelstein, A. Rifaut: Formal Requirements Engineering with ERAE. draft version, to appear in the Philips Journal of Research, October 1988
C.B. Jones: Tentative Steps Toward a Development Method for Interfering Programs. ACM Transactions on Programming Languages and Systems, Vol. 5., No. 4, October 1983, pp. 596–619
G. Kahn: The Semantics of a Simple Language for Parallel Programming. Information Processing 74, North-Holland Publishing Company, 1974
F. Kröger: Abstract modules: Combining algebraic and temporal logic specification means. Technique Et Science Informatique, Vol. 6, No. 6, 1987, pp. 559–573
L. Lamport: A Simple Approach to Specifying Concurrent Systems. CACM, Vol. 32, No. 1, January 1989, pp. 32–45
J. Loeckx, K. Sieber: The Foundations of Program Verification. Wiley-Teubner, 1984
M. Wirsing, P. Pepper, H. Partsch, W. Dosch, M. Broy: On Hierarchies of Abstract Data Types. Acta Informatica 20, 1983, pp. 1–33
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Weber, R. (1991). Where can I get gas round here? — an application of a design methodology for distributed systems. In: Bergstra, J.A., Feijs, L.M.G. (eds) Algebraic Methods II: Theory, Tools and Applications. Algebraic Methods 1989. Lecture Notes in Computer Science, vol 490. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53912-3_22
Download citation
DOI: https://doi.org/10.1007/3-540-53912-3_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53912-4
Online ISBN: 978-3-540-46351-1
eBook Packages: Springer Book Archive