Formal ontologies for data-centric business process management

Iman Poernomo, Timur Umarov, Fuad Hajiyev

2011

DOI 10.1109/icaict.2011.6110897

Достоверность данных 70 средняя

Как считается эта оценка

Складывается из проверяемых признаков самой записи: есть ли у статьи DOI, сколько независимых источников подтвердили её данные, заполнены ли обязательные поля и насколько свежо последнее подтверждение. Снижают оценку расхождения между источниками и отсутствие идентификатора. Значение от 80 означает, что запись опубликована без дополнительной проверки; от 60 до 79 — что она опубликована с пониженной достоверностью и ручная проверка желательна. Запись, выверенную редактором вручную, пересчёт не опускает ниже 90. Это оценка наших данных о статье, а не оценка самой статьи.

Аннотация

This paper addresses the problem of describing and analyzing data manipulation within business process workflow specifications. We apply a model-driven approach. We first augment typical workflow descriptions in Petri nets with ontologies written in the Web Ontology Language (OWL) and constraints written in Deontic Logic. Then we apply a model transformation from these augmented Petri nets to B machines, providing a full formal semantics of our models. A workflow, when represented as a Petri net with ontologies, can then be submitted to behavioural analysis with Petri net tools, and to analysis of data exchange with a B-based theorem prover.