Home
Home Avondconferenties Workshops Cursussen Speciale evenementen Tijdschrift Lidmaatschap Contact
meer info
Datum Locatie Event
Dit event kan niet worden weergegeven.
'Business Rules' met OCL 2.0: theorie en hands-on
Wanneer 26.11.2009 (13u30 - 20u30)
Waar Sodehotel Woluwe
Sprekers Prof.dr. Guido Dedene, LIRIS, FEB, K.U.Leuven

Doelstelling


Vele organisaties maken vandaag de dag gebruik van diagrammen uit de Unified Modeling Language (UML) voor de analyse van informatiesystemen: use cases, klassendiagramma's, en soms ook toestandsdiagramma's en sequence diagramma's, alsook BPMN voor de voorstelling van bedrijfsprocessen. Toch zijn deze schema's niet volledig genoeg om de gehele analyse voldoende precies te kunnen specificeren. En zoals gekend zijn onduidelijke specificaties vaak de belangrijkste oorzaak van discussies en van vertragingen in systeemontwikkelingsprojecten.

De Object Constraint Language (OCL) is precies de sluitsteen die binnen UML toelaat om datgene wat niet grafisch kan worden aangeduid, tòch uit te drukken door middel van een formele ondubbelzinnige taal. OCL is geen programmeertaal: het is een specificatietaal, in hoofdzaak bedoeld voor business analisten. Vandaag de dag is OCL een open publieke standaard dewelke integraal deel uitmaakt van UML 2.0.

Deze workshop biedt een intensieve opleiding in OCL 2.0. Alle concepten worden overigens ruim geïllustreerd, en er zijn hands-on oefeningen voor de deelnemers. Er wordt ook ingegaan op de ondersteuning van OCL in allerlei UML-tools.

Naast uitgebreide handouts omvat de documentatie nog een CD met uitgebreide literatuur en met de officiële OCL-documenten. Van de deelnemers wordt verwacht dat zij een basiskennis hebben van UML-klassendiagramma's.   


Programma


  1. De basiskenmerken van OCL
    • De noodzaak aan een taal voor niet-grafische business rules
    • De basisstructuur voor constraints: precondities, postcondities en invarianten
    • Sterke en zwakke constraints: kwaliteitsregels voor de bepaling van constraints
    • 'Design by Contract' en correctheid van software: een illusie ?
    • De integratie van OCL in het UML-metamodel
  2. De OCL-syntax in detail
    • OCL-basis types en eigenschappen
    • Conformiteitsregels en type-checking in OCL
    • OCL-referentie naar collecties en naar operatoren voor collecties
    • OCL-navigatie door associaties in klassendiagramma's
    • OCL-navigatie door generalisatie/specialisatie- relaties in klassendiagramma's
    • OCL-referenties naar toestandsdiagramma's
    • OCL-functies en macro's in OCL
  3. Patronen en veel gebruikte OCL-uitdrukkingen
    • Domeinwaardenbeperkingen en waardenregels
    • Kardinaliteitsbeperkingen bij klassendiagramma's
    • Referentiële integriteitsbeperkingen bij creatie en beëindiging van objecten
    • Consistentieregels voor associatieverbanden
    • De consistentieregels van Liskov bij generalisatie/specialisatie
  4. OCL-toepassingen in technologie en tools
    • Technologie-implementaties voor constraints in JAVA en .NET
    • Tools en forward generation van constraints naar doeltalen
    • Het ontwerpen van efficiënte constrainthandlers
    • De beperkingen van OCL bij het gebruik van componenten
  5. OCL: perspectieven en verdere ontwikkelingen
    • Het gebruik van OCL bij domeinspecifieke modellen
    • OCL-scrips bij analyses
    • Probabilistische constraints
    • Discovery van constraints
  6. Conclusies en aanbevelingen