位置：成果数据库 > 期刊 > 期刊详情页
AOP及其在状态机工作流中的应用
  • ISSN号：1000-5862
  • 期刊名称：江西师范大学学报(自然科学版)
  • 时间：0
  • 页码：127-130
  • 语言：中文
  • 分类：TP31[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]江西师范大学计算机信息工程学院,江西南昌330022
  • 相关基金：国家自然科学基金（60273092）和江西师范大学研究生创新基金资助项目.
  • 相关项目：基于PAR方法和PAR平台的泛型程序设计关键技术研究
作者： 薛锦云|陈勇光|
关键词： 面向切面编程, 面向对象, 状态机工作流, 切面, 横切关注点, AOP, OOP, state machine workflow, concern, crosscutting concerns
中文摘要：

面向切面编程（Aspect-Oriented Programming,简称AOP）作为一种新的编程技术正日益引起人们的关注.文章介绍了AOP产生背景和理论价值,并结合作者所设计的状态机工作流框架,详细讨论了如何通过在该框架中引入AOP机制来克服纯面向对象编程的不足,从中分析了AOP的优势和应用价值,最后对AOP和OOP的关系进行了讨论.

英文摘要：

Aspect-Oriented Programming is a technique for separation of crosscutting concerns. With AOP applied, a model of workflow state machine is introduced in details, eliminating the disadvantages that OOP inherits. Meanwhile, the relationship between OOP and AOP is also discussed in this paper.

同期刊论文项目
基于PAR方法的算法设计形式化和自动化研究
期刊论文 23 著作 17
基于PAR方法和PAR平台的泛型程序设计关键技术研究
期刊论文 39 会议论文 22
同项目期刊论文
Radl算法到Apla程序的生成系统
基于Multi-Agent的装备保障决策支持系统
使用SPEC#开发高可靠性的算法程序
循环不变式开发新策略及其应用
最小生成树算法的PAR方法形式化推导
基于JATLite代理平台的程序设计ICAI的实现
形式化开发若干组合数学问题的算法
Toward a Unified Implementation for Dynamic Programming
Implementation of programming ICAI based on JATLite agent platform
一种基于Apla-Java可重用部件库的并行(并发)程序开发方法
使用SPEC#开发高可靠性的物流信息系统
Apla-Java 可重用部件库并行、并发机制的研究
0-1背包问题的一种新解法
Implementing Templated Design Patterns: A Category Theoretic Approach.
关系代数派生算子语义表达式问等价性证明
形式推导支持的递归程序向非递归程序的转换
软件模型检测新技术研究
算法程序变换研究与进展
形式化开发Hanoi塔问题非递归算法
形式化方法Designware、B的比较
算法及其时间复杂度可同步形式化推导的方法
基于Spring框架的轻量级J2EE架构与应用
形式化方法Designware及其规约精化机理
一种基于Java可重用部件库的多核程序开发方法
开发等式比较SQL查询语句的一种模型推理方法
PAR平台从规约出发的算法推导与自动生成
一种自动的形式化验证技术-模型检测
一种形式化开发非递归算法的方法
基于PAR的算法形式化开发
一组基于PAR的高可靠查找算法程序开发
General-Service Ballistic Computer Programming Based on B-Method
基于模式的并行编程环境中任务队列模式的研究与实现
Radl算法到Apla程序的生成系统
基于软件体系结构的可复用构件模型
若干算法程序的形式化推导与生成技术研究
算法及其时间复杂度可同步形式化推导的方法
基于Spring框架的轻量级J2EE架构与应用
General-Service Ballistic Computer Programming Based on B-Method
树非递归遍历统一的新解法及其形式证明
面向装备联勤保障的约束程序设计框架
UNITY与典型程序设计模型的比较
Hanoi塔非递归算法的形式化推导和正确性验证
一种基于Apla—Java可重用部件库的并行（并发）程序开发方法
基于软构件技术的OA系统的设计与实现
Floyd不变式断言法在程序设计教学中的应用
基于PAR方法的管理信息系统需求建模研究
基于方面构件模型及其组装与实现
一种基于规约精化的货物分发问题求解方案分析
基于XML的可适应性工作流系统研究
基于构件开发与传统面向对象开发之比较
基于复杂递归类问题的可重用程序模板研究
基于Smart Client的远程教学系统的研究
期刊信息
  • 《江西师范大学学报：自然科学版》
  • 北大核心期刊（2011版）
  • 主管单位:江西师范大学
  • 主办单位:江西师范大学
  • 主编：
  • 地址：南昌市紫阳大道99号
  • 邮编：330022
  • 邮箱：lk8506184@126.com
  • 电话：0791-88506814
  • 国际标准刊号：ISSN：1000-5862
  • 国内统一刊号：ISSN：36-1092/N
  • 邮发代号:44-56
  • 获奖情况:
  • 2009年中国高等学校自然科学学报研究会颁发“全国...,2009年被评为：第四届华东地区优秀期刊奖”,2008年教育部科技司授予“第2届中国高校优秀科技...,2008年江西省新闻出版局授予“第3届江西省优秀期...,2004年教育部科技司授予“全国高校优秀科技期刊二...
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘（网络版）,美国数学评论（网络版）,波兰哥白尼索引,德国数学文摘,美国剑桥科学文摘,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:5205