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

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

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

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

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

यह भी देखें

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