Sciweavers

DEXA
2010
Springer
186views Database» more  DEXA 2010»
13 years 5 months ago
An Open Platform for Business Process Modeling and Verification
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
Antonio De Nicola, Michele Missikoff, Maurizio Pro...