Language(s) for Process Representation
description
Transcript of Language(s) for Process Representation
![Page 1: Language(s) for Process Representation](https://reader036.fdocuments.in/reader036/viewer/2022062519/56814fd8550346895dbd9d9e/html5/thumbnails/1.jpg)
Language(s) for Process Representation
What I like about my pet
![Page 2: Language(s) for Process Representation](https://reader036.fdocuments.in/reader036/viewer/2022062519/56814fd8550346895dbd9d9e/html5/thumbnails/2.jpg)
![Page 3: Language(s) for Process Representation](https://reader036.fdocuments.in/reader036/viewer/2022062519/56814fd8550346895dbd9d9e/html5/thumbnails/3.jpg)
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?
![Page 4: Language(s) for Process Representation](https://reader036.fdocuments.in/reader036/viewer/2022062519/56814fd8550346895dbd9d9e/html5/thumbnails/4.jpg)
„Stand up comedy“
• 5-7 minutes each
• Show examples
![Page 5: Language(s) for Process Representation](https://reader036.fdocuments.in/reader036/viewer/2022062519/56814fd8550346895dbd9d9e/html5/thumbnails/5.jpg)
My processes
![Page 6: Language(s) for Process Representation](https://reader036.fdocuments.in/reader036/viewer/2022062519/56814fd8550346895dbd9d9e/html5/thumbnails/6.jpg)
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 =…
![Page 7: Language(s) for Process Representation](https://reader036.fdocuments.in/reader036/viewer/2022062519/56814fd8550346895dbd9d9e/html5/thumbnails/7.jpg)
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
![Page 8: Language(s) for Process Representation](https://reader036.fdocuments.in/reader036/viewer/2022062519/56814fd8550346895dbd9d9e/html5/thumbnails/8.jpg)
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