通用系统语言

通用系统语言USL)是一个系统建模语言正式方法用于软件和其他复杂系统的规范和设计。它是由玛格丽特·汉密尔顿根据她的经验为编写飞行软件阿波罗计划.[1]该语言是通过Hamilton Technologies,Inc。的001工具套件软件实现的。[2]USL从001Axes演变而来,这些轴又从轴演变,所有这些都基于汉密尔顿的控制公理。001工具套件在事实(DBTF)的生命周期开发过程中使用了预防性开发概念。DBTF在开发过程中尽早消除了错误,从而消除了在事后寻找错误的需求。

哲学

USL的灵感来自汉密尔顿对阿波罗软件开发过程中发生的模式或类别的认识。[3][4]

某些正确性保证嵌入了USL语法中。[5]

USL被某些用户视为更多方便使用的比其他正式系统。[6]它不仅是软件的形式主义,而且还定义本体论对于问题域的常见元素,例如物理空间和事件时机。

控制理论的形式主义

[7][8]

原始结构是通用的,因为它们能够用于得出新的抽象通用结构,函数或类型。得出新对象(即结构,类型和功能)的过程等同于在建设性类型理论中得出新类型的过程。

数字。1三个原始控制结构及其规则构成了在FMAP和TMAPS中在时间和空间域中构建地图的通用基础

执行

使用USL一起开发软件系统及其自动化的过程001工具套件(001)如下:使用USL定义系统,自动使用001的分析仪分析该定义,以确保正确使用USL,自动生成很多带有001的发电机的设计和所有实现代码。[9][10][11][12]USL可用于向其他语言提供正式支持。[13]

也可以看看

参考

  1. ^汉密尔顿和W. R. Hackler,”通用系统语言:从阿波罗学到的教训”,IEEE计算机,2008年12月。
  2. ^001工具套件(1986-2020)
  3. ^玛格丽特·H·汉密尔顿,汉密尔顿技术公司(2012年9月27日)。"“通用系统语言及其自动化,001工具套件,用于设计和建筑系统以及软件“洛克希德·马丁/IEEE计算机社会网络研讨会系列”.
  4. ^汉密尔顿,玛格丽特H.(2018)。“错误告诉我们什么”.IEEE软件.35(5):32–37。doi10.1109/MS.2018.290110447.ISSN 0740-7459.S2CID 52896962.
  5. ^Dolha,Steve,Chiste,Dave,“网络的远程查询系统:管理分布式系统的开发。”,第32章,Internet管理,编辑Jessica Keyes,Auerbach,2000年。
  6. ^小克鲁特,B。将001工具支持集成到面向特征的域分析方法中”(CMU/SEI-93-TR-11,ESC-TR-93-188),匹兹堡,SEI,Carnegie Mellon University,1993年。
  7. ^汉密尔顿,M。,”事实之前的内部发展”,封面故事,特别社论补充,8ES-24。电子设计,1994年4月。
  8. ^汉密尔顿,M。,”001:一个充分的生命周期系统工程和软件开发环境开发在事实中行动之前”,封面故事,特别社论补充,8ES-24。电子设计,1994年4月。
  9. ^Ouyang,M.,Golay,M.W。1995,一种用于开发安全至关重要系统高质量软件的综合形式方法,马萨诸塞州剑桥,马萨诸塞州,马萨诸塞州,报告编号MIT-ANP-TR-035。
  10. ^软件生产力联盟,(SPC)(1998),面向对象的方法和工具调查,Herndon,VA.SPC-98022-MC,版本02.00.02,1998年12月。
  11. ^Max Schindler(1990)计算机辅助软件设计,约翰·威利(John Wiley&Sons),1990年。
  12. ^*国防部(1992)。软件工程工具实验最终报告,卷。1,实验摘要,表1,p。9.华盛顿特区战略国防倡议
  13. ^汉密尔顿,M。W.R. Hackler,”SYSML的正式通用系统语义,第17届年度国际研讨会,2007年INCOSE,2007年6月,加利福尼亚州圣地亚哥。

进一步阅读

  • 汉密尔顿(M.SE-2,不。1,1976年3月。
  • 汉密尔顿,M。(1994年4月)。“事实之前的内部发展”。(封面故事)。特别社论补充。8ES-24。电子设计.
  • 汉密尔顿,M。(1994年6月)。“ 001:一个完整的生命周期系统工程和软件开发环境”。(封面故事)。特别社论补充。22es-30es。电子设计.
  • Hamilton,M.,Hackler,W.R ..(2004年),深入集成指导导航单元(DI-GNU)共同软件体系结构原理(修订后的DEC-29-04),DAAAE30-02-D-1020和DAAB07-98-D-D--H502/0180,Picatinny Arsenal,新泽西州,2003- 2004年。
  • Hamilton,M。和Hackler,W.R。(2007),”,”预防系统工程的通用系统语言,”Proc。第五安。 conf。系统工程。 res。(CSER),史蒂文斯技术学院,2007年3月,论文#36。
  • 汉密尔顿,米; Hackler,W。R.(2007)。 “SYSML的正式通用系统语义“。第17届年度国际研讨会,Incose 2007,加利福尼亚州圣地亚哥,2007年6月。

外部链接