What's So Great About This?
It's like going from a feature phone to a SmartPhone.
⇒
Features are
ad hoc
hard-coded.
A SmartPhone provides a
common framework
for
various apps to come and go.
Policies can
radically
change and the system synthesizes the correct process.
The process synthesized is provably correct.
No need to verify processes and you know it achieves the goal.
Like going from pre-programmed features to a general platform for all kinds of apps
The best:
this works across not only departments but also companies.
Re-programming workflows leads to error:
©2012
Charles Petrie
- permission to reproduce widely with attribution.
