The paper presents research on artifact-centric business process modeling (BPM). The artifact-centric modeling of information systems and web information systems has a history more than a decade long [1]. During the development of the concept, the artifact incorporated into itself a generalized, complex data structure that is subjected to various processes in an organizational environment. For information systems modeling, the original goal of this research was to create a symbiosis between data and processes, exploiting the counterpoint between these two approaches for model checking, verification, and validation. For that reason, artifact-centric modeling has a strong formal background.

The paper refers to previous research, and the results are applied to a bounded model represented by the visual unified modeling language (UML). Some models of object-oriented analysis and design have been selected, namely class diagram, state machine diagram, activity diagram, and object constraint language for formulating restrictions on operation contracts between services (tasks).

The authors describe their formal logic-based approach, which makes semantic reasoning on the UML models that follow the artifact-centric representation possible.

The major result of the paper is the integration of basic models of object-oriented analysis represented in UML for automated reasoning based on logic and rules. The artifact-centric approaches allow for unified and uniform handling in several facets of information systems. The work is interesting for researchers in the fields of information systems modeling, model checking, verification, and validation, and the results may provide clues to other approaches.