http://achilles.blogsome.com record what i am doing ,what i am learning ,what i am thinking Tue, 26 Dec 2006 14:01:25 +0000 http://backend.userland.com/rss092 en 工作了，每天变得比学校的时候更加简单。难道生活就是这样的吗？ http://achilles.blogsome.com/2006/12/26/p21/ 七月份的时候这个床一直不好用，以为挂了呢，今天同学在群里公布blog，我就抱着试试看的态度回这里看了一下，surprisingly,这里又打开了。做个记号，从今天开始继续搏我的老哥。 http://achilles.blogsome.com/2006/03/03/%e5%a5%bd%e4%b9%85%e6%b2%a1%e6%9c%89%e6%9d%a5%e8%87%aa%e5%87%a0%e7%9a%84blog%e4%ba%86/ 按照jetBrains网页上的那个HelloWorld教程一步一步做下来 后来定义generator的时候出现了异常，找了半天也没找到原因 不知道是不是他们工具的bug，从前面的操作已经感觉到了一点这个mps的好处了 它用这种editor的形式使得程序也可以数据一样操作，他们声称的这种是自定义的DSL 这个稍稍有点体会 http://achilles.blogsome.com/2005/06/21/%e8%af%95%e4%ba%86%e4%b8%80%e4%b8%8bmps/ 来自http://xjcxp.mblogger.cn/posts/11271.aspx 管理软件的生产模式 重温ERP的生产计划部分，通常把生产流程划分为连续型生产、重复性生产、基于库存的生产、基于订单的装配和基于订单的设计，尽管不是很严格的定义，却也不失为一种好的归类。 联想起管理软件的生产问题，较之IT技术的飞速发展，其生产率并没有显著的提升。企业对信息化的渴求与管理软件实施与服务成本的居高不下，是目前这个市场最为突出的矛盾。也许也可以对管理软件的生产问题先归归类，以便更好地分析问题的症结所在。 一、标准产品模式 搞一个产品到处买，是最为理想的方式。数据库、Office等软件就是这样成就了Oracle、Microsoft。在企业应用领域，CAD、办公OA等也可以在一定程度上做到标准化。但最突出的是财务软件，用友、金蝶已成为一个经典范例。 当然，管理领域是如此复杂，差异化是如此丰富，这种标准产品模式已经是可遇不可求了。 二、完全项目模式 国内很多中小软件公司都是靠这种方式生存的。没有什么产品积累，搞一大帮开发人员，从零开始为用户定制开发企业应用。对用户而言，这个可是最彻底的量体裁衣。 但这并非说明用户的业务就真的这么特殊，软件开发商也并非自觉地地专注于一个细分的市场。就国内而言，这种情况是管理软件的起步阶段，低水平建设的标志。实际上，考虑到IT人员的高流动频率，此类软件开发商大多处于低水平重复的恶性循环，也不大可能为客户提供高质量的产品和服务。 以上二种方式实际上是二个极端，一个完全标准化，一个完全定制化。在管理软件市场的起步阶段，这二种方式占据主流的位置。随着市场的逐步成熟，这二种方式也逐步被边缘化了。预计今后只有在特定的细分市场，这二种方式才会被继续采用。 三、二次开发模式 一个完全项目模式的开发商，在多个案例中可以归纳出项目的许多共性，于是一种产品原型便提炼了出来。在这个基础上，再给客户作定制开发，开发效率无疑会大幅提升。这种二次开发模式于是便成为管理软件的主流开发模式。 过去搞标准产品的开发商，如用友、金蝶，在向ERP进军的过程中，也纷纷采用这种通用模式。往往是先通过完全项目模式搞点积累，然后采用二次开发模式迅速打开市场。 四、参数配置模式 如果每个客户项目都需要派大批软件工程师进行二次开发，对于一个管理软件供应商而言，这种人力成本依然很高。具有丰富业务积累的供应商便需要考虑，如果事先把各种业务需求都预制在产品中，通过参数开关，实现对客户的个性化配置，这样便可以大大节省二次开发的成本。 当然，做到这一点，需要很大的投入。首先是，需要以丰富的业务积累为前提；其次，产品研发的难度很大，需要强有力的研发力量。 所以，目前也只有SAP在这方面做得较好。Oracle虽然也可以进行大量配置来个性化，但许多时候，还是要进行二次开发。用友和金蝶就更逊一些了。 二次开发和参数配置是目前的主流模式。管理软件商大都同时采用这二种方式来提供解决方案。而且，一个趋势是，随着产品研发的不断深入，大多强化业务积累和配置，减少二次开发的工作量。 但就SAP而言，虽然把参数配置模式发挥到及至，但其产品的复杂性和高昂的实施和维护成本，已经令客户不堪重负。解决方案的敏捷性便成了一个突出的问题。 五、构件装配模式 构件装配的思想显然是受制造业的启迪。这个思想已经提出很久了，构件技术也有了很大的发展。现有的管理软件产品，无疑也大量使用了构件技术。但是，很难说，时下的那种管理软件采用了构件装配模式。 以Delphi这种工具为代表的事件驱动开发，把构件技术首先用在表示层，大大提升了桌面应用的开发效率。EJB把构件技术成功地推广到中间服务层，充分体现了构件技术的威力。但这些技术型构件的积累，主要是对软件开发的效率有很大提升，关管理软件什么事？管理软件更关注业务的敏捷性。 于是，构件平台出现了。不仅是积累各种技术性构件，更主要的是积累丰富的业务构件，以实现对管理软件的快速装配。这种平台，目前在一些行业应用中得到了初步的展示。但是，它似乎更多地是同二次开发模式竞争。 实际上，正如我在以前的随笔里倡导的商业对象的去对象化，业务构件的积累则是典型的商业对象的对象化，其困难我以前的随笔已有说明。 六、模型驱动模式 这个思想也很早就出现了。只是那时多用一个技术术语：代码生成器。也就是说，通过图示表达自动生成程序应用。如今的技术有了很大发展，这个思路也就有了大展身手的舞台。OMG搞的受到IBM等大企业推崇的MDA，就是如今正热门的模型驱动模式。 模型驱动的基本思想是，把复杂的业务描述为一个平台无关的模型，再自动转换为软件代码，生成应用。这个思路可以说直指参数配置模式。无需研发成本高昂、复杂庞大、包罗万象的可以进行强大配置的erp产品，完全可以根据业务变化随时快速生成一个新的应用，能更好地适应业务的敏捷性。 以上，大致列出了6种管理软件的生产模式。如果非要给出一个演化序列，大致可以说，标准产品模式和完全项目模式为第一代，二次开发模式和参数配置模式为第二代，构件装配和模型驱动为第三代。目前的管理软件生产模式以第二代为主，但已经开始逐步向第三代演化了。 ... http://achilles.blogsome.com/2005/06/21/%e7%ae%a1%e7%90%86%e8%bd%af%e4%bb%b6%e7%9a%84%e7%94%9f%e4%ba%a7%e6%a8%a1%e5%bc%8f/ EAP即Early Access Program JetBrains的网站上说：It is important to distinguish EAP from a pre-release software. Please note that the quality of EAP versions may at times be far below even usual beta standards. 二月份的时候看到了Sergey Dmitriev发表的一篇文章Language Oriented Programming: The Next Programming Paradigm，感觉这是个好东西，有点类似于mda，但是侧重点不同。下载了个Mps，赶快看看有没有什么激动人心的东西 http://achilles.blogsome.com/2005/06/17/%e6%98%a8%e5%a4%a9jetbrains%e5%8f%91%e5%b8%83mps%e7%9a%84eap/ If you plan to create custom painting code for a component, this section is required reading. Understanding the concepts in this section might also help you troubleshoot if Swing components don’t seem to be displayed correctly. How Painting Happens When a Swing GUI needs to paint itself — whether for the first ... http://achilles.blogsome.com/2005/06/14/how-swing-components-are-displayed/ AcmeStudio is an architectural design environment that has been developed at Carnegie Mellon University. It provides a graphical interface that allows you to draw architectures in various styles, and to manipulate and analyze those designs. The terminology used in AcmeStudio is the same as the Acme architecture description language, and ... http://achilles.blogsome.com/2005/06/10/%e8%bf%99%e5%87%a0%e5%a4%a9%e8%a6%81%e7%a0%94%e7%a9%b6%e4%b8%80%e4%b8%8basl-csp/ 操作语义的基本思想是建立一个抽象机器以模拟程序在执行过程中如何进行数据处理。 指称语义的思想是使语言的每一成分对应于一个数学对象，该对象称为该语言成分的指称，程序看作输入域到输出域的映射，输入域和输出域统称为论域。因此论域与映射是指称语义的基本研究对象。 公理语义实在程序正确性验证的基础上发展起来的，它给出一种方法，使人们在给定的前提下，验证某种特性是否成立。 代数语义的基本思想是把描述语义的逻辑体系和满足这个逻辑系统的各种模型统一在一起，同时把模型的集合看成是以代数机构，研究这些模型之间的关系 http://achilles.blogsome.com/2005/06/08/%e5%bd%a2%e5%bc%8f%e8%af%ad%e4%b9%89%e5%ad%a6%e7%9a%84%e7%a0%94%e7%a9%b6%e5%af%b9%e8%b1%a1/ 上个月乱七八糟的事情比较多，没有心情上来更新，先说说上个月都作了些什么吧。 五月第一周放假，充分的休息了一周，第二周就看了一周的软件设计师的考试，第三周填了个IBM的实习计划，没有报太大的希望，结果让我去笔试了 大老远跑到哈尔滨 考了一下，考试基本上是那种能力测试，内容很简单，只要能看懂E文就行了，过了不到一周又让我去面试，面就面吧，这时候都是第四周了，又跑了一趟哈尔滨，这个是我生平第一次面试啊，紧张倒是不紧张，可是本人不擅长表达自己，好几个问题回头想想可以展开谈谈的，可能表现太差了，估计也不会给我二面机会了，让我触动最大的可能就是那个英文交流了，口语好事多么重要啊 唉，从今天开始强化英语听说能力。 总的来说这次ibm的事给我的收获也算不小，希望下半年找工作自己能够好运气。 http://achilles.blogsome.com/2005/06/07/%e5%a5%bd%e4%b9%85%e6%b2%a1%e6%9c%89%e6%9b%b4%e6%96%b0%e4%ba%86%ef%bc%81/ 许多数学工具都是以集合为基础的，而lambda 演算与众不同，它是以函数演算为基础的．它允许任意高阶的 函数运算，也就是说，一个函数的输人和输出都可以是函数．这个特点使它特别适于用作语义描述的表示方 法，尤其是在指称语义描述中更需要用到它． Lambda演算是一个形式系统，它被设计出来用来研究函数定义，函数应用和递归。它是在二十世纪三十年代由Alonzo Church 和 Stephen Cole Kleene发明的。Church在1936年使用lambda演算来证明了判定问题是没有答案的。Lambda演算可以用来清晰的定义什么是一个可计算的函数。两个lambda演算表达式是否相等的问题不能够被一个通用的算法解决，这是第一个问题，它甚至排在停机问题之前。为了证明停机问题是没有答案的，不可判定性能够被证明。Lambda演算对于函数式编程语言（例如lisp）有重大的影响。 λ-演算可以说是最简单、最小的一个形式系统。它是在二十世纪三十年代由Alonzo Church 和 Stephen Cole Kleene发明的。至今，在欧洲得到了广泛的发展。可以说，欧洲的计算机科学是从λ-演算开始的，而现在仍然是欧洲计算机科学的基础，首先它是函数式程序理论的基础，而后，在λ-演算的基础上，发展起来的π-演算、χ-演算，成为近年来的并发程序的理论工具之一，许多经典的并发程序模型就是以π-演算为框架的。 http://achilles.blogsome.com/2005/06/07/lambda-%e6%bc%94%e7%ae%97%e7%ae%80%e4%bb%8b/