论文部分内容阅读
软件开发的一个重要环节是设计人员花大量的精力去设计系统模型,而当前各种建模技术建立的种种模型还停留在纸张上,这直接导致了模型的不可执行,这一切都归结于建模语言本身的不可执行性.由此本文设计了一种文本描述方式的可执行建模语言xKL来支撑整个建模过程,从而达到可执行建模的目的.
基于MOF的可执行建模方法研究
【摘 要】
：
软件开发的一个重要环节是设计人员花大量的精力去设计系统模型,而当前各种建模技术建立的种种模型还停留在纸张上,这直接导致了模型的不可执行,这一切都归结于建模语言本身
【机 构】
：
公安部第一研究所 北京 100048
【出 处】
：
第24次全国计算机安全学术交流会
【发表日期】
：
2009年期
其他文献
千姿百态的花木，特别是我国十大传统名花，艳丽的色彩，赏心悦目；浓郁的芳香，沁人心肺。其色彩、香姿、风韵，不仅给人以美的享受，在人们的心目中还有它特定的象征。梅花：迎雪怒放，给人们
描述了合同签署协议的设计目标,提出了公平交换性的重新定义,指出了公平交换性质1是非滥用性的必要条件,指出了非滥用性对指定认证人签名的依赖,分析了可信第三方(TTP)的作用
随着网络技术的发展,电子政务、电子商务等实际应用不断广泛和深入,网络的安全遇到前所未有的挑战.网络技术员应该了解web服务的基本原理和安全防护技术,在服务器管理或者应
会议
本文针对江苏检察机关当前信息安全的现状,提出各级检察院信息安全主要应急预案和建设应急响应机制的思路,简要分析在技术层面和管理层面上如何提高危机时刻的应急处理能力,
用户数据的安全属性决定了应该采用的安全功能技术,如果不能分属性的进行数据保护,其技术方案可能是有害的.本文试图从分析数据的安全属性出发,通过对机密性和完整性在保护中
从叶子龙的大嗓门中,毛泽东听出了乡音湖南省的浏阳,自近代以来,人杰辈出,正是这一方孕育了近代富于革新精神人杰的山水,滋养了本文的主人公叶子龙。叶子龙原名叶良和,在其少
手机短信作为新型证据,在司法实践过程中应该如何认定,其证据效力又如何?本文从技术和法理两个层面对手机短信的证据效力进行的论证,为法院科学认定手机短信的证据效力提供依
在中国，就家学渊源、学问渊博与通晓语言文字种类之多，综合而论，能赶上陈寅恪的怕是还没有。然而他的学术之路坎坷晦暗，令人叹息。 丢失书籍 陈寅恪做学问与众不同，那就是在博览群籍的时候，顺手把有关资料，以及自己的考证、注释、心得，写在主要书籍的书眉上。这些书籍就成了他的笔记与资料库，待时机成熟，稍加整理一本本学术专著就面世了。陈寅恪从1927年到清华任教，到“七七事变”的十年间，除发表了五
电子投票是密码研究领域中一个非常有挑战性的问题.它正在逐步取代了传统的投票选举活动,然而,电子选举系统还有许多问题有待研究和解决,其中最关键的问题就是如何利用现有的
电子政务是政府有效决策、管理、服务的重要手段,必然会遇到各种敌对势力、恐怖集团、捣乱分子的破坏和攻击,尤其当电子政务系统搭建在基于互联网技术的网络平台上时.因此在
会议