An Experience on Formal Analysis of a High-Level Graphical SOA Design.

Maurice H. ter Beek Franco Mazzanti Aldi Sulova

Published in: FM+AM (2010)

Keyphrases

formal analysis
high level
low level
case study
design process
machine learning
information systems
cost effective
user experience
formal methods
web services
higher level
business processes
business process