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
Simplified Example: move class PATHfor link from to medium where move :: for -> link -> from -> to -> medium -> for instance PATH Ferry FerryLine LandingLanding Air wheremove = … instance SUPPORT Landing Ferry where put = …, get = …, isOn =… instance SUPPORT Water FerryLine where put = …, get = …, isOn =…
Central Categories in DOLCE to enhance readability, only a simplified version of the ontology is depicted. see:www.loa-cnr.it “things that are in time”. “things that happen in time”
Why I love Haskell • links objects to processes through slots for objects in process signature move:: for -> link -> from -> to -> medium -> for • allows for combining processes e.g. cars move with ferry (by being supported) • allows for multiple process realizations e.g. ferries move differently from cars