杨启帆
- 作品数：4 被引量：2H指数：1
- 供职机构：福建师范大学数学与计算机科学学院更多>>
- 发文基金：国家自然科学基金福建省自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 云计算中服务虚拟的形式依赖分析
- 2015年
- 建立依赖结构形式化模型,以依赖结构为建模基础,结合该模型定义符合虚拟特性的服务虚拟,研究在某些操作下服务虚拟的代数性质,并讨论服务虚拟的正确性问题,为利用形式化模型建模虚拟服务管理及云服务虚拟中间件提供理论基础.
- 杨启帆吴亚洲蒋建民张仕
- 关键词：形式化
- 业务过程的自动配置与管理
- 2015年
- 一个可配置的业务过程模型可以通过配置来满足组织的特定要求。配置活动需要自动确定一个可配置过程模型的变体,同时保证该特定过程模型的正确性。然而,很少有方法能够解决此问题。提出一种新方法,即先将可配置的过程模型自动分离成原子子过程模型,再由这些模型组合成需要的过程模型,该方法能保证得到的过程模型的正确性(该过程模型无异常行为问题)。与现有的方法相比,新方法与特定的语言无关,而且避免了独立处理配置活动,降低了计算复杂度。
- 吴亚洲杨启帆蒋建民张仕
- 关键词：原子
- 业务过程的自动配置与管理
- 可配置的业务过程模型可以通过配置来满足组织的特定要求配置活动需要自动确定一个可配置过程模型的变体,同时保证该特定过程模型的正确性，然而很少有方法能够解决此问题，文中提出一种新方法,该方法先将可配置的过程模型自动分离成原子...
- 吴亚洲杨启帆蒋建民张仕
- 关键词：计算机软件配置管理原子
- 并发系统中基于优先级的调度分析被引量：2
- 2016年
- 当前复杂的并发系统多采用模块化、逐步求精和信息隐藏等非形式化的原则来指导系统的开发,而这些指导原则抽象且无法保证分解系统的正确性。为此,对基于优先级控制的系统分解方法展开研究,提出一种系统分解的方法,并在理论上证明该分解方法的正确性。首先采用基于事件的行为模型对系统进行建模;接着定义调度、调度策略和调度策略正确性的概念;然后研究调度策略的分解方法,并证明了调度策略分解方法的正确性;最后根据该方法,开发出一种支持依赖模型建模和调度策略分解的原型工具,通过实例的演示,说明了使用该方法可以把系统分解成若干个子系统,从而设计出正确和有效的调度策略,以达到正确分解系统的目的。
- 朱振宇张仕蒋建民吴亚洲杨启帆
- 关键词：调度策略
