Taler:
Anders Møller
Titel for foredraget:
Udvikling af interaktive Web services
med højniveau programmeringssprog.
Abstract
Eksisterende interaktive Web services er typisk udviklet med
"general purpose" programmeringssprog, f.eks. Java i Servlets/JSP
eller Visual Basic i ASP. Dette gør det praktisk umuligt at
automatisk undersøge sådanne programmer for mere specialiserede
typer af fejl, f.eks. "genererer mine scripts altid syntaktisk
korrekt HTML?". Sådanne HTML-fejl er en hyppig årsag til brugerne
oplever, at forskellige Web services kun virker med bestemte
browsere. Desuden er det et velkendt problem, at for større Web
services, der involverer hundredevis af forskellige interaktioner,
kan det være særdeles svært at overskue, udvikle og vedligeholde
programmerne.
Dette foredrag beskriver resultaterne af et forskningsprojekt på
Aarhus Universitet. Målet har været at udvikle nye højniveau
programmeringssprog og teknikker til programanalyse, der skal kunne
gøre udvikling af avancerede Web services nemmere. Et hovedresultat
er JWIG - et Java-baseret programmeringssprog, giver følgende
fordele:
- XML fragmenter som indbygget data-type gør at
(X)HTML-sider kan konstrueres mere systematisk og
gør det nemmere for programmører og HTML-designere
at arbejde sammen;
- eksplicit understøttelse af sessioner, dvs. sekvenser
af interaktioner mellem samme klient og server, giver
bedre programstruktur;
- sproget giver nemmere kontrol over data, der deles
mellem de kørende sessioner; og
- specialiserede programanalyser kan på
oversættelsestidspunktet undersøge et program for, f.eks.,
om der altid genereres syntaktisk korrekt XHTML 1.0.
Mere information om JWIG, bl.a. en prototype implementation til
Linux/Apache, kan findes på http://www.jwig.org.
Forudsætninger
Et basalt kendskab til HTML/XML og Java forventes, samt interesse
for JSP, Servlets, PHP eller lignende udviklingsmiljøer.
Mere om taleren
Anders Møller har en Ph.D. i datalogi fra Aarhus Universitet, hvor
han nu forsker i udvikling af programmeringssprog, programanalyse
og verifikation. Desuden afholder han kurser i XML, Web services og
relaterede teknologier.
Slides fra foredraget:
Kan findes her
Online webcast:
Kan findes på http://linuxforum.mmmanager.net
|