प्रक्रिया विनिर्देश लैंग्वेज (प्रोसेस स्पेसिफिकेशन लैंग्वेज)

प्रक्रिया विशिष्टता भाषा (पीएसएल) गणितीय तर्क#औपचारिक तर्क शब्दों का एक सेट है जिसका उपयोग प्रक्रिया (दर्शन) का वर्णन करने के लिए किया जाता है। तर्क शब्द ओन्टोलॉजी (सूचना विज्ञान) में विशिष्टता भाषा हैं जो एक प्रक्रिया बनाने वाले घटकों और उनके संबंधों की एक औपचारिक प्रणाली प्रदान करती है। ऑन्टोलॉजी को राष्ट्रीय मानक और प्रौद्योगिकी संस्थान (एनआईएसटी) में विकसित किया गया था, और दस्तावेज़ अंतर्राष्ट्रीय मानकीकरण संगठन 18629 में इसे एक अंतरराष्ट्रीय मानक के रूप में अनुमोदित किया गया है।

प्रक्रिया विशिष्टता भाषा का उपयोग विनिर्माण प्रक्रिया, सिस्टम इंजीनियरिंग प्रक्रिया और व्यावसायिक प्रक्रियाओं के प्रतिनिधित्व के लिए किया जा सकता है, जिसमें उत्पादन शेड्यूलिंग, प्रक्रिया योजना, वर्कफ़्लो प्रबंधन, व्यवसाय प्रक्रिया पुनर्रचना, सिमुलेशन, प्रक्रिया प्राप्ति, प्रक्रिया मॉडलिंग और परियोजना प्रबंधन शामिल हैं। विनिर्माण क्षेत्र में, पीएसएल का उद्देश्य विनिर्माण प्रक्रिया उत्पाद जीवनचक्र प्रबंधन में कई प्रक्रिया-संबंधित अनुप्रयोगों को एकीकृत करने के लिए एक सामान्य प्रतिनिधित्व के रूप में कार्य करना है।

ओन्टोलॉजी
पीएसएल की ऑन्कोलॉजी की नींव आदिम अवधारणाओं (वस्तु, गतिविधि, गतिविधि_घटना, समयबिंदु), स्थिरांक (inf+, inf-), फ़ंक्शन (शुरुआत, अंत), और संबंध (गणित) (घटना_की, भाग_में, के बीच) का एक सेट है। पहले, अस्तित्व_पर, है_घटित_पर)। फिर इस मूल ऑन्कोलॉजी का उपयोग अधिक जटिल अवधारणाओं का वर्णन करने के लिए किया जाता है। ऑन्कोलॉजी अवधारणाओं, स्थिरांक, कार्यों और संबंधों का प्रतिनिधित्व करने के लिए सामान्य तर्क (सीएलआईएफ) का उपयोग करती है। यह ऑन्कोलॉजी घटना-उदाहरण, वस्तु-उदाहरण और समय-बिंदु के जमीनी स्तर पर अवधारणाओं के लिए वर्गों और संबंधों की एक शब्दावली प्रदान करती है। पीएसएल का शीर्ष स्तर निम्नलिखित के आसपास बनाया गया है:
 * गतिविधि, एक वर्ग या क्रिया का प्रकार, जैसे इंस्टॉल-पार्ट, जो क्रियाओं का वह वर्ग है जिसमें भाग स्थापित होते हैं
 * गतिविधि-घटना, एक घटना या क्रिया जो एक विशिष्ट स्थान और समय पर होती है, जैसे कि एक विशिष्ट TIMESTAMP  पर होने वाले इंस्टॉल-पार्ट का एक विशिष्ट उदाहरण
 * समयबिंदु, समय में एक बिंदु
 * वस्तु, कोई भी चीज़ जो समयबिंदु या गतिविधि नहीं है।

यह भी देखें

 * आईएसओ टीसी 184/एससी 4, औद्योगिक डेटा के लिए मानक
 * प्रक्रिया ऑन्कोलॉजी, प्रक्रियाओं के लिए ऑन्कोलॉजी