鲍敢峰
- 作品数:16 被引量:95H指数:6
- 供职机构:上海交通大学电子信息与电气工程学院计算机科学与工程系更多>>
- 发文基金:上海市科学技术发展基金国家自然科学基金南京大学计算机软件新技术国家重点实验室开放课题基金更多>>
- 相关领域:自动化与计算机技术社会学经济管理文化科学更多>>
- 一种基于分布组件协调的脚本语言Concerto被引量:6
- 2001年
- 针对现有脚本语言只适合顺序计算的缺点 ,提出了协调脚本语言 Concerto.Concerto脚本既适合描述分布组件系统的协调问题 ,又统一了现有的计算脚本 ,提供了一个多种脚本语言混合编程的解决方案 .在运行方面 ,提出 Concerto协调代码作为脚本语言编译器的目标代码 .以 Petri网为基础 ,由 Concerto引擎对协调代码解释生成 Petri网模型 ,对分布组件系统进行并发死锁验证 ,并与计算系统交互 ,控制分布组件的运行 .
- 严莉萍鲍敢峰尤晋元
- 关键词:脚本语言分布组件PETRI网
- 基于复用的软件体系结构描述语言
- 该文提出了基于复用的软件体系结构语言,并以此作为构造软件系统框架,代码生成,系统分析和过程管理的基础.文章论述了软件体系结构描述语言的三种语法,即图形语法,模糊语法和进化语法;描述了软件体系结构描述语言的操作和指标语义;...
- 鲍敢峰
- 关键词:软件复用软件体系结构描述语言语法语义
- 一种基于Web、Java和CORBA技术的工作流管理系统结构被引量:39
- 1998年
- 基于Web的工作流管理系统受到商业界的广泛关注.但目前常用的Web技术难以解决现代分布式应用中存在的诸多问题.本文提出的工作流管理系统结构综合利用了Web、Java和CORBA技术,以Web技术作为客户与服务器的通信基础,以Java进行Internet编程,以CORBA简化分布系统的设计,在Petri网模型的协调下,很好地实现了工作流管理..
- 鲍敢峰朱鹏尤晋元
- 关键词:工作流管理JAVACORBA
- 软件体系结构的图形语法被引量:2
- 1997年
- 软件体系结构是最近几年计算机科学热点研究课题之一。图形软件体系结构具有更多的视觉效果,并且更容易让人理解。软件系统是由许多组件组合而成的,大规模的软件系统可能超过一般人的理解能力。这需要一种能精确描述软件组织和结构的规则。软件体系结构的语法描述提供了这样一种手段.文中提出一种适合描述软件体系结构的图形语法,并说明它在软件体系结构逆向工程的应用。
- 鲍敢峰尤晋元
- 关键词:软件体系结构
- 鱼眼视口的局部对称变换模型
- 1999年
- 鱼眼视口是观察和浏览图的有效方法。其实现方法没有固定模式,只要能起到鱼眼透镜的视觉效果即可。本文用插值法实现了局部对称变换模型,改进了现有变换模型中关于中心不对称,不能控制放大显示区域的缺点。
- 鲍敢峰刘宗田朱鹏
- 关键词:插值图论计算机
- 通用事件服务规范的设计与实现
- 2001年
- 在CORBA标准中,ORB提供了一种同步通信的机制。但是,许多应用需要进行异步通信。OMG为此定义了事件服务。本文提出了事件服务的一种多线程设计和实现方案。该实现方案在应用中显示了很好的性能。
- 陈英鲍敢峰尤晋元
- 关键词:分布式计算面向对象软件组件CORBA
- 可视化分布组件协调环境被引量:1
- 2000年
- 分布组件的协调是基于组件的分布系统开发中的一个基本问题.针对具体应用,提出了一种分布组件协调模型——Concerto.Concerto模型以Petri网为理论基础,综合了现有的控制驱动和数据驱动两类协调模型.将Petri网的变迁与分布组件系统中的事件、条件、操作和时间信息结合起来,提供了与计算系统交互的方法.在Concerto模型基础上,实现了可视化分布组件协调环境,对分布组件系统进行并发死锁验证,并与计算系统交互,控制分布组件的运行.
- 严莉萍鲍敢峰尤晋元
- 关键词:分布组件可视化PETRI网
- 多线程Java程序的Petri网模型被引量:6
- 1998年
- Java的多线程特性能有效地提高各种计算机资源的利用率.但是,多线程并行运行所造成的非确定性使得程序中潜在错误的定位和再现十分困难,这严重阻碍了Java多线程机制的使用.提出了从Java程序到Petri网的转化规则,利用所得的Petri网模型能有效地支持并行和分布式软件的分析.该模型在应用中取得了很好的效果.
- 鲍敢峰尤晋元
- 关键词:PETRI网多线程JAVA程序
- 软件复用库的模糊表示与查询方法被引量:7
- 1997年
- 软件复用库是一种珍贵的软件资源,但是若没有很好地解决可复用软件部件的表示与查询问题,就不能切实有效地支持软件复用。本文介绍了模糊关键词、模糊分类、模糊超文本三种表示查询方法。提出一种能够根据使用记录自适应调整的动态模式,以便使软件复用库的表示模式与程序员的理解模式一致起来。实验表明。
- 鲍敢峰袁兆山刘宗田
- 关键词:模糊查询软件开发
- 分布软件组件的协调
- 该文从模型、语言和环境方面对协调进行了系统化的研究,具有重要的理论意义和实用价值.该文根据应用的需求,提出了Concerto模型.Concerto模型以Petri网为数学理论基础,引入了一些新的概念,并成功地保持了Pet...
- 鲍敢峰
- 关键词:软件组件技术软件工程分布系统对象技术
- 文献传递