business process

IRI: https://spec.industrialontologies.org/ontology/construct/BusinessProcess

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

SubClass Of: planned process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › business process

Direct subclasses:

• buying business process
• commercial service
• consigning process
• freight forwarding process
• inventory management process
• logistics process
• offering for sale business process
• packaging process
• procuring business process
• product inspection process
• product production process
• product service system business process
• receiving process
• shipment preparation process
• supply chain process
• supplying business process
• warehousing process

Definition

planned process which is prescribed by a plan specification with one or more objectives specified by a business organization

Explanatory Notes

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.

Examples

• product production process; manufacturing enterprise process; finance operation; logistics operation.

Adapted From

• ISO 15704 and APICS

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

More conditions (differentia) need to be agreed upon by the domain experts.

Formal Axioms

First-Order Logic Axioms

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))

Semi-Formal Natural Language Axioms

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

Description Logic

constr:BusinessProcess ⊑ constr:PlannedProcess

constr:BusinessProcess ⊑ ∃ bfo:has_participant_at_some_time .(constr:Agent ⊓ ∃ constr:actsOnBehalfOfAtSomeTime .constr:BusinessOrganization)

constr:BusinessProcess ⊑ ∃ constr:prescribedBy .(constr:PlanSpecification ⊓ ∃ bfo:has_continuant_part_at_all_times .(constr:ObjectiveSpecification ⊓ ∃ bfo:generically_depends_on_at_some_time .constr:BusinessOrganization))

SubClassOf: constr:PlannedProcess

SubClassOf: bfo:has_participant_at_some_time some (constr:Agent and constr:actsOnBehalfOfAtSomeTime some constr:BusinessOrganization)

SubClassOf: constr:prescribedBy some (constr:PlanSpecification and bfo:has_continuant_part_at_all_times some (constr:ObjectiveSpecification and bfo:generically_depends_on_at_some_time some constr:BusinessOrganization))