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

From Vigyanwiki
No edit summary
 
(5 intermediate revisions by 5 users not shown)
Line 1: Line 1:
यूनिवर्सल सिस्टम लैंग्वेज (यूएसएल) सिस्टम [[मॉडलिंग भाषा]] और सॉफ्टवेयर और अन्य जटिल प्रणालियों के विनिर्देश और डिजाइन के लिए [[औपचारिक विधि]] है। इसे [[मार्गरेट हैमिल्टन (वैज्ञानिक)]] ने [[अपोलो कार्यक्रम]] के लिए उड़ान सॉफ्टवेयर लिखने के अपने अनुभवों के आधार पर डिजाइन किया था।<ref name="USL">[[Margaret Hamilton (scientist)|M. Hamilton]] and W.&nbsp;R. Hackler, "[http://www.htius.com/Articles/r12ham.pdf Universal Systems Language: Lessons Learned from Apollo]", IEEE Computer, Dec. 2008.</ref> भाषा को हैमिल्टन टेक्नोलॉजीज, इंक द्वारा 001 टूल सूट सॉफ्टवेयर के माध्यम से कार्यान्वित किया जाता है।<ref>[http://www.htius.com 001 Tool Suite (1986-2020)]</ref> यूएसएल 001AXES से विकसित हुआ जो बदले में AXES से विकसित हुआ, जो सभी हैमिल्टन के नियंत्रण के सिद्धांतों पर आधारित हैं। 001 टूल सूट अपनी जीवन-चक्र विकास प्रक्रिया के लिए डेवलपमेंट बिफोर द फैक्ट (डीबीटीएफ) की निवारक अवधारणा का उपयोग करता है। डीबीटीएफ विकास प्रक्रिया के दौरान जितनी जल्दी हो सके त्रुटियों को समाप्त कर देता है और तथ्य के बाद त्रुटियों को देखने की आवश्यकता को समाप्त कर देता है।
'''यूनिवर्सल सिस्टम लैंग्वेज (यूएसएल)''' सिस्टम [[मॉडलिंग भाषा|मॉडलिंग लैंग्वेज,]] सॉफ्टवेयर और अन्य समिष्ट सिस्टम के विनिर्देश और डिजाइन के लिए [[औपचारिक विधि]] है। इसे [[मार्गरेट हैमिल्टन (वैज्ञानिक)|मार्गरेट हैमिल्टन]] ने [[अपोलो कार्यक्रम]] के लिए उड़ान सॉफ्टवेयर लिखने के अपने अनुभवों के आधार पर डिजाइन किया था।<ref name="USL">[[Margaret Hamilton (scientist)|M. Hamilton]] and W.&nbsp;R. Hackler, "[http://www.htius.com/Articles/r12ham.pdf Universal Systems Language: Lessons Learned from Apollo]", IEEE Computer, Dec. 2008.</ref> लैंग्वेज को हैमिल्टन टेक्नोलॉजीज, इंक द्वारा 001 टूल सूट सॉफ्टवेयर के माध्यम से कार्यान्वित किया जाता है।<ref>[http://www.htius.com 001 Tool Suite (1986-2020)]</ref> 001AXES जो विपरीत में AXES से विकसित हुए हैं, और ये सभी हैमिल्टन के नियंत्रण के सिद्धांतों पर आधारित हैं। 001 टूल सूट अपनी जीवन-चक्र विकास प्रक्रिया के लिए डेवलपमेंट बिफोर द फैक्ट (डीबीटीएफ) की निवारक अवधारणा का उपयोग करता है। डीबीटीएफ विकास प्रक्रिया के समय जितनी शीघ्र हो सके त्रुटियों को समाप्त कर देता है और तथ्य के पश्चात त्रुटियों को देखने की आवश्यकता को समाप्त कर देता है।


==दर्शन==
==फिलॉसोफी ==
यूएसएल अपोलो सॉफ्टवेयर विकास के दौरान होने वाली त्रुटियों के पैटर्न या श्रेणियों की हैमिल्टन की पहचान से प्रेरित था।<ref>{{cite web|title="Universal Systems Language and its Automation, the 001 Tool Suite, for Designing and Building Systems and Software" Lockheed Martin/IEEE Computer Society Webinar Series|author= Margaret H. Hamilton, Hamilton Technologies|date=September 27, 2012|url=https://media.computer.org/sponsored/podcast/lmco/lmco-089-p.mp4?_kip_ipx=966916323-1480349712}}</ref><ref name="Hamilton2018">{{cite journal |last=Hamilton |first=Margaret H. |title=त्रुटियाँ हमें क्या बताती हैं|journal=[[IEEE Software]] |volume=35 |issue=5 |year=2018 |pages=32–37 |issn=0740-7459 |doi=10.1109/MS.2018.290110447|s2cid=52896962 |doi-access=free }}</ref>
यूएसएल अपोलो सॉफ्टवेयर विकास के समय होने वाली त्रुटियों के पैटर्न या श्रेणियों की हैमिल्टन की पहचान से प्रेरित था।<ref>{{cite web|title="Universal Systems Language and its Automation, the 001 Tool Suite, for Designing and Building Systems and Software" Lockheed Martin/IEEE Computer Society Webinar Series|author= Margaret H. Hamilton, Hamilton Technologies|date=September 27, 2012|url=https://media.computer.org/sponsored/podcast/lmco/lmco-089-p.mp4?_kip_ipx=966916323-1480349712}}</ref><ref name="Hamilton2018">{{cite journal |last=Hamilton |first=Margaret H. |title=त्रुटियाँ हमें क्या बताती हैं|journal=[[IEEE Software]] |volume=35 |issue=5 |year=2018 |pages=32–37 |issn=0740-7459 |doi=10.1109/MS.2018.290110447|s2cid=52896962 |doi-access=free }}</ref>
यूएसएल व्याकरण में कुछ शुद्धता की गारंटी अंतर्निहित है।<ref>Dolha, Steve, Chiste, Dave, "A Remote Query System for the Web: Managing the Development of Distributed Systems.", Chapter 32, Internet Management, Editor Jessica Keyes, Auerbach, 2000.</ref>
 
कुछ उपयोगकर्ताओं द्वारा यूएसएल को अन्य औपचारिक प्रणालियों की तुलना में अधिक [[प्रयोज्य]]|उपयोगकर्ता-अनुकूल माना जाता है।<ref>Krut, Jr., B., "[https://apps.dtic.mil/sti/pdfs/ADA293427.pdf Integrating 001 Tool Support in the Feature-Oriented Domain Analysis Methodology]" (CMU/SEI-93-TR-11, ESC-TR-93-188), Pittsburgh, SEI, Carnegie Mellon University, 1993.</ref> यह न केवल सॉफ्टवेयर के लिए औपचारिकता है, बल्कि भौतिक स्थान और घटना समय जैसे समस्या डोमेन के सामान्य तत्वों के लिए [[ऑन्टोलॉजी (सूचना विज्ञान)]] को भी परिभाषित करता है।
कुछ स्पष्टता का आश्वासन यूएसएल व्याकरण में अंतर्निहित है।<ref>Dolha, Steve, Chiste, Dave, "A Remote Query System for the Web: Managing the Development of Distributed Systems.", Chapter 32, Internet Management, Editor Jessica Keyes, Auerbach, 2000.</ref>
 
कुछ उपयोगकर्ताओं द्वारा यूएसएल को अन्य औपचारिक सिस्टम की तुलना में अधिक [[प्रयोज्य|उपयोगकर्ता-अनुकूल]] माना जाता है।<ref>Krut, Jr., B., "[https://apps.dtic.mil/sti/pdfs/ADA293427.pdf Integrating 001 Tool Support in the Feature-Oriented Domain Analysis Methodology]" (CMU/SEI-93-TR-11, ESC-TR-93-188), Pittsburgh, SEI, Carnegie Mellon University, 1993.</ref> यह न केवल सॉफ्टवेयर के लिए औपचारिकता है, अन्यथा भौतिक स्थान और घटना समय जैसे समस्या डोमेन के सामान्य तत्वों के लिए [[ऑन्टोलॉजी (सूचना विज्ञान)|ऑन्टोलॉजी]] को भी परिभाषित करता है।


==नियंत्रण के सिद्धांत के लिए औपचारिकता==
==नियंत्रण के सिद्धांत के लिए औपचारिकता==
<ref>[[Margaret Hamilton (scientist)|Hamilton, M.]], "[http://www.htius.com/Articles/ELECTRONIC_DESIGN/INSIDE_DBTF.pdf Inside Development Before the Fact"], cover story, Special Editorial Supplement, 8ES-24ES. Electronic Design, Apr. 1994.</ref><ref>[[Margaret Hamilton (scientist)|Hamilton, M.]], "[http://www.htius.com/Articles/ELECTRONIC_DESIGN/001_A_FULL_LIFE_CYCLE.pdf 001: A FULL LIFE CYCLE SYSTEMS ENGINEERING AND SOFTWARE DEVELOPMENT ENVIRONMENT Development Before The Fact In Action"], cover story, Special Editorial Supplement, 8ES-24ES. Electronic Design, Apr. 1994.</ref>
<ref>[[Margaret Hamilton (scientist)|Hamilton, M.]], "[http://www.htius.com/Articles/ELECTRONIC_DESIGN/INSIDE_DBTF.pdf Inside Development Before the Fact"], cover story, Special Editorial Supplement, 8ES-24ES. Electronic Design, Apr. 1994.</ref><ref>[[Margaret Hamilton (scientist)|Hamilton, M.]], "[http://www.htius.com/Articles/ELECTRONIC_DESIGN/001_A_FULL_LIFE_CYCLE.pdf 001: A FULL LIFE CYCLE SYSTEMS ENGINEERING AND SOFTWARE DEVELOPMENT ENVIRONMENT Development Before The Fact In Action"], cover story, Special Editorial Supplement, 8ES-24ES. Electronic Design, Apr. 1994.</ref>
आदिम संरचनाएँ इस मायने में सार्वभौमिक हैं कि उनका उपयोग नई अमूर्त सार्वभौमिक संरचनाओं, कार्यों या प्रकारों को प्राप्त करने में किया जा सकता है। नई वस्तुओं (अर्थात, संरचनाएं, प्रकार और कार्य) को प्राप्त करने की प्रक्रिया रचनात्मक प्रकार के सिद्धांत में नए प्रकारों को प्राप्त करने की प्रक्रिया के बराबर है।
आदिम संरचनाएँ इस अर्थ में सार्वभौमिक हैं कि उनका उपयोग नई अमूर्त सार्वभौमिक संरचनाओं, कार्यों या प्रकारों को प्राप्त करने में किया जा सकता है। नई वस्तुओं (अर्थात, संरचनाएं, प्रकार और कार्य) को प्राप्त करने की प्रक्रिया रचनात्मक प्रकार के सिद्धांत में नए प्रकारों को प्राप्त करने की प्रक्रिया के समान है।


[[Image:ucs rules.png|center|frame|आकृति। 1 तीन आदिम नियंत्रण संरचनाएं और उनके नियम समय और स्थान के डोमेन में FMaps और TMaps के रूप में मानचित्र बनाने के लिए  सार्वभौमिक आधार बनाते हैं।]]
[[Image:ucs rules.png|center|frame|आकृति 1 तीन आदिम नियंत्रण संरचनाएं और उनके नियम समय और स्थान के डोमेन में FMaps और TMaps के रूप में मानचित्र बनाने के लिए  सार्वभौमिक आधार बनाते हैं।]]


==कार्यान्वयन==
==कार्यान्वयन==
यूएसएल के साथ अपने स्वचालन, 001 टूल सूट (001) के साथ सॉफ्टवेयर सिस्टम विकसित करने की प्रक्रिया इस प्रकार है: यूएसएल के साथ सिस्टम को परिभाषित करें, यह सुनिश्चित करने के लिए कि यूएसएल का सही ढंग से उपयोग किया गया था, स्वचालित रूप से 001 के विश्लेषक के साथ परिभाषा का विश्लेषण करें, स्वचालित रूप से बहुत कुछ उत्पन्न करें 001 के जनरेटर के साथ डिज़ाइन और सभी कार्यान्वयन कोड।<ref>Ouyang, M., Golay, M.W. 1995, ''[http://dspace.mit.edu/handle/1721.1/67642 An Integrated Formal Approach for Developing High Quality Software of Safety-Critical Systems]'', Massachusetts Institute of Technology, Cambridge, Massachusetts, Report No. MIT-ANP-TR-035.
यूएसएल के साथ अपने स्वचालन, 001 टूल सूट (001) के साथ सॉफ्टवेयर सिस्टम विकसित करने की प्रक्रिया इस प्रकार है: यूएसएल के साथ सिस्टम को परिभाषित करें, स्वचालित रूप से 001 के विश्लेषक के साथ परिभाषा का विश्लेषण करें, जिससे यह सुनिश्चित हो सके कि यूएसएल का उचित रूप से उपयोग किया गया था, 001 के जनरेटर के साथ स्वचालित रूप से अधिकांश डिज़ाइन और सभी कार्यान्वयन कोड उत्पन्न होते हैं।<ref>Ouyang, M., Golay, M.W. 1995, ''[http://dspace.mit.edu/handle/1721.1/67642 An Integrated Formal Approach for Developing High Quality Software of Safety-Critical Systems]'', Massachusetts Institute of Technology, Cambridge, Massachusetts, Report No. MIT-ANP-TR-035.
</ref><ref>Software Productivity Consortium, (SPC) (1998), ''Object-Oriented Methods and Tools Survey'', Herndon, VA.SPC-98022-MC, Version 02.00.02, December 1998.</ref><ref>Max Schindler (1990) ''Computer Aided Software Design'', John Wiley & Sons, 1990.</ref><ref>* Department of Defense (1992). ''Software engineering tools experiment-Final report'', Vol. 1, Experiment Summary, Table 1, p.&nbsp;9. Strategic Defense Initiative, Washington, D.C.</ref> यूएसएल का उपयोग अन्य भाषाओं को अपना औपचारिक समर्थन देने के लिए किया जा सकता है।<ref>[[Margaret Hamilton (scientist)|Hamilton, M.]] Hackler, W.R., "[http://www.htius.com/Articles/INCOSE.pdf A Formal Universal Systems Semantics for SysML], 17th Annual International Symposium, INCOSE 2007, San Diego, CA, June 2007.</ref>
</ref><ref>Software Productivity Consortium, (SPC) (1998), ''Object-Oriented Methods and Tools Survey'', Herndon, VA.SPC-98022-MC, Version 02.00.02, December 1998.</ref><ref>Max Schindler (1990) ''Computer Aided Software Design'', John Wiley & Sons, 1990.</ref><ref>* Department of Defense (1992). ''Software engineering tools experiment-Final report'', Vol. 1, Experiment Summary, Table 1, p.&nbsp;9. Strategic Defense Initiative, Washington, D.C.</ref> यूएसएल का उपयोग अन्य भाषाओं को अपना औपचारिक समर्थन देने के लिए किया जा सकता है।<ref>[[Margaret Hamilton (scientist)|Hamilton, M.]] Hackler, W.R., "[http://www.htius.com/Articles/INCOSE.pdf A Formal Universal Systems Semantics for SysML], 17th Annual International Symposium, INCOSE 2007, San Diego, CA, June 2007.</ref>


Line 20: Line 22:
* [[आईडीईएफ]]
* [[आईडीईएफ]]
* [[मॉडल-संचालित वास्तुकला]]
* [[मॉडल-संचालित वास्तुकला]]
* [[सिस्टम मॉडलिंग भाषा]]
* [[सिस्टम मॉडलिंग भाषा|सिस्टम मॉडलिंग लैंग्वेज]]  
* [[वस्तु प्रक्रिया पद्धति]]
* [[वस्तु प्रक्रिया पद्धति]]


==संदर्भ==
==संदर्भ==
{{Reflist}}
{{Reflist}}


== अग्रिम पठन ==
== अग्रिम पठन ==
Line 34: Line 35:
* Hamilton, M. and Hackler, W.R. (2007), "[http://www.htius.com/Articles/36.pdf 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. and Hackler, W.R. (2007), "[http://www.htius.com/Articles/36.pdf 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). "[http://www.htius.com/Articles/INCOSE.pdf A Formal Universal Systems Semantics for SysML]". 17th Annual International Symposium, INCOSE 2007, San Diego, CA, Jun. 2007.
* Hamilton, M.; Hackler, W. R. (2007). "[http://www.htius.com/Articles/INCOSE.pdf A Formal Universal Systems Semantics for SysML]". 17th Annual International Symposium, INCOSE 2007, San Diego, CA, Jun. 2007.
==बाहरी संबंध==
==बाहरी संबंध==
{{Commons category}}
* [http://htius.com Hamilton Technologies]
* [http://htius.com Hamilton Technologies]
[[Category: औपचारिक विशिष्टता भाषाएँ]] [[Category: प्रणाली अभियांत्रिकी]] [[Category: मॉडलिंग भाषाएँ]]


[[Category: Machine Translated Page]]
[[Category:Commons category link from Wikidata]]
[[Category:Created On 09/07/2023]]
[[Category:Created On 09/07/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:औपचारिक विशिष्टता भाषाएँ]]
[[Category:प्रणाली अभियांत्रिकी]]
[[Category:मॉडलिंग भाषाएँ]]

Latest revision as of 12:28, 8 September 2023

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

फिलॉसोफी

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

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

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

नियंत्रण के सिद्धांत के लिए औपचारिकता

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

आकृति 1 तीन आदिम नियंत्रण संरचनाएं और उनके नियम समय और स्थान के डोमेन में FMaps और TMaps के रूप में मानचित्र बनाने के लिए सार्वभौमिक आधार बनाते हैं।

कार्यान्वयन

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

यह भी देखें

संदर्भ

  1. ↑ M. Hamilton and W. R. Hackler, "Universal Systems Language: Lessons Learned from Apollo", IEEE Computer, Dec. 2008.
  2. ↑ 001 Tool Suite (1986-2020)
  3. ↑ Margaret H. Hamilton, Hamilton Technologies (September 27, 2012). ""Universal Systems Language and its Automation, the 001 Tool Suite, for Designing and Building Systems and Software" Lockheed Martin/IEEE Computer Society Webinar Series".
  4. ↑ Hamilton, Margaret H. (2018). "त्रुटियाँ हमें क्या बताती हैं". IEEE Software. 35 (5): 32–37. doi:10.1109/MS.2018.290110447. ISSN 0740-7459. S2CID 52896962.
  5. ↑ Dolha, Steve, Chiste, Dave, "A Remote Query System for the Web: Managing the Development of Distributed Systems.", Chapter 32, Internet Management, Editor Jessica Keyes, Auerbach, 2000.
  6. ↑ Krut, Jr., B., "Integrating 001 Tool Support in the Feature-Oriented Domain Analysis Methodology" (CMU/SEI-93-TR-11, ESC-TR-93-188), Pittsburgh, SEI, Carnegie Mellon University, 1993.
  7. ↑ Hamilton, M., "Inside Development Before the Fact", cover story, Special Editorial Supplement, 8ES-24ES. Electronic Design, Apr. 1994.
  8. ↑ Hamilton, M., "001: A FULL LIFE CYCLE SYSTEMS ENGINEERING AND SOFTWARE DEVELOPMENT ENVIRONMENT Development Before The Fact In Action", cover story, Special Editorial Supplement, 8ES-24ES. Electronic Design, Apr. 1994.
  9. ↑ Ouyang, M., Golay, M.W. 1995, An Integrated Formal Approach for Developing High Quality Software of Safety-Critical Systems, Massachusetts Institute of Technology, Cambridge, Massachusetts, Report No. MIT-ANP-TR-035.
  10. ↑ Software Productivity Consortium, (SPC) (1998), Object-Oriented Methods and Tools Survey, Herndon, VA.SPC-98022-MC, Version 02.00.02, December 1998.
  11. ↑ Max Schindler (1990) Computer Aided Software Design, John Wiley & Sons, 1990.
  12. ↑ * Department of Defense (1992). Software engineering tools experiment-Final report, Vol. 1, Experiment Summary, Table 1, p. 9. Strategic Defense Initiative, Washington, D.C.
  13. ↑ Hamilton, M. Hackler, W.R., "A Formal Universal Systems Semantics for SysML, 17th Annual International Symposium, INCOSE 2007, San Diego, CA, June 2007.

अग्रिम पठन

बाहरी संबंध

Retrieved from ‘https://www.vigyanwiki.in/index.php?title=यूनिवर्सल_सिस्टम_लैंग्वेज&oldid=255988’