多线程Java程序的Petri网模型

Ｊａｖａ的多线程特性能有效地提高各种计算机资源的利用率．但是,多线程并行运行所造成的非确定性使得程序中潜在错误的定位和再现十分困难,这严重阻碍了Ｊａｖａ多线程机制的使用．提出了从Ｊａｖａ程序到Ｐｅｔｒｉ网的转化规则,利用所得的Ｐｅｔｒｉ网模型能有效地支持并行和分布式软件的分析．该模型在应用中取得了很好的效果．     

一种基于Web,Java和CORBA技术的工作流管理系统结构

基于Ｗｅｂ的工作流管理系统受到商业界的广泛关注．但目前常用的Ｗｅｂ技术难以解决现代分布式应用中存在的诸多问题．本文提出的工作流管理系统结构综合利用了Ｗｅｂ、Ｊａｖａ和ＣＯＲＢＡ技术,以Ｗｅｂ技术作为客户与服务器的通信基础,以Ｊａｖａ进行Ｉｎｔｅｒｎｅｔ编程,以ＣＯＲＢＡ简化分布系统的设计,在Ｐｅｔｒｉ网模型的协调下,很好地实现了工作流管理．．     

一种基于分布组件协调的脚本语言Concerto

针对现有脚本语言只适合顺序计算的缺点,提出了协调脚本语言Concerto.Concerto脚本既适合描述分布组件系统的协调问题,又统一了现有的计算脚本,提供了一个多种脚本语言混合编程的解决方案,在运行方面,提出Concerto协调代码作为脚本语言编译器的目标代码。以Petri网为基础,由Concerto引擎对协调代码解释生成Petri网模型,对分布组件系统进行并发死锁验证,并与计算系统交互,控制分布组件的运行。