imported>Chongkian: write common abbreviations (as an alternative name) in bold and parentheses per MOS:BOLDALTNAMES

2024-01-30T12:44:10Z

write common abbreviations (as an alternative name) in bold and parentheses per MOS:BOLDALTNAMES

New page

{{Short description|Set of logic terms used to describe processes}}
{{Use Oxford spelling|date=January 2012}}
The '''Process Specification Language''' ('''PSL''') is a set of [[Mathematical logic#Formal logic|logic]] terms used to describe [[Process (philosophy)|processes]]. The logic terms are [[Specification language|specified]] in an [[Ontology (information science)|ontology]] that provides a [[Formal system|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 [[International Organization for Standardization|ISO]] 18629.

The Process Specification Language can be used for the representation of [[manufacturing process|manufacturing]], [[Systems engineering process|engineering]] and [[business process]]es, 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 [[Product lifecycle management|life cycle]].<ref>{{cite web|title=Rationale|url=http://www.mel.nist.gov/psl/rationale.html|publisher=[[National Institute of Standards and Technology]] (NIST)|orig-year=created 2003 |date=2007-01-15}}</ref>

==Ontology==
The foundation of the ontology of PSL is a set of primitive [[concept]]s (''object, activity, activity_occurrence, timepoint''), constants (''inf+, inf-''), functions (''beginof, endof''), and [[Relation (mathematics)|relations]] (''occurrence_of, participates_in, between, before, exists_at, is_occurring_at''). This core ontology is then used to describe more complex concepts.<ref>{{cite web|title=PSL Core|url=http://www.mel.nist.gov/psl/psl-ontology/psl_core.html|publisher=[[National Institute of Standards and Technology]] (NIST)|date=April 2008}}</ref> The ontology uses the [[Common logic|Common Logic Interchange Format]] (CLIF) to represent the concepts, constants, functions, and relations.<ref>{{cite web |title=PSL Ontology -- Current Theories and Extensions |url=http://www.mel.nist.gov/psl/ontology.html |publisher=[[National Institute of Standards and Technology]] (NIST) |orig-year=created 2003 |date=2007-01-15 |archive-url=https://web.archive.org/web/20071230103337/http://www.mel.nist.gov/psl/ontology.html |archive-date=30 December 2007 |url-status=dead}}</ref>

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:<ref name="D07_v21a">{{cite web|author=Gangemi, A., Borgo, S., Catenacci, C., and Lehman, J.|title=Task taxonomies for knowledge content (deliverable D07)|url=http://www.loa-cnr.it/Papers/D07_v21a.pdf|publisher=Laboratory for Applied Ontology (LOA)|year=2005}}</ref>
* 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==
* [[ISO TC 184/SC 4]], standards for industrial data
* [[Process ontology]], ontologies for processes

==References==
{{Reflist}}

{{ISO standards}}

[[Category:Ontology (information science)]]
[[Category:ISO 18629]]

{{Standard-stub}}
{{Compu-lang-stub}}
{{business-stub}}

Process Specification Language - Revision history

imported>Chongkian: write common abbreviations (as an alternative name) in bold and parentheses per MOS:BOLDALTNAMES