Skip to main content
SpringerLink
Log in
Book cover

International Parallel and Distributed Processing Symposium

IPDPS 2000: Parallel and Distributed Processing pp 1019–1026Cite as

Automatic Implementation of Distributed Systems Formal Specifications

  • Conference paper
  • First Online:

  • 1005 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1800))

Abstract

The increasing demand for Distributed Systems(DS’s) raised the need of a quality-assured development process, which could not only address the issue of requirement compliance, but also could help the construction of tools able to derive implementations automatically. In order to attend such a need, some Formal Description Techniques (FDL’s) have been proposed. This paper defends the transformational approach as a good strategy to carry out the automatic implementation of DS’s expressed in FDLs, focusing Mondel as FDL, and the DRACO-PUC environment as transformational system.

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. BOCHMANN, G. V.: Concepts for Distributed Systems Design. Springer-Verlag, 1983.

    Google Scholar 

  2. BOCHMANN, G. v., Poirier, S., Mondain-Monval, P.: Object-Oriented Design for Distributed Systems: The OSI Directory Example, Université de Montréal, 1991.

    Google Scholar 

  3. BOCHMANN, G. v., Barbeau, M., Erradi, M., Lecomte, L, Mondain-Monval, P., Willians: An Object-Oriented Specification Language, Université de Montréal, 1990.

    Google Scholar 

  4. ISO IS 7498: Information processing systems-Open Systems Interconnection-Basic Reference Model, 1984.

    Google Scholar 

  5. ITU-T Draft Rec X.904, ISO/TEC DIS2 13235: ODP Trading Function-Part 1-Specification, Document approved for standardization, Jan 1997.

    Google Scholar 

  6. NEIGHBORS, I: Software Construction Using Components, Tese de Doutorado, University of California at Irvine (EUA), Set/1980.

    Google Scholar 

  7. Object Management Group and X/Open: The Common Object Request Broker: Architecture and Specification, Document Number 91.12.1, 1992.

    Google Scholar 

  8. Open Software Foundation: DCE Application Development Guide, Cambridge, MA (EUA), 1992.

    Google Scholar 

  9. PRADO, A.F.: Estratégia de Re-Engenharia de Software Orientada a Domínios, Tese de Doutorado, Pontifícia Universidade Católica, Rio de Janeiro, Ago/1992.

    Google Scholar 

  10. SOUZA, P.S.Lopes de: O Impacto do Protocolo TCP/IP na Computação Paralela Distribuída no Ambiente Windows95, Proceedings of the 15th Brazilian Symposium on Computer Networks, Sao Carlos(SP), 19–22/05/1997, pp.118–134.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departamento de Computação, Universidade Federal de São Carlos, Av. Washington Luiz - 235, 04499-610, São Paulo, Brazil

    Luiz Henrique Castelo Branco, Antonio Francisco do Prado & Wanderley Lopes de Souza

  2. Departamento de Informática, Pontifícia Universidade Católica do Rio de Janeiro, R. Marquês de S. Vicente - 225, 22453-900, Rio de Janeiro, Brazil

    Marcelo Sant’Anna

Authors
  1. Luiz Henrique Castelo Branco
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antonio Francisco do Prado
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Wanderley Lopes de Souza
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Marcelo Sant’Anna
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Centre Universitaire d’Informatique, Université de Genève, 24, rue Général Dufour, CH-1211, Genève 4, Switzerland

    José Rolim

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Branco, L.H.C., do Prado, A.F., de Souza, W.L., Sant’Anna, M. (2000). Automatic Implementation of Distributed Systems Formal Specifications. In: Rolim, J. (eds) Parallel and Distributed Processing. IPDPS 2000. Lecture Notes in Computer Science, vol 1800. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45591-4_139

Download citation

  • DOI: https://doi.org/10.1007/3-540-45591-4_139

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67442-9

  • Online ISBN: 978-3-540-45591-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation