张苓
- 作品数：13 被引量：25H指数：3
- 供职机构：武汉大学计算机学院更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学电子电信更多>>
- 应用框架的形式化研究被引量：5
- 2000年
- 从软件体系结构的角度 ,运用 Z-规范在系统级描述了应用框架和设计样本的语义 ,包括设计样本的组成、联系、合成和运用设计样本组成应用框架等 ,与通常的非形式化方式 ,如图表、自然语言等描述形式相比 ,具有语义精确。
- 姜东胜张苓陈莘萌
- 关键词：软件体系结构软件工程形式化
- 超媒体演播系统HCARD的设计与实现被引量：1
- 1998年
- 本文叙述了一个基于面向对象程序设计语言BC＋＋的超媒体演播系统HCARD的设计思想与具体实现，并对其系统结构、数据模型和脚本语言作了详细介绍。
- 张苓
- 关键词：超媒体演播系统多媒体
- 基于Petri网的超媒体模型HPN被引量：1
- 1999年
- 本文提出一个基于Ｐｅｔｒｉ网的超媒体形式化模型ＨＰＮ。它采用层次组织，各层由一个扩展Ｐｅｔｒｉ网、若干对象以及Ｐｅｔｒｉ网与对象之间的映射表示，通过Ｐｅｔｒｉ网结构和执行语义说明超媒体的链接机制、浏览和媒体表现，具有刻画超媒体主要性质的能力。
- 张苓
- 关键词：超媒体PETRI网多媒体
- 基于Petri网超媒体模型的分析与比较
- 2002年
- 超媒体建模研究是当前一个重要研究方向。基于Petri网理论的模型是对有向图模型的改进,与其他模型比较,能够更好地刻画超媒体系统。原因如下:Petri网是一个二部有向图,适合于说明超媒体的链接机制;Petri网是一种天然的具有并行执行语义的自动机,模型可以自然地表达超媒体系统中的动态执行语义;Petri网能够说明各种顺序、并发和同步活动,满足描述多媒体表现的需要;利用Petri网的图形特性和严格的数学基础,人们可以检查和分析超媒体中的潜在问题。该文着重对四个典型的基于Petri网的超媒体模型:MHPN、HCPN、MORENA和HTSPN模型进行分析和比较。
- 张苓许卫平许先斌陈莘萌
- 关键词：PETRI网超媒体模型多媒体
- 基于Petri网的超媒体模型HPN
- 1999年
- 提出一个基于Ｐｅｔｒｉ网的超媒体形式模型ＨＰＮ。着重给出ＨＰＮ模型的形式化定义并举例说明，阐述ＨＰＮ模型对超媒体若干性质的刻画。
- 张苓朱山风姜东胜陈宰萌
- 关键词：超媒体PETRI网多媒体
- 一种基于策略服务的模型被引量：1
- 2000年
- 随着网络的发展，网络的服务质量日益成为人们关注的热点问题。但迄今为止还没有一个有关策略控制的完善的体系结构。文章在前人研究的基础上，提出了一个基于策略服务的便于操作的逻辑结构。
- 李克清陈莘萌张苓姜东胜
- 关键词：服务质量网络安全INTERNET网防火墙
- 超媒体计算机教学系统的设计被引量：4
- 1998年
- 本文首先分析了当前超媒体教学系统的不足之处，并在此基础上给出了超媒体计算机辅助教学系统HICAI的设计思想、体系结构及各组成模块的功能。
- 王素彬张苓
- 关键词：CAI
- 基于Petri网超媒体模型研究被引量：3
- 2000年
- 在分析当前超媒体形式化模型特点的基础上 ,本文提出一个全新的模型 - CPNH.它基于有色 Petri网 ,具有刻画分布超媒体主要性质的能力 .与其他模型相比该模型能够有效解决并发浏览、存取控制和版本问题 .而且有力刻画了分布环境下多媒体的动态特性 .文中着重给出了
- 张苓陈莘萌许卫平姜东胜
- 关键词：超媒体PETRI网多媒体
- 基于Petri网的超媒体模型HPN
- 张苓
- 关键词：超媒体PETRI网
- 基于Petri网的超媒体形式化模型被引量：2
- 1999年
- 针对演播类超媒体提出一个基于Ｐｅｔｒｉ网的形式化模型ＯＯＰＮ，它由一个扩展Ｐｅｔｒｉ网、若干对象以及Ｐｅｔｒｉ网与对象之间的映射表示，具有刻画超媒体主要性质的能力．着重给出了ＯＯＰＮ模型的形式化定义以及它对超媒体逻辑结构。
- 张苓
- 关键词：超媒体PETRI网
