BlogJava-Anders小明的Blog-最新评论http://www.blogjava.net/AndersLin/CommentsRSS.aspxzh-cnFri, 01 Jul 2011 08:10:02 GMTFri, 01 Jul 2011 08:10:02 GMTcnblogsre: 浅谈领域驱动设计http://www.blogjava.net/AndersLin/archive/2011/04/20/269496.html#348638magicdetectivemagicdetectiveWed, 20 Apr 2011 08:36:00 GMThttp://www.blogjava.net/AndersLin/archive/2011/04/20/269496.html#348638

magicdetective 2011-04-20 16:36 发表评论
]]>re: 如何定义和建立架构http://www.blogjava.net/AndersLin/archive/2010/11/01/336599.html#336736Anders小明Anders小明Mon, 01 Nov 2010 14:52:00 GMThttp://www.blogjava.net/AndersLin/archive/2010/11/01/336599.html#336736从这个链接下载
http://www.blogjava.net/Files/AndersLin/Attribute%20Based%20Architectural%20Evaluation.7z

Anders小明 2010-11-01 22:52 发表评论
]]>re: 如何定义和建立架构http://www.blogjava.net/AndersLin/archive/2010/11/01/336599.html#336715lconglcongMon, 01 Nov 2010 09:56:00 GMThttp://www.blogjava.net/AndersLin/archive/2010/11/01/336599.html#336715

lcong 2010-11-01 17:56 发表评论
]]>re: 如何定义和建立架构[未登录]http://www.blogjava.net/AndersLin/archive/2010/11/01/336599.html#336655lveyolveyoMon, 01 Nov 2010 03:20:00 GMThttp://www.blogjava.net/AndersLin/archive/2010/11/01/336599.html#336655

lveyo 2010-11-01 11:20 发表评论
]]>re: 如何定义和建立架构http://www.blogjava.net/AndersLin/archive/2010/10/31/336599.html#336635@joe@joeSun, 31 Oct 2010 15:02:00 GMThttp://www.blogjava.net/AndersLin/archive/2010/10/31/336599.html#336635

@joe 2010-10-31 23:02 发表评论
]]>re: JVM，反射与动态代理[未登录]http://www.blogjava.net/AndersLin/archive/2010/09/10/51997.html#331675ppFri, 10 Sep 2010 07:54:00 GMThttp://www.blogjava.net/AndersLin/archive/2010/09/10/51997.html#331675我用的jd-gui.exe反编译出现下面的情况

// ERROR //
public final java.lang.String toString()
throws
{
// Byte code:
// 0: aload_0
// 1: getfield 16 java/lang/reflect/Proxy:h Ljava/lang/reflect/InvocationHandler;
// 4: aload_0
// 5: getstatic 42 TempProxy:m2 Ljava/lang/reflect/Method;
// 8: aconst_null
// 9: invokeinterface 26 4 0
// 14: checkcast 44 java/lang/String
// 17: areturn
// 18: athrow
// 19: astore_1
// 20: new 34 java/lang/reflect/UndeclaredThrowableException
// 23: dup
// 24: aload_1
// 25: invokespecial 37 java/lang/reflect/UndeclaredThrowableException:<init> (Ljava/lang/Throwable;)V
// 28: athrow
//
// Exception table:
// from to target type
// 0 18 18 java/lang/RuntimeException
// 0 18 18 java/lang/Error
// 0 18 19 java/lang/Throwable
}

// ERROR //
public final int hashCode()
throws
{
// Byte code:
// 0: aload_0
// 1: getfield 16 java/lang/reflect/Proxy:h Ljava/lang/reflect/InvocationHandler;
// 4: aload_0
// 5: getstatic 49 TempProxy:m0 Ljava/lang/reflect/Method;
// 8: aconst_null
// 9: invokeinterface 26 4 0
// 14: checkcast 51 java/lang/Integer
// 17: invokevirtual 54 java/lang/Integer:intValue ()I
// 20: ireturn
// 21: athrow
// 22: astore_1
// 23: new 34 java/lang/reflect/UndeclaredThrowableException
// 26: dup
// 27: aload_1
// 28: invokespecial 37 java/lang/reflect/UndeclaredThrowableException:<init> (Ljava/lang/Throwable;)V
// 31: athrow
//
// Exception table:
// from to target type
// 0 21 21 java/lang/RuntimeException
// 0 21 21 java/lang/Error
// 0 21 22 java/lang/Throwable
}

// ERROR //


p 2010-09-10 15:54 发表评论
]]>re: JVM，反射与动态代理http://www.blogjava.net/AndersLin/archive/2010/09/06/51997.html#331245anderslinanderslinMon, 06 Sep 2010 12:18:00 GMThttp://www.blogjava.net/AndersLin/archive/2010/09/06/51997.html#331245ok

anderslin 2010-09-06 20:18 发表评论
]]>re: JVM，反射与动态代理[未登录]http://www.blogjava.net/AndersLin/archive/2010/09/06/51997.html#331243ppMon, 06 Sep 2010 12:11:00 GMThttp://www.blogjava.net/AndersLin/archive/2010/09/06/51997.html#331243

p 2010-09-06 20:11 发表评论
]]>re: 浅谈基础平台http://www.blogjava.net/AndersLin/archive/2009/09/08/269136.html#294277xkyue23xkyue23Tue, 08 Sep 2009 04:16:00 GMThttp://www.blogjava.net/AndersLin/archive/2009/09/08/269136.html#294277

xkyue23 2009-09-08 12:16 发表评论
]]>re: 浅谈领域驱动设计http://www.blogjava.net/AndersLin/archive/2009/08/06/269496.html#290126forrestju forrestju Thu, 06 Aug 2009 09:27:00 GMThttp://www.blogjava.net/AndersLin/archive/2009/08/06/269496.html#290126
以下纯粹是个人观点, 不代表任何组织或社团.

现在流行的编程语言如Java和C#, 大多是面向对象的, 程序的各部分是通过方法调用连在一起, 其编程范式是命令编程, 即使支持其他范式也包装得很难理解和使用.

面向对象实际上只适合实现抽象数据类型, 让它去完成除此之外的任务确实是勉为其难, 即便能完成也给人不伦不类的感觉, 既不像面向对象编程, 也不像它的前任(过程编程). 这些语言中的对象与物质世界的物质(或对象)很不一致, 它使用方法调用的方式与其他对象进行相互作用, 而这与物质之间的(通过通信或媒介)相互作用是截然不同的, 因此用面向对象无法很确切地模拟现实世界(面向对象思想的初衷), 更不用说准确地为现实世界建立模型.

这几年流行的web服务和SOA虽使程序间交互更方便, 但它从本质上说还是使用”面向对象+命令编程+方法调用”的思路, 在编程方法论上并没有实质的进步.

用现在流行的语言实现的完成复杂功能的程序逻辑不清晰, 原因在于”命令编程+方法调用”的设计机制. 这使程序很难模块化, 副作用无所不在, 因此很难正确实现复杂功能.

现实世界的发展变化是通过事物间的相互作用实现的, 而这种相互作用用计算机科学的语言来说就是并发(concurrency). 软件的本质是什么? 我觉得:软件总是完成某种功能的,归根到底是对现实世界的事物间相互作用进行建模. 因此软件的组成部分间自然就是并发的关系, 而不是过程调用的关系. 用通信进程来对现实世界的事物间相互作用进行建模是比较合理的. 所以进程应该作为语言的基础成分, 是软件的基本组成部分, 而不是只为了提高效率才采用的.

为了使程序能准确地为现实世界建立模型, 从而正确性更高, 结构更合理, 模块化程度更高, 因此在几种编程思想或语言的基础上(见references), 我提出一种新的编程方法论: 面向进程+函数编程+进程间通信+逻辑编程+约束编程+其他合理的范式(命令编程除外)和一门编程语言ProcessLog (全称process logic).

ProcessLog只支持一种并发:通信进程. 它就是计算机科学家在上世纪70年代为了克服现在的Java中仍采用的那种并发方式的缺点而提出的. 它是经过充分研究得到的一种理想并发方式, 看了并发理论(concurrency)和进程代数(Process algebra), 就会明白这种并发方式可解决实际中的各种并发问题, 用它足够了.

这里的进程是进程代数的进程,不是过程,也不是Java中的线程. 看看jcsp或Hoare的CSP(http://www.usingcsp.com/)就明白了.推荐网址:
http://www.cs.kent.ac.uk/projects/ofa/jcsp/,
其中有两个ppt说得很明白:
"Process Oriented Design for Java: Concurrency for All",
"Communicating Processes, Components and Scaleable Systems".

ProcessLog的语法概要如下:

1 运算符
(1) ? 输入; c ? x 从输入端口c或通道c上接收输入值放到变量x中
(2) ! 输出; c ! v 把v的值从输出端口或通道c上输出
(3) -> 顺序进行的事件的先后关系
(4) | b : s 分支
(5) || 进程并行
(6) // 附属进程
(7) and, or, not 逻辑运算符
(8) 算术运算符和关系运算符 与Java中相同

2 程序的组成成分
(1) Unit 程序单元
(2) Process 进程
(3) Function 函数
(4) Predicate 谓词
(5) Channel 通道, 有两个端口: in 输入端口, out 输出端口
(6) OutPort 输出端口
(7) InPort 输入端口

3 数据结构
(1) List (函数编程中的List类型, 对List的操作函数与函数编程中相同);
(2) Tuple 元组, 同Clean.
(3) Set 集合
没有数组

4 进程的定义
Process p1 (OutPort pt1, InPort pt2 ){
pt2?x -> pt1! compute(x) -> p1
}

5 进程间相互作用
(1) 进程并行 process1( c1.out, c2.in)|| process2(c1.in, c2.out)
(2) 附属进程 (getE: getElements || getR: getReleasedVersion) // X.(in?method -> getE ! method ? elems -> getR ! em ? rem-> … ->X)

6 函数
[Function] compute(double x)=
| x<=0: x*x+3
| x>0: compute(x-5)* compute(x-3)
函数只能以事件的方式在进程中使用或在其他函数中使用, 不能独立使用.

7 谓词
/* 建图 */
Predicate createGraph(t, graph):-
addNode(t, null, ({},{}), graph1),
getDS(t, graph1.ns, tlist),
addList(tlist, t, graph1, graph).
/* 加节点 */
Predicate addNode(t, null, (ns, es), (ns1, es):-
merge(ns, {t}, ns1).
Predicate addNode(t, upper, (ns, es), (ns1, es1)):-
merge(ns, {t}, ns1),
merge(es, {(upper, t)}, es1).

8 把谓词转换为函数
create(t)= graph
where createGraph(t, graph)

谓词不能独立使用也不能在进程中直接使用, 要在进程中使用需要先转换为函数.

9 程序单元: 包含进程和数据类型
Unit PmethodDAO;
interface
Tuple Method;
Process getLastVersion(OutPort pt1 , InPort pt2);
…
implementation
Method=(String id, String name, String version);
Process getLastVersion(OutPort pt1 , InPort pt2){
…
}

指导原则: 程序是由通过通道通信的进程组成的. 数据处理和算法用函数编程实现, 如果函数编程不适用于要处理的问题, 就使用逻辑编程或约束编程.

ProcessLog语言限制了编程的随意性, 要求只能用进程代数+函数编程+逻辑编程的方式编程, 不允许用Java或c#的命令方式编程.

ProcessLog 现在还没有在机器上实现. 我用该语言重写了实际项目中的一些复杂代码(原是Java代码), 证实用它写的程序确实简单清晰, 有类似数学的简洁美. "7 谓词"就是其中一部分代码.

我的想法是: 应先在纸面上规定它的语法与语义, 再通过使用它编写一些应用程序来发现它的不足,再进而改进它, 再实践, 再改进, 直到它基本完善再在机器上实现. 另外, 大家不要把语言分为中国人提出的还是外国人提出的, 科学无国界, 这里不存在狭隘的爱国主义. 我不是那种技术高手, 但我自信我是一个能将理论很好地联系实践的研究者.

希望有识之士和我一起共同发展这种编程方法论和这门语言.
juwenguang2000@yahoo.com.cn

References
1. CSP http://www.usingcsp.com/
2. JCSP http://www.cs.kent.ac.uk/projects/ofa/jcsp/
3. Clean http://clean.cs.ru.nl/
4. Prolog
5. Delphi

注: 转载时请注明作者.


forrestju 2009-08-06 17:27 发表评论
]]>