haku: @keyword Ecmascript / yhteensä: 5
hakutulos-lista
viite: 4 / 5
« edellinen | seuraava »
Tekijä:Miettinen, Petri
Työn nimi:Applying Design By Contract to Web Services Development
Design by Contract -metodologian käyttö Web services -kehityksessä
Julkaisutyyppi:Diplomityö
Julkaisuvuosi:2006
Sivut:12+86      Kieli:   eng
Koulu/Laitos/Osasto:Tietotekniikan osasto
Oppiaine:Tietokoneverkot   (T-110)
Valvoja:Ylä-Jääski, Antti
Ohjaaja:Hjort, Markus
OEVS:
Sähköinen arkistokappale on luettavissa Aalto Thesis Databasen kautta.
Ohje
sulje

Digitaalisten opinnäytteiden lukeminen Aalto-yliopiston Harald Herlin -oppimiskeskuksen suljetussa verkossa

Oppimiskeskuksen suljetussa verkossa voi lukea sellaisia digitaalisia ja digitoituja opinnäytteitä, joille ei ole saatu julkaisulupaa avoimessa verkossa.

Oppimiskeskuksen yhteystiedot ja aukioloajat: https://learningcentre.aalto.fi/fi/harald-herlin-oppimiskeskus/

Opinnäytteitä voi lukea Oppimiskeskuksen asiakaskoneilla, joita löytyy kaikista kerroksista.

Kirjautuminen asiakaskoneille

  • Aalto-yliopistolaiset kirjautuvat asiakaskoneille Aalto-tunnuksella ja salasanalla.
  • Muut asiakkaat kirjautuvat asiakaskoneille yhteistunnuksilla.

Opinnäytteen avaaminen

  • Asiakaskoneiden työpöydältä löytyy kuvake:

    Aalto Thesis Database

  • Kuvaketta klikkaamalla pääset hakemaan ja avaamaan etsimäsi opinnäytteen Aaltodoc-tietokannasta. Opinnäytetiedosto löytyy klikkaamalla viitetietojen OEV- tai OEVS-kentän linkkiä.

Opinnäytteen lukeminen

  • Opinnäytettä voi lukea asiakaskoneen ruudulta tai sen voi tulostaa paperille.
  • Opinnäytetiedostoa ei voi tallentaa muistitikulle tai lähettää sähköpostilla.
  • Opinnäytetiedoston sisältöä ei voi kopioida.
  • Opinnäytetiedostoa ei voi muokata.

Opinnäytteen tulostus

  • Opinnäytteen voi tulostaa itselleen henkilökohtaiseen opiskelu- ja tutkimuskäyttöön.
  • Aalto-yliopiston opiskelijat ja henkilökunta voivat tulostaa mustavalkotulosteita Oppimiskeskuksen SecurePrint-laitteille, kun tietokoneelle kirjaudutaan omilla Aalto-tunnuksilla. Väritulostus on mahdollista asiakaspalvelupisteen tulostimelle u90203-psc3. Väritulostaminen on maksullista Aalto-yliopiston opiskelijoille ja henkilökunnalle.
  • Ulkopuoliset asiakkaat voivat tulostaa mustavalko- ja väritulosteita Oppimiskeskuksen asiakaspalvelupisteen tulostimelle u90203-psc3. Tulostaminen on maksullista.
Sijainti:P1 Ark Aalto     | Arkisto
Avainsanat:Design by Contract
Web services
ECMAScript
preconditions
postconditions
JSR-181
Design by Contract
Web services
ECMAScript
alkuehdot
loppuehdot
JSR-181
Tiivistelmä (fin): Design by Contract on olio-ohjelmointiin kehitetty metodologia.
Se on periaatteessa ohjelmistokomponenttien välisen kommunikoinnin semanttista tarkistusta.
Tarkistukseen kuuluu alku- ja loppuehtojen tarkastamisen lisäksi invariantit.
Design by Contract luo selvät vastuurajat kommunikaation eri osapuolille.
Web services -arkkitehtuuri perustuu tietoverkossa olevien ohjelmistokomponenttien jakamiseen XML-viesteillä.
Näiden komponenttien tarjoamien palvelujen, viestien ja sijainnin kuvaamiseen käytetään WSDL-dokumenttia mikä on myös XML-muotoinen.
Tämä kuvaus ei ole täysin yksiselitteinen mikä voi vikatilanteessa johtaa epäselvyyteen virhevastuussa.

Tämän työn tarkoituksena oli tutkia Design by Contract -ominaisuuden käyttöä Web services -kehityksessä sekä tekniseltä että metodologiselta kannalta.
Työn lopputuloksena oli ehdotelma kontrahtipohjaiseen Web services -suunnitteluun.
Toteutus tehtiin Java-ohjelmointikielellä.
Ehdotelmassa laajennetaan WSDL-standardia käyttämällä ECMAScript-vaatimuksia XML-elementtien sisällä.
Toteutus asettaa nämä vaatimukset JSR-175 standardiin perustuvien merkintöjen sisään.
Näin vaatimukset voidaan prosessoida myös Java-olioissa.
Työssä näytetään esimerkein kuinka Design by Contract tekee palvelukuvauksesta täsmällisemmän.
Viitekehys tarvitsi ylimääräisen malli- käsitteen kommunikaation tilan ylläpitämiseen.
ED:2006-07-11
INSSI tietueen numero: 32165
+ lisää koriin
« edellinen | seuraava »
INSSI