TOVE Manual

Table Of Contents

Chapter 1

1.1 Introduction
1.2 Enterprise Modeling Efforts
1.3 Evaluation Criteria
1.4 The TOVE Project
1.5 Acknowledgments
1.6 References

Chapter 2

2.1 Ontologies and Microtheories
2.2 Time and Action
2.3 References

Chapter 3

3.1 Introduction
3.2 Activities and States
3.2.1 Activity Classes and Instances
3.2.2 Successor Axioms for Status of Terminal States
3.2.3 Status of Non-Terminal States
3.2.4 Status of Activities
3.2.5 Duration
3.3 Aggregation of Activities
3.4 Symbology A
3.5 Summary
3.6 References

Chapter 4

4.1 Time Overview
4.2 Time Taxonomy
4.3 Time Point Representation
4.4 Time Point Relations
4.5 Time Period Representation
4.5.1 Time Period Relations
4.6 Time Domain Representation
4.7 Axioms for Temporal Relations


Chapter 5

Resource Ontology
5.2 Resource Ontology
5.3 Relation of the resource ontology with that of the activity-state
5.4 Conclusion
5.5 References


CHAPTER 6

An Integrated Product Ontology for TOVE
6.1 Introduction(1)
6.2 Part Ontology
6.3 Feature Ontology
6.4 Parameter Ontology
6.5 Constraint Ontology
6.6 Requirements Ontology
6.7 Symbology
6.8 Conclusions
6.9 Selected Bibliography


Chapter 7

An Organisation Ontology for Enterprise Modelling
7.1 Organisation-Entity
7.1.1 Organisation-Group
7.1.2 Organisation-Individual
7.1.3 Axioms
7.2 Organisation-Role
7.2.1 Axioms
7.3 Organisation Position
7.4 Organisation Goals
7.4.1 Objects
7.5 Communication-Link
7.5.1 Objects
7.5.2 Axioms
7.6 Empowerment
7.6.1 Objects
7.6.2 Axioms
7.7 Authority
7.7.1 Objects
7.7.2 Axioms
7.8 Coordination Speech Acts


Chapter 8

8.1 Orders
8.1.1 Order Overview
8.1.2 Introduction
8.1.3 Order Representation
8.1.3.1 Customer Frame
8.1.3.2 Order Frame
8.1.3.3 Line Item Frame
8.1.4 Order Cluster
8.2 Symbology

Chapter 9

An Ontology for Activity-Based Cost Management

9.1 Introduction
9.2 The TOVE Testbed and the Formalization of ABC
9.3 Competency of the Cost Ontology
9.4 Cost Ontology for TOVE
9.5 Resource Cost Point of Activity, a, for Resource, r, at Time point, t: cpr(a,c,t,r)
9.6 Cost point of Activity, a, at Time point, t: cpa(a,c,t)
9.7 Taxonomy of Resource Cost Units
9.8 Taxonomy and Axioms for Cost Orders
9.9 Activity Cost Taxonomy and Axioms
9.10 Activity Costs for Cost Orders
9.11 Successor Cost Axioms for Cost Computations of an Activity for Status Intervals of a Resource
9.12 Applying cpr(a,c,t,r), cpa(a,c,t) and cpo(c,x,t) for Cost Management
9.13 Computing cost point of subClass activity, ai
9.14 Computing cost point of Class Activity, a'ix, required to satisfy cost order, x
9.15 Computing cost point of cost order, x
9.16 Computing cost point of cost order class, xc
9.17 Application of the TOVE Cost Ontology towards Activity Based Costing (ABC) System.
9.18 Conventional (Traditional) Cost Accounting Systems versus ABC Systems [Cooper 90]
9.19 Mapping the Conceptualization of ABC with the Cost Ontology [refer figure 7]
9.20 Cost Terminology and Semantics 9.20.1 Resource Cost Units
9.20.1.1 committed_res_cost_unit (a, r, q, v1)
9.20.1.2 enabled_res_cost_unit (a, r, q, v2)
9.20.1.3 disenabled_res_cost_unit (a, r, q, v3)
9.20.1.4 reenabled_res_cost_unit (a, r, q, v4)
9.20.2 Resource Cost Point of Activity, a, for Resource, r, at Time point, t: cpr(a,c,t,r)
9.20.3 Cost Orders
9.20.4 Activity Costs at time point, t
9.20.5 Cost Point of an Activity, a, at time point, t: cpa (a, c, t)
9.20.6 Cost Point of an Order, x, at time point, t: cpo(c, x, t)

9.21 Symbology

9.21.1 Resource Cost Units
9.21.2 Resource Cost Point of an Activity

EIL Homepage