严莉萍
- 作品数：5 被引量：6H指数：1
- 供职机构：上海交通大学电子信息与电气工程学院计算机科学与工程系更多>>
- 发文基金：国家自然科学基金上海市科学技术发展基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种基于分布组件协调的脚本语言Concerto被引量：6
- 2001年
- 针对现有脚本语言只适合顺序计算的缺点 ,提出了协调脚本语言 Concerto.Concerto脚本既适合描述分布组件系统的协调问题 ,又统一了现有的计算脚本 ,提供了一个多种脚本语言混合编程的解决方案 .在运行方面 ,提出 Concerto协调代码作为脚本语言编译器的目标代码 .以 Petri网为基础 ,由 Concerto引擎对协调代码解释生成 Petri网模型 ,对分布组件系统进行并发死锁验证 ,并与计算系统交互 ,控制分布组件的运行 .
- 严莉萍鲍敢峰尤晋元
- 关键词：脚本语言分布组件PETRI网
- 可视化分布组件协调环境被引量：1
- 2000年
- 分布组件的协调是基于组件的分布系统开发中的一个基本问题．针对具体应用，提出了一种分布组件协调模型——Ｃｏｎｃｅｒｔｏ．Ｃｏｎｃｅｒｔｏ模型以Ｐｅｔｒｉ网为理论基础，综合了现有的控制驱动和数据驱动两类协调模型．将Ｐｅｔｒｉ网的变迁与分布组件系统中的事件、条件、操作和时间信息结合起来，提供了与计算系统交互的方法．在Ｃｏｎｃｅｒｔｏ模型基础上，实现了可视化分布组件协调环境，对分布组件系统进行并发死锁验证，并与计算系统交互，控制分布组件的运行．
- 严莉萍鲍敢峰尤晋元
- 关键词：分布组件可视化PETRI网
- 一种基于Petri网的分布组件协调模型被引量：1
- 2002年
- 协调是分布组件系统中的基本问题之一.但是,协调问题至今仍未得到很好的解决根据实际应用的要求,提出了Concerto协调模型.它以Petri网为数学理论基础,扩充了Petri网的语义,引入了控制缓存和数据缓存,分别反映了分布组件的控制依赖和数据依赖关系,统一了现有的控制驱动和数据驱动两类协调模型.对于Concerto模型的运行,提出了驱动模式、动作规则和Concerto引擎.驱动模式有4种:依赖操作时间的驱动、依赖最小时间的驱动、依赖最大时间的驱动和依赖平均时间的驱动.这些驱动模式在实时系统、流量控制和任务调度等方面具有很好的实用价值.Concerto引擎作为模型运行的核心,按照特定的仲裁机制协调分布组件系统的运行,解决了死锁和饥饿问题.
- 严莉萍鲍敢峰萍尤晋元萍
- 关键词：分布组件PETRI网计算机
- 分布组件的可视化协调
- 该文从模型、语言和环境方面对协调进行了系统化的研究,具有重要的理论意义和实用价值.根据实际应用的要求,文中提出了Concerto协调模型.它以Petri网为数学理论基础,扩充了Petri网的语义,引入了控制缓存和数据缓存...
- 严莉萍
- 关键词：分布组件可视化建模PETRI网
- 一种面向分布组件的协调引擎实现框架被引量：1
- 2001年
- 针对现有的协调模型,提出了一种面向分布组件的协调引擎实现框架,它将模型中的协调问题转化为独立的计算性代码,Concerto以便于系统在设计阶段就可以分析并解决协调问题。由于引擎本身具有分布特性,因此针对一些现有的协调问题,运行在引擎上的协调模型可以相当接近现实中出现的问题。
- 傅城严莉萍尤晋元
- 关键词：分布组件软件开发
