Login / Signup
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