论文部分内容阅读
介绍了SDL系统规范,基于通信扩展有限状态机CEFSM的SDL进程。系统最重要的属性是行为,动态语义模型用元进程描述系统可观察的行为。研究了ITUZ.100建议附件F中元进程的划分,提出一种新的元进程定义,并举例描述了SDL系统的动态语义模型。
SDL语言动态语义模型的研究
【摘 要】
：
介绍了SDL系统规范,基于通信扩展有限状态机CEFSM的SDL进程。系统最重要的属性是行为,动态语义模型用元进程描述系统可观察的行为。研究了ITUZ.100建议附件F中元进程的划分,提出一种新的元进程定义,并举例描述了SDL系统的动态语义模型。
【机 构】
：
浙江理工大学信息电子学院
【出 处】
：
计算机应用
【发表日期】
：
2004年11期
【基金项目】
：
浙江省自然科学基金
其他文献
探究锚杆挡土墙施工技术在公路边坡防护中的具体应用，对锚杆挡土墙的技术分类进行分析，然后结合公路边坡的防护形式，对锚杆挡土墙具体的施工方式进行合理探究，包括材料要求、施工
Firefox导出的bookmarks．html编码用的是UTF-8格式，IE导入时会产生乱码。要避免乱码可以将从Firefox导出的bookmarks．html文件用记事本打开，然后另存为“ANSI”编码。再用IE导入
旧城改造是关系城市经济和社会文化发展的全局性问题,应制定与城市发展相适应的时序规划,将空间规划与政府管理决策的计划进行有效结合。基于此,本文从经济、社会和环境等方
[目的] 通过调查对上海地区人群体内六六六、滴滴涕蓄积水平及动态变化进行调查,对我国1983年以来限、禁六六六、滴滴涕农药的效果进行综合评价.[方法] 于1983,1986,1988和20
客运列车中邮政车厢作业环境复杂,危害因素较多,该作业群体易被忽视;客车车厢、餐车车厢等作业环境调查多见报道,而邮政车厢中的作业环境却少见报道.为了解邮政车厢工人的作
电磁辐射广泛存在于人类的生存环境之中,越来越多的人开始关注电磁辐射对于健康的影响作用.本文综述了近年来有关电磁辐射对于男性生殖功能影响方面的研究以及可能的生物学机
当须要截取《QQ直播》中的精彩画面时，如果直接按“Print Screen”键，截下的图片都是“漆黑一片”，以前我们介绍过一种截取方法：先关闭显示属性中的“硬件加速”设置后再进行截取
现在的“QQ黑客”，似乎已经是越来越没有技术含量了。与以前通过种种技术手段放木马盗取QQ密码相比，现在他们越来越喜欢通过骗术，利用网友之间的信任来骗取QQ密码了。在种种卑劣
KNC HR-881 MP3采用经典的黑色外观。配合银色的金属质感按键。造型高贵时尚。这是一款采用Rockchip解码芯片的视频MP3。拥有2．0英寸大屏幕。支持XviD编码的AVI文件。视频文件
去年，饭饭在听五月天的《恋爱ing》时，有这样一句“超感谢你，让我重生，整个orz”；前不久，饭饭在好友们自建的群里聊得热火朝天，又屡见“orz”的身影，只当是缩写之类的就没有深究（其实是怕弱弱地问一句讨来大家一顿关于“落伍”的批判）。不想时隔几日，台湾第17届金曲奖上，司仪台上“orz”的logo赫然现于大雅之堂。饭饭再也坐不住了，已经流行到如此地步的新新语言，当然要加紧学习！ orz（也可以
期刊