Abstract
For reactive systems, a large collection of formal models has been developed. While the formal relationship between those models is often carefully analyzed, the methodical implications for selecting or constructing appropriate models for specific application domains are rarely addressed. We classify and compare different specification methods for distributed systems concerning communication, behavior, and causality. We discuss the implications of these dimensions, especially concerning the combination of their properties.
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
Owicki, S., Gries, D.: An Axiomatic Proof Technique for Parallel Programs. Acta Informatica 14 (1976)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs (1985)
Milner, R.: Communication and Concurrency. Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989)
Chandy, K.M., Misra, J.: Parallel Program Design - A Foundation, 2nd edn. Addison-Wesley, Reading (1989)
Berry, G.: The Esterel v5 Language Primer. Technical report, INRIA (2000), http://www-sop.inria.fr/meije/esterel/esterel-eng.html (accessed August 19 2002)
Broy, M., Stølen, K.: Specification and Development of Interactive Systems: FOCUS on Streams, Interfaces, and Refinement. Texts and Monographs in Computer Science. Springer, Heidelberg (2001)
von der Beeck, M.: Comparison of Statecharts Variants. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) FTRTFT 1994 and ProCoS 1994. LNCS, vol. 863. Springer, Heidelberg (1994)
van Glabbeek, R.J.H.: Comparative concurrency semantics and refinement of actions. Technical Report 109, Centrum voor Wiskunden en Informatica, CWI Tracts (1996)
Dill, D.L.: Trace Theory for Automatic Hierarchical Verification of Speed Independent Circuits. ACM Distinguished Dissertations. The MIT Press (1989)
Alur, R., Henzinger, T.A.: Reactive modules. Formal Methods in System Design: An International Journal 15, 7–48 (1999)
Schätz, B.: Ein methodischer Übergang von asynchronen zu synchronen Systemen. PhD thesis, Technische Universität München (1998)
Bergstra, J.A., Ponse, A., Smolka, S.A.: Handbook of Process Algebra. Elsevier, Amsterdam (2001)
Lynch, N., Tuttle, M.: An Introduction to Input/Output Automata. CWI Quarterly 2, 219–246 (1989)
Josephs, M.B.: Receptive process theory. Acta Informatica 29, 17–31 (1992)
Lamport, L.: Verification and Specification of Concurrent Programs. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) REX 1993. LNCS, vol. 803, pp. 347–374. Springer, Heidelberg (1994)
Shields, M.W.: Semantics of Parallelism. Springer, Heidelberg (1997)
Scholz, P.: Design of reactive Systgems and their Distributed Implementaion with Statecharts. PhD thesis, Technische Universität München (1998)
Parrow, J.: Fairness properties in process algebra with applications in communication protocol verification. PhD thesis, Uppsala University (1985)
Davis, J., Schneider, S.: An Introduction to Timed CSP. PRG- 75, PRG Programming Research Group Oxford (1989)
Abadi, M., Lamport, L.: An old-fashioned recipe for real time. ACM Transactions on Programming Languages and Systems 16, 1543–1571 (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kof, L., Schätz, B. (2004). Combining Aspects of Reactive Systems. In: Broy, M., Zamulin, A.V. (eds) Perspectives of System Informatics. PSI 2003. Lecture Notes in Computer Science, vol 2890. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39866-0_34
Download citation
DOI: https://doi.org/10.1007/978-3-540-39866-0_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20813-6
Online ISBN: 978-3-540-39866-0
eBook Packages: Springer Book Archive