wsmo tue oct 5
notes: eyal oren

attendents:
jos de bruijn, emilia cimpian, enrica dente, kristina, holger lausen, doug foxvog, juan, armin haller, martin hepp, uwe keller, ruben lara, adrian mocan, fransisco, eyal oren, axel polleres, titi roman, laurentiu vasiliu, michal zaremba

discussed today:

d2:
remove typeSet, by default type = setvalued; introduce cardinality restrictions for single valued types
is type{X,Y} in MOF union or intersection? we want to say union
nfp: typeSet
listing 8 attributeValue typeSet attributeValue
listing 9: value typeSet
delete explanation on requester/provider preconditions/assumptions: leave it open for now.
make requestedService subClassOf service; providedService subClassOf service, etc...
listed nonFunctionalProperties  are preferred nfp's

d3.2:
make deliverables out of detailed use cases:
	d3,2 is use case overview
	d3.3 is virtual travel agency use case
	d3.4 is b2b use case
	d3.5 is SWF use case (which is a WSMO conforming cover page to the real document)

d14:
next version will include mapping to ASM and example

d17:
michal: fix bugs (dead links), proofreading and then make final version 0.1

axel & ruben report on meeting on service composition (dip & knowledge web)
ruben: trento is doing interesting work on composition
action: ruben invites trento to give overview of work and interest of joining

axel gives presentation on service composition