language s for process representation n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
Language(s) for Process Representation PowerPoint Presentation
Download Presentation
Language(s) for Process Representation

Loading in 2 Seconds...

play fullscreen
1 / 8

Language(s) for Process Representation - PowerPoint PPT Presentation


  • 120 Views
  • Uploaded on

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.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'Language(s) for Process Representation' - nishi


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.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
an open panel
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
„Stand up comedy“
  • 5-7 minutes each
  • Show examples
simplified example move
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
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
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