Abstract
Focus is a formal method for the development of distributed systems. It covers all the way of formal system development in three abstraction levels: requirements specification, design specification, and implementation. This paper gives a short, informal account of the method Focus and the rationale behind some of its features. The application of Focus is illustrated by a simple example.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Broy: Towards a Design Methodology for Distributed Systems. In: M. Broy (ed.): Constructive Methods in Computing Science, NATO ASI Series F: Computer and System Sciences, Vol. 55, Springer 1989, pp. 311–364
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. Gritzner, R. Weber: The Design of Distributed Systems — An Introduction to Focus. SFB-Bericht Nr. 342/2/92 A, Technische Universität München 1992
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. Gritzner, R. Weber: Summary of case studies in Focus — A Design Method for Distributed Systems. SFB-Bericht Nr. 342/3/92 A, Technische Universität München 1992
K. M. Chandy, J. Misra: Parallel Program Design, A Foundation. Addison-Wesley 1988
P. Coad, E. Yourdan: Object-Oriented Analysis, Second Edition. Prentice Hall 1991
C. Dendorfer, R. Weber: From Service Specification to Protocol Entity Implementation — An Exercise in Formal Protocol Development. In: R. J. Linn, M. O. Uyar (Eds.): Proc. 12th Symposium on Protocol Specification, Testing, and Verification. North-Holland 1992, pp. 163–178
D. Harel: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8, 1987, pp. 231–274
C. A. R. Hoare: Communicating Sequential Processes. Prentice-Hall 1985
B. Jonsson: A Fully Abstract Trace Model for Dataflow Networks. In: Proc. 16th Annual ACM Symposium on Principles of Programming Languages, 1989, pp. 155165
Gilles Kahn: The Semantics of a Simple Language for Parallel Programming In J L Rosenfeld (Ed.): Information Processing 74, Elsevier Publishers 1974, pp. 471–475
F. Kröger: Temporal Logic of Programs. EATCS Monograph 8, Springer 1987
L. Lamport: A simple Approach to Specifying Concurrent Systems. Communications of the ACM 32 (1), 1989, pp. 32–45
M. E. S. Loomis, A. V. Shah, J. E. Rumbaugh: An Object Modelling Technique for Conceptual Design. In: J. Bézivin et al. (Eds.): ECOOP ‘87, European Conference on Object-Oriented Programming, LNCS 276, Springer 1987, pp. 192–202
R. Milner: A Calculus of Communicating Systems, LNCS 92, Springer 1980
E.-R. Olderog: Towards a Design Calculus for Communicating Programs. In: J. C. M. Baeten, J. F. Groote (eds.): CONCUR ‘81, 2nd International Conference on Concurrency Theory, LNCS 527, Springer 1991, pp. 61–77
W. Reisig: Petri Nets. An Introduction. EATCS Monograph 4, Springer 1985
G. Rozenberg, G. Goos, J. Hartmanis (Eds.): Advances in Petri Nets. LNCS 524, Springer 1992
Special Issue on Specification of Concurrent Systems. Distributed Computing 6(1), 1992
V. Stenning: A Data Transfer Protocol. Computer Networks 1, 1976, pp. 98–110
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Dederichs, F., Dendorfer, C., Weber, R. (1993). Focus: A Formal Design Method for Distributed Systems. In: Bode, A., Dal Cin, M. (eds) Parallel Computer Architectures. Lecture Notes in Computer Science, vol 732. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-21577-7_14
Download citation
DOI: https://doi.org/10.1007/978-3-662-21577-7_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57307-4
Online ISBN: 978-3-662-21577-7
eBook Packages: Springer Book Archive