A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products

Authors:
Souhei Ito;Shigeki Hagihara;Naoki Yonezaki
Affiliations:
Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology;Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology;Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology
Venue:
Proceedings of the 2008 conference on Information Modelling and Knowledge Bases XIX
Year:
2008

Citing 2
Cited 1

An Accounting Object Infrastructure for Knowledge-Based Enterprise Models

IEEE Intelligent Systems
The Enterprise Ontology

The Knowledge Engineering Review

The formal REA model at the operational level

Applied Ontology

Quantified Score

Hi-index	0.00

Visualization

Abstract

TAP is a general process modeling framework with which we can describe process specifications in terms of tasks, agents and products that are relevant to the concept of processes. However, its formal semantics and pragmatics have not been rigorously studied, i.e. the usage of vocabulary words provided by TAP framework and the pieces of reality which TAP framework captures has not been formally considered. In this paper, we clarify the pragmatics of TAP and the world structures of TAP process models by formal approach. We present the semantic structure for TAP process models and introduce a logical language to restrict world structures of TAP. A formal ontology for business process model TAP is the characterization described as a set of axioms in our logical language.