Permanent link to this class
IOF Supply Chain Reference Ontology
loading...| Preferred Name |
business process |
| Definitions |
planned process which is prescribed by a plan specification with one or more objectives specified by a business organization |
| ID |
https://spec.industrialontologies.org/ontology/core/Core/BusinessProcess |
| adapted from |
ISO 15704 and APICS |
| definition |
planned process which is prescribed by a plan specification with one or more objectives specified by a business organization |
| example |
product production process; manufacturing enterprise process; finance operation; logistics operation. |
| explanatory note |
This definition leaves open the possibility that the business entity that carries the plan that prescribes the process, has no direct participation in the process, which would imply that some 3rd-party agent is playing a causal role as the process unfolds, and is acting on behalf of the Business Entity's interests. |
| first-order logic axiom |
BusinessProcess (p) → PlannedProcess(p) ∧ ∃o,∃b,∃s,∃y (ObjectiveSpecification(o) ∧ BusinessOrganization(b) ∧ PlanSpecification(s) ∧ isCarrierOfAtSomeTime(b,o) ∧ continuantPartofAtAllTimes(o,s) ∧ Agent(y) ∧ actsOnBehalfOfAtSomeTime(y,b) ∧ participatesInAtSomeTime(y,x)) |
| is defined by | |
| is primitive |
true |
| label |
business process |
| natural language definition |
planned process which is prescribed by a plan specification with one or more objectives specified by a business organization |
| note |
if x is a 'business process' then x is a 'planned process' that 'has participant at some time' some 'agent' that 'acts on behalf of at some time' a 'business organization' that 'is carrier of at some time' some 'objective specification' that is 'continuant part of at all times' a 'plan specification' that 'prescribes' x More conditions (differentia) need to be agreed upon by the domain experts. BusinessProcess (p) → PlannedProcess(p) ∧ ∃o,∃b,∃s,∃y (ObjectiveSpecification(o) ∧ BusinessOrganization(b) ∧ PlanSpecification(s) ∧ isCarrierOfAtSomeTime(b,o) ∧ continuantPartofAtAllTimes(o,s) ∧ Agent(y) ∧ actsOnBehalfOfAtSomeTime(y,b) ∧ participatesInAtSomeTime(y,x)) planned process which is prescribed by a plan specification with one or more objectives specified by a business organization product production process; manufacturing enterprise process; finance operation; logistics operation. This definition leaves open the possibility that the business entity that carries the plan that prescribes the process, has no direct participation in the process, which would imply that some 3rd-party agent is playing a causal role as the process unfolds, and is acting on behalf of the Business Entity's interests. |
| preferred label |
business process |
| prefixIRI |
iof-core:BusinessProcess |
| prefLabel |
business process |
| primitive rationale |
More conditions (differentia) need to be agreed upon by the domain experts. |
| semi-formal natural language axiom |
if x is a 'business process' then x is a 'planned process' that 'has participant at some time' some 'agent' that 'acts on behalf of at some time' a 'business organization' that 'is carrier of at some time' some 'objective specification' that is 'continuant part of at all times' a 'plan specification' that 'prescribes' x |
| source |
ISO 15704 and APICS |
| subClassOf |
https://spec.industrialontologies.org/ontology/core/Core/PlannedProcess |
| Delete | Subject | Author | Type | Created |
|---|---|---|---|---|
| No notes to display |