language(s) for process representation
DESCRIPTION
Language(s) for Process Representation. What I like about my pet. An Open Panel. Your examples of processes Why do you love (or hate?) language X for modeling processes? What features (or their absence) qualify X for what purpose?. „Stand up comedy“. 5-7 minutes each Show examples. - PowerPoint PPT PresentationTRANSCRIPT
Language(s) for Process Representation
What I like about my pet
An Open Panel
1. Your examples of processes
2. Why do you love (or hate?) language X for modeling processes?
3. What features (or their absence) qualify X for what purpose?
„Stand up comedy“
• 5-7 minutes each
• Show examples
My processes
Simplified Example: move
class PATH for link from to medium where move :: for -> link -> from -> to -> medium -> for
instance PATH Ferry FerryLine Landing Landing Air where move = …
instance SUPPORT Landing Ferrywhere put = …, get = …, isOn =…
instance SUPPORT Water FerryLinewhere put = …, get = …, isOn =…
Accomplishment
Event
Method
Description
Non-Agentive-Social-Object
Social-Object
Non-Physical-Endurant
Non-Physical-Object
Physical Endurant
Physical Object
Role
Information Object
Central Categories in DOLCE
PerdurantEndurant Quality
Entity
Abstract
inheres ine.g. duratione.g. depth
“things that are in time”. “things that happen in time”
to e
nhan
ce r
eada
bilit
y, o
nly
a si
mpl
ified
ver
sion
of
the
onto
logy
is d
epic
ted.
se
e:w
ww
.loa-
cnr.
it
Why I love Haskell
1. links objects to processesthrough slots for objects in process signature
move :: for -> link -> from -> to -> medium -> for
2. allows for combining processese.g. cars move with ferry (by being supported)
3. allows for multiple process realizationse.g. ferries move differently from cars