论文部分内容阅读
介绍了一种用着色Petri网分析和验证UML模型的方法。该方法把面向对象技术和Petri网理论相结合，构成一种面向对象的着色Petri网模型，简称OPM；并给出了它和UML模型之间相互转换的方法，使得验证分析复杂信息系统的动态行为特征成为可能，是一种具有数学和图形方式相结合的形式化描述。
着色Petri网在UML建模中的应用
【摘 要】
：
介绍了一种用着色Petri网分析和验证UML模型的方法。该方法把面向对象技术和Petri网理论相结合，构成一种面向对象的着色Petri网模型，简称OPM；并给出了它和UML模型之间相互转换的
【机 构】
：
中国科技大学计算机科学与技术系,中兴通信南京研究所
【出 处】
：
现代图书情报技术
【发表日期】
：
2004年2期
其他文献
目的观察苍菊清肝降脂方对非酒精性脂肪性肝炎（NASH）大鼠肝组织沉默信息调节因子2相关酶类1（SIRT1）、SIRT2和SIRT3表达的影响。方法将40只SPF级雄性Wistar大鼠按照随机数字表分为
近年来,我国以环境污染为代表的环境舆情问题频发,环境舆情风险的防范和治理还未形成普遍的关注和热点讨论话题。社会化媒体为环境舆情的发酵提供了平台。社会化媒体中环境舆
<正>最近,省委宣传部组织调查组对全省十七个市县五十多个乡镇农村基层的宣传思想工作进行了调查研究,还统计分析了108个管区718个行政村的工作问题.从调查的情况看,农村的面
期刊
电费核算流程复杂且工作量大,需要电力企业各部门的相互协作.但在电费核算的实际过程中,仍然存在着许多问题,不仅会对电力企业造成一定的经济损失,还会严重影响到电力企业的
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
期刊
<正>根据"课题指南"选好研究方向、确定研究问题以后,接下来就要填写《课题申报评审书》了。一般来讲,《课题申报评审书》包括这样几项内容:选题背景及目的、意义,文献综述,
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
针对图书馆信息咨询手段的多样化发展，为了最大限度地利用现有的各种通讯手段来进行咨询活动，提出利用手机短信来进行读者交流，实现通过浏览器进行短信收发的功能；该系统采用纯文
2015年7月,笔者受委托陪同一位英国实习生参观南越王宫博物馆并担任其导游口译。本报告正是以此次口译的内容为基础,忠实记录了导游、译员和游客之间的交流过程。本论文主要
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield