Dagstuhl Seminar Proceedings, Volume 7051



Publication Details

  • published at: 2007-08-07
  • Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Access Numbers

Documents

No documents found matching your filter selection.
Document
07051 Abstracts Collection – Programming Paradigms for the Web: Web Programming and Web Services

Authors: Richard Hull, Peter Thiemann, and Philip Wadler


Abstract
From 28.01. to 02.02.2007, the Dagstuhl Seminar 07051 ``Programming Paradigms for the Web: Web Programming and Web Services'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Richard Hull, Peter Thiemann, and Philip Wadler. 07051 Abstracts Collection – Programming Paradigms for the Web: Web Programming and Web Services. In Programming Paradigms for the Web: Web Programming and Web Services. Dagstuhl Seminar Proceedings, Volume 7051, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{hull_et_al:DagSemProc.07051.1,
  author =	{Hull, Richard and Thiemann, Peter and Wadler, Philip},
  title =	{{07051 Abstracts Collection – Programming Paradigms for the Web: Web Programming and Web Services}},
  booktitle =	{Programming Paradigms for the Web: Web Programming and Web Services},
  pages =	{1--7},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7051},
  editor =	{Richard Hull and Peter Thiemann and Philip Wadler},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07051.1},
  URN =		{urn:nbn:de:0030-drops-11287},
  doi =		{10.4230/DagSemProc.07051.1},
  annote =	{Keywords: Web programming, programming concepts, program analysis, type systems, scripting languages, XML processing and querying}
}
Document
07051 Executive Summary – Programming Paradigms for the Web: Web Programming and Web Services

Authors: Richard Hull, Peter Thiemann, and Philip Wadler


Abstract
The world-wide web raises a variety of new programming challenges. To name a few: programming at the level of the web browser, data-centric approaches, and attempts to automatically discover and compose web services. This seminar brought together researchers from the web programming and web services communities and strove to engage them in communication with each other. The seminar was held in an unusual style, in a mixture of short presentations and in-depth discussion sessions in small groups. This style enabled the participants to identify and discuss burning questions in small birds-of-a-feather sessions as well as in large plenary sessions. It required active participation of all attendees.

Cite as

Richard Hull, Peter Thiemann, and Philip Wadler. 07051 Executive Summary – Programming Paradigms for the Web: Web Programming and Web Services. In Programming Paradigms for the Web: Web Programming and Web Services. Dagstuhl Seminar Proceedings, Volume 7051, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{hull_et_al:DagSemProc.07051.2,
  author =	{Hull, Richard and Thiemann, Peter and Wadler, Philip},
  title =	{{07051 Executive Summary – Programming Paradigms for the Web: Web Programming and Web Services}},
  booktitle =	{Programming Paradigms for the Web: Web Programming and Web Services},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7051},
  editor =	{Richard Hull and Peter Thiemann and Philip Wadler},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07051.2},
  URN =		{urn:nbn:de:0030-drops-11259},
  doi =		{10.4230/DagSemProc.07051.2},
  annote =	{Keywords: Web programming, web services, programming paradigms, analysis and verification, implementation techniques and optimizations}
}
Document
07051 Working Group Outcomes – Programming Paradigms for the Web: Web Programming and Web Services

Authors: Richard Hull, Peter Thiemann, and Philip Wadler


Abstract
Participants in the seminar broke into groups on ``Patterns and Paradigms'' for web programming, ``Web Services,'' ``Data on the Web,'' ``Software Engineering'' and ``Security.'' Here we give the raw notes recorded during these sessions.

Cite as

Richard Hull, Peter Thiemann, and Philip Wadler. 07051 Working Group Outcomes – Programming Paradigms for the Web: Web Programming and Web Services. In Programming Paradigms for the Web: Web Programming and Web Services. Dagstuhl Seminar Proceedings, Volume 7051, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{hull_et_al:DagSemProc.07051.3,
  author =	{Hull, Richard and Thiemann, Peter and Wadler, Philip},
  title =	{{07051 Working Group Outcomes – Programming Paradigms for the Web: Web Programming and Web Services}},
  booktitle =	{Programming Paradigms for the Web: Web Programming and Web Services},
  pages =	{1--17},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7051},
  editor =	{Richard Hull and Peter Thiemann and Philip Wadler},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07051.3},
  URN =		{urn:nbn:de:0030-drops-11273},
  doi =		{10.4230/DagSemProc.07051.3},
  annote =	{Keywords: Web programming, web services, programming paradigms, analysis and verification, implementation techniques and optimizations}
}
Document
Calculus and Algebra for Distributed Data Management

Authors: Serge Abiteboul


Abstract
The sharing of content by communities of users (e.g., scientists) in a P2P context remains cumbersome. We argue that main reasons for this is the lack of calculus and algebra for distributed data management. We present the ActiveXML language that extends the XML language with features to handle distribution. More precisely, ActiveXML documents are XML documents with a special syntax for specifying the embedding of Web service calls, e.g. XML queries such as XQueries. We also present ActiveXML algebra that extends ActiveXML notably with explicit control of data exchanges. ActiveXML algebra allows describing query plans, and exchanging them between peers.

Cite as

Serge Abiteboul. Calculus and Algebra for Distributed Data Management. In Programming Paradigms for the Web: Web Programming and Web Services. Dagstuhl Seminar Proceedings, Volume 7051, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)


Copy BibTex To Clipboard

@InProceedings{abiteboul:DagSemProc.07051.4,
  author =	{Abiteboul, Serge},
  title =	{{Calculus and Algebra for Distributed Data Management}},
  booktitle =	{Programming Paradigms for the Web: Web Programming and Web Services},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7051},
  editor =	{Richard Hull and Peter Thiemann and Philip Wadler},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07051.4},
  URN =		{urn:nbn:de:0030-drops-11261},
  doi =		{10.4230/DagSemProc.07051.4},
  annote =	{Keywords: Distributed data management, XML, Web, Web service}
}

Filters


Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail