Process_Specification_Language

Process Specification Language

Process Specification Language

Set of logic terms used to describe processes


The Process Specification Language (PSL) is a set of logic terms used to describe processes. The logic terms are specified in an ontology that provides a formal description of the components and their relationships that make up a process. The ontology was developed at the National Institute of Standards and Technology (NIST), and has been approved as an international standard in the document ISO 18629.

The Process Specification Language can be used for the representation of manufacturing, engineering and business processes, including production scheduling, process planning, workflow management, business process reengineering, simulation, process realization, process modelling, and project management. In the manufacturing domain, PSL's objective is to serve as a common representation for integrating several process-related applications throughout the manufacturing process life cycle.[1]

Ontology

The foundation of the ontology of PSL is a set of primitive concepts (object, activity, activity_occurrence, timepoint), constants (inf+, inf-), functions (beginof, endof), and relations (occurrence_of, participates_in, between, before, exists_at, is_occurring_at). This core ontology is then used to describe more complex concepts.[2] The ontology uses the Common Logic Interchange Format (CLIF) to represent the concepts, constants, functions, and relations.[3]

This ontology provides a vocabulary of classes and relations for concepts at the ground level of event-instances, object-instances, and timepoints. PSL's top level is built around the following:[4]

  • Activity, a class or type of action, such as install-part, which is the class of actions in which parts are installed
  • Activity-occurrence, an event or action that takes place at a specific place and time, such as a specific instance of install-part occurring at a specific timestamp
  • Timepoint, a point in time
  • Object, anything that is not a timepoint or an activity.

See also


References

  1. "Rationale". National Institute of Standards and Technology (NIST). 2007-01-15 [created 2003].
  2. Gangemi, A., Borgo, S., Catenacci, C., and Lehman, J. (2005). "Task taxonomies for knowledge content (deliverable D07)" (PDF). Laboratory for Applied Ontology (LOA).{{cite web}}: CS1 maint: multiple names: authors list (link)



Share this article:

This article uses material from the Wikipedia article Process_Specification_Language, and is written by contributors. Text is available under a CC BY-SA 4.0 International License; additional terms may apply. Images, videos and audio are available under their respective licenses.