An Open Platform for Business Process Modeling and Verification.

Antonio De Nicola Michele Missikoff Maurizio Proietti Fabrizio Smith

Published in: DEXA (1) (2010)

Keyphrases

business process modeling
business process
business processes
modeling language
real time
service oriented
machine learning
web service technology
databases
business process management
formal verification
signature verification
software engineering
life cycle
model checking
data warehouse
information systems