Modelling and Validating an Import/Export Shipping Process

In recent years, business process management has become increasingly popular in many industrial contexts and application domains. This is mainly because it facilitates the modelling of process specifications and the development of an executable framework, while providing concise definitions and taxonomies. The data acquired during the business process execution phase can be used for quality analysis and to demonstrate compliance to specifications. We describe an experience in the real world context of the Livorno Port Authority.