基于Petri网的超媒体模型HPN

提出一个基于Ｐｅｔｒｉ网的超媒体形式模型ＨＰＮ。着重给出ＨＰＮ模型的形式化定义并举例说明，阐述ＨＰＮ模型对超媒体若干性质的刻画。     

基于Petri网的超媒体模型HPN

本文提出了一个基于Ｐｅｔｒｉ网的超媒体形式化模型ＨＰＮ。它采用层次组织,各层由一个扩展Ｐｅｔｒｉ网、若干对象以及Ｐｅｔｒｉ网与对象之间的映射表示,通过Ｐｅｔｒｉ网结构和执行语义说明超媒体的连接机制、浏览和媒体表现,具有刻画超媒体主要性质的能力。文中给出了ＨＰＮ模型的模式化定义并举说明其用途。     

一种基于模式匹配的超媒体查询模型

在基于语义网络的超媒体模型基础上,通过引入数据库模式、模式约束图以及分层模式依赖图等概念,提出了一种基于模式匹配的超媒体查询模型,给出了图形代数的形式化定义,并证明了该模型的查询能力.该模型具有较高的表达能力,能有效地降低用户的认知负载.     

超媒体同步模型研究

本文以Ｄｘｔｅｒ超文本参考模型为标准,吸收了Ａｍｓｔｅｒｄａｍ超媒体和Ｔｒｅｌｌｉｓ模型的优点,将所提出的分布多媒体同步Ｐｅｔｒｉ网模型扩展到超媒体,即提出一种分布超媒体同步Ｐｅｔｒｉ网模型。该模型可较好地解决分布超媒体系统中超链、对象同步和用户交互三个关键问题。     

基于Petri网的智能超媒体模型

智能超媒体是多媒体技术与专家系统的理想结合，Petri是描述系统行为的形式化工具。该文利用有色Petri网、扩展OCPN模型，采用立体层次结构，提出了一种基于Petri网的智能超媒体模型。该模型能较好地描述专家系统中规则的推理、多媒体中各种媒体的链接与同步以及与用户的交互和表现问题。     

基于Petri网超媒体模型的分析与比较

超媒体建模研究是当前一个重要研究方向。基于Petri网理论的模型是对有向图模型的改进,与其他模型比较,能够更好地刻画超媒体系统。原因如下:Petri网是一个二部有向图,适合于说明超媒体的链接机制;Petri网是一种天然的具有并行执行语义的自动机,模型可以自然地表达超媒体系统中的动态执行语义;Petri网能够说明各种顺序、并发和同步活动,满足描述多媒体表现的需要;利用Petri网的图形特性和严格的数学基础,人们可以检查和分析超媒体中的潜在问题。该文着重对四个典型的基于Petri网的超媒体模型:MHPN、HCPN、MORENA和HTSPN模型进行分析和比较。     

超媒体CAI课件系统的设计方法

超媒体技术是近年来迅速发展的一门新技术。将超媒体的思想应用于多媒体ＣＡＩ课件系统设计，形成超媒体ＣＡＩ课件应用系统。本文介绍了超媒体ＣＡＩ课件的一般设计方法。     

基于客户／服务器环境的多媒体创作平台的HCS的设计与实现

客户／服务器计算模型是当今主流的计算技术，超媒体技术是管理多媒体的有效手段。我们将超媒体技术和客户／服务器模型相结合建立了“基于客户／服务器环境的多媒体创作平台ＨＣＳ”。本文介绍了ＨＣＳ系统的设计思想和总体结构，并给出了多媒体创作平台和客户服务器环境的设计与实现。     

基于客户/服务器环境的多媒体创作平台HCS的设计与实现

客户／服务器计算模型是当今主流的计算技术，超媒体技术是管理多媒体信息的有效手段。我们将超媒体技术和客户／服务器模型相结合，建立了“基于客户／服务器环境的多媒体创作平台ＨＣＳ”。本文介绍了ＨＣＳ系统的设计思想和总体结构，并给出了多媒体创作平台和客户／服务器环境的设计与实现。     

超媒体技术在中小企业人力资源培训CAI中的应用

超媒体技术发展为ＣＡＩ系统的开发提供了强有力的工具。本文结合中小企业人力资源培训ＣＡＩ系统这一实例，介绍了超媒体系统的开发过程及超媒体技术的应用。     

Interactive hypermedia applications: A model and its implementation

By referring to the object-oriented efforts of the Multimedia and Hypermedia information coding Expert Group (MHEG), and the augmented Petri net model, we present a formal definition of the multimedia hypermedia Petri net (MHPN) model. Through this proposed model, issues of authoring, rendering and synchronization of multimedia information (i.e. structure authoring, spatial temporal relationships, user interaction, etc.) can all be laid to rest. We have implemented a testbed system, the Petri net object information system (POIS), which offers considerable potential for the development of distributed hypermedia applications. The testbed has been implemented on an IBM-PC486 under Windows 3.1. We are now in the process of porting the testbed model to Windows NT.     

Formal models for the description of timed behaviors of multimedia and hypermedia distributed systems

This paper presents two modeling approaches that can be used as a formal basis for designing distributed multimedia and hypermedia systems. Using these approaches, users and designers are able to express formally their multimedia and hypermedia synchronization and time requirements. The two different models considered are Hierarchical Time Stream Petri Nets and RT-LOTOS. It will be shown that both models, starting from a different formal basis, are of interest as they possess complementary advantages and can then be used at different stages of the system life cycle. For instance, HTSPN provides an user-friendly graphical specification framework, whereas RT-LOTOS offers an extensive simulation and validation framework applicable to specifications derived from HTSPN.     

一种利用UML的Petri网软件实现方法

Petri网既是一种图形化建模工具，又是一种形式化数学工具。Petri网具有对并发、并行、分布、异步系统进行验证仿真的能力。但是，Petri网是用来描述和分析要开发的系统模型的工具。不是计算机的实现工具，必须要通过一定的方法才能将Petri网用软件来实现。由于UML(统一建模语言)具有友善的用户界面，易于编程实现，故提出一种利用UML作为过渡的Petri网软件实现方法。     

基于结构特性的超媒体模型

将超媒体的结构特性与形式语言学理论相结合,提供了一种有效地分析超媒体动态结构的特性的方法,该方法将超毁体组件集合映射为语言中的抽象符号集合,组件集合之上的链映射为语言中建立单词的方法,超媒体的结构化机械制映射为语言中的抽象符号集号,组件集合之上的链映射为语言中建立单词的方法,超媒体的结构化机制映射为语言中描述单词集合构造机制的语法,超媒体模拟为转换机,“链引导”动作模拟为“匹配对”序列,“链引导”的计算结果产生与上下文无关文法相对应的虚拟文档,从而为进一步研究超媒体的浏鉴语义及其它动态特性提供了理论基础。     

Modeling the dynamic behavior of hypermedia applications

Hypermedia applications can be defined as collections of interactive and multimedia documents that are organized as a hypertext net. The development of hypermedia applications poses specific problems, such as the need for modeling sophisticated navigational structures, interactive behaviors, and harmonic presentations involving the synchronization of contents. Moreover, the increasing popularity of Internet based systems has put stress on the lack of mechanisms to formally specify security policies when designing hypermedia applications. Traditional design models and methodologies are not suitable for hypermedia applications and the up-to-now developed hypermedia oriented models do not cover the whole set of design needs. In this context, we present Labyrinth, a hypermedia oriented model providing formal elements to describe the static structure and dynamic behavior of this kind of nonlinear, multisensory, and interactive applications