Name
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. |
Year | Venue | Keywords |
|---|---|---|
2007 | European Journal of Combinatorics | logical language,world structure,tap framework capture,tap process model,formal ontology,process specification,business process model tap,formal approach,tap framework,general process modeling framework |
Field | DocType | Citations |
Vocabulary Words,Pragmatics,Axiom,Computer science,Process modeling,Formal ontology,Natural language processing,Artificial intelligence,Business process modeling,restrict,Semantics of logic | Conference | 1 |
PageRank | References | Authors |
0.36 | 4 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Souhei Ito | 1 | 2 | 1.05 |
| Shigeki Hagihara | 2 | 78 | 12.33 |
| Naoki Yonezaki | 3 | 107 | 20.02 |