यूनिवर्सल सिस्टम लैंग्वेज

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

फिलॉसोफी
यूएसएल अपोलो सॉफ्टवेयर विकास के समय होने वाली त्रुटियों के पैटर्न या श्रेणियों की हैमिल्टन की पहचान से प्रेरित था।

कुछ स्पष्टता का आश्वासन यूएसएल व्याकरण में अंतर्निहित है।

कुछ उपयोगकर्ताओं द्वारा यूएसएल को अन्य औपचारिक सिस्टम की तुलना में अधिक उपयोगकर्ता-अनुकूल माना जाता है। यह न केवल सॉफ्टवेयर के लिए औपचारिकता है, अन्यथा भौतिक स्थान और घटना समय जैसे समस्या डोमेन के सामान्य तत्वों के लिए ऑन्टोलॉजी को भी परिभाषित करता है।

नियंत्रण के सिद्धांत के लिए औपचारिकता
आदिम संरचनाएँ इस अर्थ में सार्वभौमिक हैं कि उनका उपयोग नई अमूर्त सार्वभौमिक संरचनाओं, कार्यों या प्रकारों को प्राप्त करने में किया जा सकता है। नई वस्तुओं (अर्थात, संरचनाएं, प्रकार और कार्य) को प्राप्त करने की प्रक्रिया रचनात्मक प्रकार के सिद्धांत में नए प्रकारों को प्राप्त करने की प्रक्रिया के समान है।



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

यह भी देखें

 * सिस्टम दर्शन
 * आईडीईएफ
 * मॉडल-संचालित वास्तुकला
 * सिस्टम मॉडलिंग लैंग्वेज
 * वस्तु प्रक्रिया पद्धति

अग्रिम पठन

 * Hamilton, M., Zeldin, S. (1976), "Higher Order Software — A Methodology for Defining Software," IEEE Transactions on Software Engineering, vol. SE-2, no. 1, Mar. 1976.
 * Hamilton, M. (April 1994). "Inside Development Before the Fact". (Cover story). Special Editorial Supplement. 8ES-24ES. Electronic Design.
 * Hamilton, M. (June 1994). "001: A Full Life Cycle Systems Engineering and Software Development Environment". (Cover story). Special Editorial Supplement. 22ES-30ES. Electronic Design.
 * Hamilton, M., Hackler, W.R.. (2004), Deeply Integrated Guidance Navigation Unit (DI-GNU) Common Software Architecture Principles (revised dec-29-04), DAAAE30-02-D-1020 and DAAB07-98-D-H502/0180, Picatinny Arsenal, NJ, 2003–2004.
 * Hamilton, M. and Hackler, W.R. (2007), "Universal Systems Language for Preventative Systems Engineering," Proc. 5th Ann. Conf. Systems Eng. Res. (CSER), Stevens Institute of Technology, Mar. 2007, paper #36.
 * Hamilton, M.; Hackler, W. R. (2007). "A Formal Universal Systems Semantics for SysML". 17th Annual International Symposium, INCOSE 2007, San Diego, CA, Jun. 2007.

बाहरी संबंध

 * Hamilton Technologies