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