License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-2981
URL: http://drops.dagstuhl.de/opus/volltexte/2006/298/

Cerioli, Maura ; Dell'Amico, Matteo

Injecting Distribution in CASL

pdf-format:
Dokument 1.pdf (410 KB)


Abstract

We present a first attempt at the development of a library in the specification language Casl providing primitives to represent connectivity and communication in a distributed system. The focus, in particular, is on peer-to-peer, which presents more challanges than the client-server paradigm, because of the higher degree of anarchy and the large amount of middleware providing similar but different features in support of it. From our experience on the definition of this library, we draw some methodological lessons on how to deal with the capture of complex software systems, as opposite to classical libraries representing standard or mathematical datatypes.

BibTeX - Entry

@InProceedings{cerioli_et_al:DSP:2006:298,
  author =	{Maura Cerioli and Matteo Dell'Amico},
  title =	{Injecting Distribution in CASL},
  booktitle =	{Foundations of Global Computing},
  year =	{2006},
  editor =	{Jos{\'e} Luiz Fiadeiro and Ugo Montanari and Martin Wirsing},
  number =	{05081},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2006/298},
  annote =	{Keywords: P2P, CASL, algebraic specification language, specification library}
}

Keywords: P2P, CASL, algebraic specification language, specification library
Seminar: 05081 - Foundations of Global Computing
Issue date: 2006
Date of publication: 31.01.2006


DROPS-Home | Fulltext Search | Imprint Published by LZI