带时间和资源约束的实例化过程模型验证方法

软件过程的性能是由软件过程模型和软件过程实例化两方面因素决定,如果对软件过程进行了不恰当的实例化,会导致成本超支、进度延期、甚至项目失败．已有的过程描述法不足以分析实例化过程模型,由于没有考虑实例化阶段的时间资源约束,语法结构正确的过程模型并不能保证过程执行的正确性．提出一种带时间和资源约束的实例化过程模型验证方法,为目前已有的s-TRISO／ML建模语言增加时间和资源约束属性,然后提出了从s-TRISO／ML模型转换成时间自动机的转换方法和实现算法,利用已有的分析工具Uppaal对转换得到的时间自动机的性质进行验证,得到一个合理的实例化模型,从而为真实的开发流程提供指导．     

基于SaaS和SOA的餐饮管理平台的研究与开发

基于SaaS模式的餐饮管理平台将传统的购买模式改进为租赁模式,而SOA能够更好地实现和优化业务流程,为餐饮管理运营提供了一个灵活的、可持续发展的IT平台。本文讨论了基于SOA的SaaS系统的相关技术分析和实现;在此基础上。构建了基于SAAS的餐饮管理系统。测试结果说明SaaS＋SOA构建企业信息化平台是可行的。     

基于WEB和Windows Mobile的外来有害生物预警系统的构建

外来生物入侵已经成为全世界关注的问题,我国成为受外来入侵生物危害最大的国家之一。防治外来物种入侵刻不容款,但总是缺乏有效的监督和控制的机制,帮助我们早期就发现问题所在并尽早采取有效措施。外来有害生物预警系统的设计目的就是为了帮助相关机构尽早地发现危险的外来物种,避免外来物种因泛滥成灾造成的生态系统破坏、物种濒危和灭绝以及遗传资源的破坏等大型的生物灾难。