In this paper we describe a formal ontological description of the Business Process Modelling Notation (BPMN), one of the most popular languages for business process modelling. The proposed ontology (the BPMN Ontology) provides a classification of all the elements of BPMN, together with the formal description of the attributes and conditions describing how the elements can be combined in a BPMN business process description. Using the classes and properties defined in the BPMN Ontology any BPMN diagram can be represented as an A-box (i.e., a set of instances and assertions on them) of the ontology: this allows the exploitation of ontological reasoning services such as consistency checking and query answering to investigate the compliance of a process with the BPMN Specification as well as other structural property of the process. The paper also presents the modelling process followed for the creation of the BPMN Ontology, and describes some application scenarios exploiting the BPMN Ontology.
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
Tel.: +1 703 830 6300
Fax: +1 703 830 2300 firstname.lastname@example.org
(Corporate matters and books only) IOS Press c/o Accucoms US, Inc.
For North America Sales and Customer Service
West Point Commons
Lansdale PA 19446
Tel.: +1 866 855 8967
Fax: +1 215 660 5042 email@example.com