欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
EOS Components Library
普元EOS构件库是为了支撑快速开发、部署应用系统而提供的,具有高度复用能力的一组预制构件的集合。利用EOS构件库中大量的构件可以快速搭建应用系统,大大提高软件可复用度,提高开发效率;同时通过对构件的管理可以建立一套针对构件的生产、改进、管理、沉淀和发展的完整软件管理机制,使得软件企业组织级的软件知识沉淀可以通过构件库的形式得以实现和发展。
目前,EOS构件库主要面向不断成长中的企事业机构,帮助他们构建和完善接触级的业务流程处理系统。EOS构件库主要包括基础计算构件库、基础业务构件库、工作流构件库三大类,此外,还包括一些开源的工作协同类构件库、分析类构件库等,提供给客户做参考。
基础计算构件库:基础计算构件库是EOS提供的与系统基础应用相关的一组构件包,能够完成应用系统最基本的具体操作(计算)层次的功能,如数据库操作、日期时间操作、XML节点操作、字符串处理、数学运算等等。基础构件包能够被基于EOS应用开发中新建立的构件包引用,每个基础构件包分为运算逻辑(Bizlets)和业务逻辑(BizLogic)两个层次,为引用构件包提供不同层次的复用
基础业务构件库中预制了一套快速开发Web应用系统的框架构件,包括权限管理,业务字典,简单组织机构,简单报表等等。就如同机械设备中的螺钉螺母一样,这套框架提供了开发业务应用时所需要的大量常用功能,从而使用户只需要开发满足自身特定需求的功能,即可快速完成一套完整的web应用系统的搭建,充分体现基于EOS平台的构件复用特性,节约开发成本。