论文部分内容阅读
统一建模语言UML广泛用于面向对象技术的建模，B方法主要是用抽象机来描述软件系统的规格说明。文章针对软件开发中经常用到的UML模型，提出了基于B语言的UML形式化方法：通过将UML模型转化为B抽象机，实现了UML模型的形式化、实例分析表明，转换是可行的.
UML模型到B抽象机的转换和实现
【摘 要】
：
统一建模语言UML广泛用于面向对象技术的建模，B方法主要是用抽象机来描述软件系统的规格说明。文章针对软件开发中经常用到的UML模型，提出了基于B语言的UML形式化方法：通过将UML
【机 构】
：
扬州大学信息工程学院,淮海工学院计算机科学系
【出 处】
：
计算机时代
【发表日期】
：
2007年11期
其他文献
采用柠檬酸硝酸盐燃烧法合成La2-xSrxNiO4（LSN）阴极材料，并系统地研究了LSN的热膨胀性能、电子电导率，并考察了基于Ce1.8Sm0.2O1.9（SDC）电解质的LSN电极极化性能。结果表明，自燃烧产
通过分析中国对吉尔吉斯斯坦农产品出口增长的总量和结构特征,并利用CMS模型对中国对吉农产品出口增长的影响因素进行实证分析。研究结果显示,中国对吉农产品出口扩大是进口
介绍了设计模式理论的相关内容和相关术语；分析了Composite模式的适用范围；重点阐述了Composite模式的原理，并且用C#实现了一个Composite模式的简单例子。
通过实验对碳基超级电容器基本参数进行确定,如电解液的选择,电解液添加量的确定,石墨含量的确定,PTFE含量的确定,正负极合适的配比等,从而为电容器的制作奠定基础。
依靠电子商务平台，现代易货贸易摆脱了传统易货贸易在时间、空间和货物匹配方面的束缚，重回世界贸易舞台。结合中小企业操作灵活的特点，易货贸易可以作为销售方式多样化的选择之
采用喷涂方法将Nation溶液与溶剂的混合溶液涂敷在微孔PTFE膜上，制备了PTFE—Nation复合膜。用复合膜制备了“三合一”膜电极并组装了电池堆进行测试。使用SEM、交流阻抗仪等
设计了一种包括太阳电池、再生燃料电池和氢镍电池的复合能源管理监控系统。考虑了在各种状况下，实现在太阳电池发电、再生燃料电池和氢镍电池充放电、负载电动机驱动等之间的
考生肖像信息的即时采集越来越多地被应用到招生考试工作中。文章介绍了如何在Windows系统上运用Delphi7和DSPack快速开发基于Direct Show技术的数码摄像程序。
新疆水土光热资源丰富,农产品品种多样,边界与俄罗斯、哈萨克斯坦等8个国家接壤,有国家一类口岸17个、二类口岸11个,具有发展农产品出口的自然生态优势和地缘优势。近年来,新
介绍了信息发布系统的设计方法、体系结构以及关键技术。基于ASP-NET软件开发平台和ADO-NET数据访问技术开发的信息发布系统，能动态有效地管理网站新闻，并且很容易扩展到各种不