Skip to main content
SpringerLink
Log in
Book cover

Formal Modeling: Actors, Open Systems, Biological Systems pp 57–73Cite as

Mathematical Models of Object-Based Distributed Systems

  • Chapter

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7000))

Abstract

We propose an alternative characterisation of object-based distributed systems in terms of algebraic structures and topological spaces. Some examples are given in order to attest the adequacy of this approach to the subject. We also illustrate a method of transference of results from these mathematical theories that can further contribute to the advancement of distributed systems theory.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press (1986)

    Google Scholar 

  2. Agha, G., Mason, I., Smith, S., Talcott, C.: A foundation for actor computation. Journal of Functional Programming 7(1), 1–72 (1997)

    Google Scholar 

  3. Alpern, B., Schneider, F.B.: Defining liveness. Information Processing Letters 21(4), 181–185 (1985)

    Google Scholar 

  4. Attiya, H., Snir, M., Warmuth, M.: Computing on an anonymous ring. Journal of the ACM 35(4), 845–876 (1988)

    Google Scholar 

  5. Barbosa, V., Gafni, E.: Concurrency in heavily loaded neighborhood-constrained systems. ACM Transactions on Programming Languages and Systems 11, 584–592 (1989)

    Google Scholar 

  6. Chandy, K.M., Misra, J.: Parallel Program Design, A Foundation. Addison-Wesley (1988)

    Google Scholar 

  7. Denker, G., Ehrich, H.D.: Specifying distributed information systems: Fundamentals of an object-oriented approach using distributed temporal logic. In: Bowman, H., Derrick, J. (eds.) Prof. 2nd IFIP Workshop on Formal Methods for Open Object-Based Distributed Systems Conference (FMOODS 1997), vol. 2, pp. 89–104. Chapman and Hall (1997)

    Google Scholar 

  8. Duarte, C.H.C.: A proof-theoretic approach to the design of object-based mobility. In: Bowman, H., Derrick, J. (eds.) Proc. 2nd IFIP Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 1997), pp. 37–53. Chapman and Hall (July 1997)

    Google Scholar 

  9. Duarte, C.H.C., Maibaum, T.: A rely-guarantee discipline for open distributed systems design. Information Processing Letters 74(1-2), 55–63 (2000)

    Google Scholar 

  10. Duarte, C.H.C., Maibaum, T.: A branching-time logical system for open distributed systems development. Electronic Notes on Theoretical Computer Science 67 (2002)

    Google Scholar 

  11. Duarte, C.H.C., Talcott, C.: Clara: An actor language for high performance distributed computing. In: Proc. 12th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2000), pp. 20–37 (October 2000)

    Google Scholar 

  12. Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. Journal of the ACM 39(1), 95–146 (1992)

    Google Scholar 

  13. Hadzilacos, V., Toueg, S.: Fault-tolerant broadcasts and related problems. In: Distributed Systems, pp. 97–145. Addison-Wesley (1993), ch. 5 of [18]

    Google Scholar 

  14. Herlihy, M.P., Shavit, N.: The topological structure of asynchronous computation. Journal of the ACM 46, 856–923 (1999)

    Google Scholar 

  15. Lefschetz, S.: Algebraic Topology. American Mathematics Society (1942)

    Google Scholar 

  16. Lamport, L.: The temporal logic of actions. ACM Transactions on Programming Languages and Systems 16(3), 872–923 (1994)

    Google Scholar 

  17. Lynch, N.: Distributed Algorithms. Morgan Kaufmann (1996)

    Google Scholar 

  18. Mullender, S. (ed.): Distributed Systems, 2nd edn. Addison-Wesley (1993)

    Google Scholar 

  19. O. M. G. Unified Modelling Language Specification. Object Management Group — OMG, Version 1.3 (June 1999)

    Google Scholar 

  20. Nielsen, M., Plotkin, G., Winskel, G.: Petri-nets, event-structures and domains - part I. Theoretical Computer Science 13, 85–108 (1981)

    Google Scholar 

  21. Plotkin, G.: A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, University of Aahus (1981)

    Google Scholar 

  22. Ramanujam, R.: Locally linear time temporal logic. In: Proc. 11th IEEE Symposium on Logic in Computer Science, pp. 118–127. IEEE Computer Society Press (1996)

    Google Scholar 

  23. Saks, M., Zaharoglou, F.: Wait-free k-set agreement is impossible: The topology of public knowledge. Siam Journal on Computing 29, 1449–1483 (2000)

    Google Scholar 

  24. Schneider, F.B.: What good are models and what models are good. In: Distributed Systems, pp. 17–26. Addison-Wesley (1993), ch. 12 of [18]

    Google Scholar 

  25. Talcott, C.: Composable semantic models for actor theories. Higher-Order and Symbolic Computation 11(3), 281–343 (1998)

    Google Scholar 

  26. Tarski, A.: Logics, Semantics and Metamathematics. Oxford Publishing Company (1956)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. BNDES, Av. República do Chile 100, Rio de Janeiro, RJ, 20001-970, Brazil

    Carlos Henrique C. Duarte

Authors
  1. Carlos Henrique C. Duarte
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Thomas M. Siebel Center for Computer Science, University of Illinois, 201 N. Goodwin Avenue, MC 258, 61801, Urbana, IL, USA

    Gul Agha

  2. Department of Computer Science, Aarhus University, Abogade 34, 8200, Aarhus N, Denmark

    Olivier Danvy

  3. University of Illinois at Urbana-Champaign, USA

    José Meseguer

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Duarte, C.H.C. (2011). Mathematical Models of Object-Based Distributed Systems. In: Agha, G., Danvy, O., Meseguer, J. (eds) Formal Modeling: Actors, Open Systems, Biological Systems. Lecture Notes in Computer Science, vol 7000. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24933-4_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-24933-4_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-24932-7

  • Online ISBN: 978-3-642-24933-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation