论文部分内容阅读
本文提出一种通用的规范技术用于详细描述进程、进程类、事件和消息。所述方法学基于已经扩展到高层次概念的Ｐｅｔｒｉ网，并注意到许多可供Ｐｅｔｒｉ网使用的形式化分析原理的适应性。这里将其用来扩充ＨＩＰＯ方法和ＮＳ方法，使仔们具有规范进程和事件消息的能力。
事件驱动的应用系统开发方法学
【摘 要】
：
本文提出一种通用的规范技术用于详细描述进程、进程类、事件和消息。所述方法学基于已经扩展到高层次概念的Ｐｅｔｒｉ网，并注意到许多可供Ｐｅｔｒｉ网使用的形式化分析原理的适应性。这里将其用
【机 构】
：
青岛大学计算机系
【出 处】
：
青岛大学学报：自然科学版
【发表日期】
：
2000年1期
其他文献
延东土话的语音系统独具特色，它既具有很强的存古性，在语言接触和自身发展演变过程中又产生了许多独特的变化。如声母保留着一套完整的浊音系统，非组保留重唇音或与晓组合流为舌
民族大学生作为大学生一个重要的组成部分，他们除了要担负起振兴中华、建设国家的历史使命外，还要对本民族的各项建设事业负有重要的责任。在新形势下，加强对民族大学生进行卓有
大量的地震资料和震害记录表明,竖向地震作用对建筑结构的影响不容忽视。对竖向地震作用的研究有待完善。本文对竖向地震作用计算方法和需要考虑的竖向地震作用的结构形式进
高专学生心理健康教育已经成为高校教育的重点,目前高专学生心理问题呈现多样化趋势。为了更好地开展高专学生心理健康教育,应该对高专学生进行调查,从实处提出高专学生心理
目的探讨高频超声诊断子宫圆韧带囊肿的临床应用价值.方法对12例经手术治疗的子宫圆韧带囊肿患者,进行术前临床表现和声像图特征回顾性分析与总结.结果腹股沟区显示形态规则
电阻器R,电感器L,电容器C是构成电路的最基本的二端元件.本文力图从能量特性的角度分析这些元件的无源、有损、无损及能量转换的特点.以加强对这些元件物理性质的认识.
图书馆精神作为一种工作理念，是在图书馆工作实践基础上，通过一定的由本行业认同的核心观念构成。弘扬图书馆精神是为了充分激励和放大人性中的积极因素，并把不断创造、更新的思
大跨度缀板式转换结构可以很好地解决大跨度、大空间结构工程的技术难题。本文分析了这种结构体系在转换层位置发生改变时对其抗震性能的影响,用PKPM系列软件计算了在地震作
在频域内，对马鞍型体育馆结构考虑了多阶振型的影响，由结构风振动力的振型分解法，进行了该体育馆前20阶振型和振型耦合后风振动位移响应的分析和研究，得到了结构的模态特性及风振