SAAS英文全称为Software As A Service(软件即服务),在2003年,由Saleforce公司研发的一种新型软件应用模式。操作模式是在SAAS供应方的服务器中部署软件系统,用户无需重新购买授权许可的套装软件,以租用的形式即可通过internet在线直接...SAAS英文全称为Software As A Service(软件即服务),在2003年,由Saleforce公司研发的一种新型软件应用模式。操作模式是在SAAS供应方的服务器中部署软件系统,用户无需重新购买授权许可的套装软件,以租用的形式即可通过internet在线直接使用软件。文章针对SAAS的风险及其影响因素展开研究,介绍了SAAS的具体定义,以了解SAAS的运行环境和适用范围。分别分析供应商和应用企业方面的风险及影响因素,并根据不同类型的风险提出了相应的应对措施,旨在帮助企业能够充分运用internet,提高企业自身竞争力和内部生产效率。展开更多
一个新兴的行业
SaaS（Software as a Service-软件即应用）是一种软件应用模式。它通过Internet或者其他网络远程为客户提供软件服务，厂商将软件统一部署在特定的服务器上，客户可以根据自己的实际需求，通过互联网或者其他网络向厂...一个新兴的行业
SaaS（Software as a Service-软件即应用）是一种软件应用模式。它通过Internet或者其他网络远程为客户提供软件服务，厂商将软件统一部署在特定的服务器上，客户可以根据自己的实际需求，通过互联网或者其他网络向厂商定购所需的应用软件服务。展开更多
The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded systems.Statecharts are widely used to formally model embedded ...The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded systems.Statecharts are widely used to formally model embedded applications,but they do not realise the reasonable separation of system concerns,which would result in code scattering and tangling.Aspect-Oriented Software Development(AOSD)technology could separate crosscutting concerns from core concerns and identify potential problems in the early phase of the software development life cycle.Therefore,the paper proposes aspect-oriented timed statecharts(extended timed statecharts with AOSD)to separately model base functional requirements and other requirements(e.g.,scheduling,error handling),thereby improving the modularity and development efficiency of embedded systems.Furthermore,the dynamic behaviours of embedded systems are simulated and analysed to determine whether the model satisfies certain properties(e.g.,liveness,safety)described by computation tree logic formulae.Finally,a given case demonstrates some desired properties processed with respect to the aspect-oriented timed statecharts model.展开更多
文摘SAAS英文全称为Software As A Service(软件即服务),在2003年,由Saleforce公司研发的一种新型软件应用模式。操作模式是在SAAS供应方的服务器中部署软件系统,用户无需重新购买授权许可的套装软件,以租用的形式即可通过internet在线直接使用软件。文章针对SAAS的风险及其影响因素展开研究,介绍了SAAS的具体定义,以了解SAAS的运行环境和适用范围。分别分析供应商和应用企业方面的风险及影响因素,并根据不同类型的风险提出了相应的应对措施,旨在帮助企业能够充分运用internet,提高企业自身竞争力和内部生产效率。
基金supported by the National Natural Science Foundation of China under GrantsNo.61173048,No.61103115
文摘The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded systems.Statecharts are widely used to formally model embedded applications,but they do not realise the reasonable separation of system concerns,which would result in code scattering and tangling.Aspect-Oriented Software Development(AOSD)technology could separate crosscutting concerns from core concerns and identify potential problems in the early phase of the software development life cycle.Therefore,the paper proposes aspect-oriented timed statecharts(extended timed statecharts with AOSD)to separately model base functional requirements and other requirements(e.g.,scheduling,error handling),thereby improving the modularity and development efficiency of embedded systems.Furthermore,the dynamic behaviours of embedded systems are simulated and analysed to determine whether the model satisfies certain properties(e.g.,liveness,safety)described by computation tree logic formulae.Finally,a given case demonstrates some desired properties processed with respect to the aspect-oriented timed statecharts model.
