A Formal Methodology for Developing Enterprise Systems Procedurally: Homotopy, Pi-Calculus and Event-Driven Programs.

Kenji Ohmori Tosiyasu L. Kunii

Published in: CW (2010)

Keyphrases

event driven
enterprise systems
fuzzy cognitive maps
formal language
business processes
provably correct
highly dynamic
formal model
publish subscribe
information delivery
formal methods
markup language
real time
web services
formal specification
databases
metadata