MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Read More… from Modeling and Verification of a Protocol for Operational Support
Tag: Operational Support
Access/CPN 2.0 — A High-level Interface to Coloured Petri Net Models
And here’s the demo I gave on the demo slide: MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Read More… from Access/CPN 2.0 — A High-level Interface to Coloured Petri Net Models
Slides from AIS Group Meeting
Note: If you get a security error, it is not from my site but from SlideShare – I have contacted their support to fix the problem. This morning I gave a presentation of what I’ve been doing lately. It is basically an extended version of my (planned) 5 minute presentation for the BEST workshop. These […]
Intro to the New Operational Support Service
For the last couple weeks, I've been working on a new operational support service with, among others, Joyce Nakatumba and Fabrizio Maggi. Work has basically been focusing on two points: making a new protocol with support for sessions and making a meta-model for queries, supporting more structured requests and, in particular, responses. After spending some […]
Read More… from Intro to the New Operational Support Service
Operational Support vs. Predator
After a poll on Facebook and Twitter, the name of the new version of operational support was determined to appropriately be Operational Support vs. Predator — it may seem like we are just cashing in on two fan-bases, but, hey, if it sells! MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]
Slides from (Cancelled) Presentation at the BEST Workshop
I had a 5-minute presentation of what I do at the BEST workshop. Unfortunately, due to illness, I didn’t get to hold it, but here is the slides I’d have used: What do Britney Spears and True Happiness Have to do with Work-flow Enactment? MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. […]
Read More… from Slides from (Cancelled) Presentation at the BEST Workshop