1. J. Field and C. A. Varela. Toward a Programming Model for Building Reliable Systems with Distributed State. In Proceedings of the 1st International Workshop on Foundations of Coordination Languages and Software Architectures (affiliated with CONCUR), Brno, Czech Republic, pages 328-346, August 2002. Keyword(s): distributed computing, concurrent programming, coordination models. Abstract:

   We present the preliminary design of a programming model for building reliable systems with distributed state from collections of potentially unreliable components. Our transactor model provides constructs for maintaining consistency among the states of distributed components. Our intention is that transactors should support key aspects of both traditional distributed transactions, e.g., for electronic commerce, and systems with weaker consistency requirements, e.g., peer-to-peer file- and process-sharing systems. In this paper, we motivate the need for language support for maintenance of distributed state, describe the design goals for the transactor model, provide an operational semantics for a simple transactor calculus, and provide several examples of applications of the transactor model in a higher-level language.

   
   

   @InProceedings{field-varela-transactors-2002,
   author = {J. Field and C. A. Varela},
   title = {Toward a Programming Model for Building Reliable Systems with Distributed State},
   booktitle = {Proceedings of the 1st International Workshop on Foundations of Coordination Languages and Software Architectures (affiliated with CONCUR)},
   year = 2002,
   pages = "328--346",
   address = {Brno, Czech Republic},
   month = {August},
   pdf = {http://www.cs.rpi.edu/\~{ }cvarela/foclasa2002.pdf},
   keywords = {distributed computing, concurrent programming, coordination models},
   abstract = {We present the preliminary design of a programming model for building reliable systems with distributed state from collections of potentially unreliable components. Our transactor model provides constructs for maintaining consistency among the states of distributed components. Our intention is that transactors should support key aspects of both traditional distributed transactions, e.g., for electronic commerce, and systems with weaker consistency requirements, e.g., peer-to-peer file- and process-sharing systems. In this paper, we motivate the need for language support for maintenance of distributed state, describe the design goals for the transactor model, provide an operational semantics for a simple transactor calculus, and provide several examples of applications of the transactor model in a higher-level language.} 
   }
   

1. C. Varela. Worldwide Computing with Coordinated Adaptive Mobile Web Services. Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2002) Object-Oriented Web Services Workshop, November 2002. Note: Invited speaker. Keyword(s): distributed computing, cyber physical systems, grid computing, electronic commerce. Abstract:

   Worldwide computing seeks to enable the seamless large- scale utilization of networked heterogeneous resources as a single virtual global computer. Web services use standard internet protocols and markup languages to support the compositional development of portable distributed systems. In this paper, we consider the future of web services as a foundation for developing worldwide computing applications. In particular, we argue that future web service technologies need to provide high-level abstractions for portable dynamic code mobility and decentralized coordination. Code mobility and service coordination are two key critical missing components to add to XML-based solutions for service definition (WSDL), data interchange (SOAP), and service registration and discovery (UDDI).

   
   

   @Misc{varela-ws-2002,
   author = {C. Varela},
   title = {Worldwide Computing with Coordinated Adaptive Mobile Web Services},
   howpublished = {Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2002) Object-Oriented Web Services Workshop},
   month = {November},
   year = 2002,
   note = {invited speaker},
   ps = {http://www.cs.rpi.edu/~cvarela/oows2002.ps},
   keywords = {distributed computing, cyber physical systems, grid computing, electronic commerce},
   abstract = {Worldwide computing seeks to enable the seamless large- scale utilization of networked heterogeneous resources as a single virtual global computer. Web services use standard internet protocols and markup languages to support the compositional development of portable distributed systems. In this paper, we consider the future of web services as a foundation for developing worldwide computing applications. In particular, we argue that future web service technologies need to provide high-level abstractions for portable dynamic code mobility and decentralized coordination. Code mobility and service coordination are two key critical missing components to add to XML-based solutions for service definition (WSDL), data interchange (SOAP), and service registration and discovery (UDDI).} 
   }
   

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

This document was translated from BibT_EX by bibtex2html