1 / 8

Language(s) for Process Representation

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.

nishi
Download Presentation

Language(s) for Process Representation

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Language(s) for Process Representation What I like about my pet

  2. 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?

  3. „Stand up comedy“ • 5-7 minutes each • Show examples

  4. My processes

  5. 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 =…

  6. 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”

  7. 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

More Related