一种基于分层Petri网的软件工作流开发模型

软件开发模型很多,基于Web的三层结构的软件设计开发模型的关键是要考虑它的并发性.本文提出一种基于分层Petri网的Web软件开发模型.该模型对基本有限自动机进行了扩充;将扩充后的有限自动机转换成为分层状态图;根据分层状态图转换成为多功能视图;在此基础上进行软件开发.最后将这个模型发展成为分层Petri网模型,使模型更具描述能力.利用这个开发模型可以方便地进行需求分析和描述;只需开发功能子服务组件或模块,便可进行新的软件开发、系统扩充以及后来的系统重构.     

基于概率模型检测的Web服务组合验证

Web服务组合验证对提高软件开发效率、实现服务增值具有重要意义。为了验证服务组合的有效性,提出了一种基于概率模型检测的Web服务组合验证方法。首先采用扩展的有限自动机模型建立Web服务组合模型,并将该模型转换为Markov模型,然后采用概率模型检测器PRISM验证服务组合的可靠性,最后通过实例进一步说明该方法的可行性。     

BPEL中基于有限状态自动机的Web服务自动组合

提出了一种基于有限状态自动机的Web服务自动组合方法,该方法能够自动实现BPEL中抽象业务流程与Web服务的绑定.以有限状态自动机模型形式化地定义了业务流程的外模式和内模式,将Web服务组合问题转化为有限状态自动机问题.利用有限状态自动机的笛卡儿积运算,得出了服务组合系统的行为描述.在此基础上,提出了组合服务存在性的判定依据,进一步给出了组合服务的计算方法,设计并实现了一个演示系统.     

面向RIA的系统重构模型

利用软件工程中的重构技术,提出一种基于抽象数据视图的系统转换模型。采用抽象数据状态图与经典重构策略相结合的方式对系统进行重构,通过映射方法平滑地将Web应用程序转换为富互联网应用(RIA)程序。实验结果表明,该模型能够提升用户界面的质量与易用性,降低设计与开发过程中的工作量。     

从Scenarios到状态图的算法分析

采用Scenarios进行需求建模能够反映从用户角度观察到的系统的行为,状态图是系统行为的精确描述。从Scenario到状态图的自动转换是指软件开发过程中从UML需求模型自动生成行为模型的过程,其研究对于细化系统行为,保持开发过程中模型间的一致性有重要意义。对其研究现状及进展进行了介绍,并对现有算法进行了总结和分类,进一步指出这些算法的不足和今后需要改进的方向。     

一种基于UPPAAL的Web服务组合模型检测方法

Web服务组合的正确性验证对提高软件开发效率、实现服务增值具有重要意义。为从高层抽象层次研究Web服务组合的正确性及其形式化验证方法,考虑到Web服务组合中的实时特征,在采用软件体系结构描述语言XYG/ADL对Web服务组合进行描述的基础上,将其实时描述部分XYZ/RE转换至时间自动机模型,组合后系统应满足的性质用分支时序逻辑CTL公式表示,最后应用模型检测工具UPPAAL实现了Web服务组合正确性的自动化验证。     

UML顺序图与状态图的一致性检查

用户可使用UML从不同角度对系统进行建模,但不同视图间存在信息冗余,可能导致视图不一致问题。该文针对具有多种逻辑语义的顺序图提出分析方法,为复杂层次结构的状态图引入有限状态自动机,利用自动机分解算法得到自动机树。制定新的顺序图和状态图一致性检查准则和Promela代码结构,用模型检验工具SPIN进行顺序图及其相关状态图的一致性检验。     

合成状态图中非预期状态转换路径的确认

利用Scenario进行需求建模能够反映从用户角度观察到的系统行为,而利用状态图能够从对象角度对系统行为进行精确描述.从Scenario到状态图的自动转换指软件开发过程中,从UML需求模型自动生成行为模型的过程.在分析已有的自动转换算法存在的不足的基础上,提出了从语法角度出发,对用例进行分析,提取合适的状态向量;利用在算法中增加Scenario的相关信息,确定非预期状态转换路径.     

基于MDA的实时软件资源建模与模型转换的方法

模型驱动体系结构(MDA)是一种以模型为中心的软件开发框架,其本质是元建模与模型转换。提出了一种基于MDA的实时软件资源建模与模型转换的方法。首先通过元建模抽象出包含资源信息的MARTS元模型以及价格时间自动机的元模型;然后利用模型转换语言ATL对MARTS元模型和价格时间自动机元模型构造转换规则,通过将对应的实例模型进行相互转换,实现在MDA下MAR"I'E模型到价格时间自动机模型的转换;最后通过形式化工具UPPAAL对模型转换结果进行形式化验证。实例分析表明了该方法的可行性与有效性,它能够提高实时软件资源建模的可信性。     

基于场景的联锁软件形式化模型生成方法

为保证列车运行安全和旅客生命财产安全,对车站联锁控制系统进行有效的分析、验证和测试是必不可少的,而形式化模型是联锁系统分析、验证和测试的基础.以计算机联锁软件的UML半形式化模型为基础,以事件确定有限自动机模型作为描述系统的形式化模型,研究UML2.0顺序图转换为事件确定有限自动机模型的方法.首先选取一组与交互行为相关的全局变量作为状态向量来分析和消解顺序图各个场景的消息以及不同场景间的同一消息的前后置状态向量值是否存在矛盾,从而得到一致性的需求场景;然后提取各对象的事件序列生成对应的事件确定有限自动机;最后通过组合系统中对象的自动机模型得到系统的事件确定有限自动机模型.该方法改善了安全苛求软件的设计与开发,为软件质量评估提供了技术支撑.     

Web服务和BPEL规范在人力资源管理系统中的应用

为解决当前人力资源管理领域面临的难以协同工作、难以支持业务流程自动化执行的问题,在该领域引入Web服务与工作流技术.首先结合BPEL4WS规范,分析人力资源管理过程中业务流程的实际模型;提出一种基于Web服务与BPEL4WS规范的软件支撑环境的设计方案,实现了流程的自动化执行与业务协同;并在传统的B/S结构基础上,采用Ajax技术构造客户端,增强交互性与易用性;最后,在系统实现的基础上,提出该领域生成工具的研究与实现,有效简化该领域软件开发过程.     

An extended XACML model to ensure secure information access for web services

More and more software systems based on web services have been developed. Web service development techniques are thus becoming crucial. To ensure secure information access, access control should be taken into consideration when developing web services. This paper proposes an extended XACML model named EXACML to ensure secure information access for web services. It is based on the technique of information flow control. Primary features offered by the model are: (1) both the information of requesters and that of web services are protected, (2) the access control of web services is more precise than just “allow or reject” policy in existing models, and (3) the model will deny non-secure information access during the execution of a web service even when a requester is allowed to invoke the web service.     

基于J2EE的通信工程管理信息系统

以J2EE理念为先导,把AJAX的Web技术融合到系统的开发过程中,采用异步交互过程,减轻了服务器的负担,创建了直接的、高可用的、更丰富的用户接口界面,并结合最新的Web服务器开发技术和先进的软件开发思想,探讨了基于J2EE的通信工程管理信息系统开发过程中遇到的问题,并给出了相应的解决办法;以其在具体企业中的应用为例,讨论了具体应用中各个功能模块的设计与实现。     

基于LOTUS NOTES的FEDEP管理系统研究

大规模分布仿真已经发展到高层体系结构（HLA）阶段,联邦开发和执行过程（FEDEP）为联邦开发提供丁一个高层指导规范,怎样实现FEDEP各个步骤的自动化,怎样实现联邦开发人员之间的紧密衔接,已成为这个领域研究人员关注的问题。Lotus Notes是集企业级通信、协作、工作流、Internet和Interact Web应用功能于一体的软件平台。能够很好的解决上述问题。介绍了一种基于Lotus Notes的联邦开发与执行过程管理系统设计与实现,详细给出了FEDEP模型,重点描述了系统设计思路和FEDEP协同工作环境的结构。     

基于扩展的UML构建Web应用系统的WAMDM模型

Windows DNA形态的Web应用正在变得越来越广泛，越来越复杂，越来越难以控制。给出了一种利用扩展UML构建Web应用的方法模型(WAMDM，Web Application Modeling and Developing Methodology)。应用该方法模型来开发Web应用，不仅可以很好地控制系统的复杂性，使Web应用的开发和维护更容易进行，而且将windows DNA的3层设计以一致的方式完全集成，使整个设计开发过程平滑一致。     

基于Struts的应用架构的研究

主要介绍MVC模型2设计模式及J2EE的数据访问对象（DAO）模式,并阐述了基于MVC模型2的Web应用软件开发框架Struts的体系结构,最后针对基于Struts的典型应用架构,提出了一种更有效的改进架构。该架构提高了系统开发的灵活性、维护性、重用性。     

基于GIS的配电网自动化实时监控系统的设计

配电网自动化和配电GIS实施对电力信息化意义重大,文章分析IEC 61968标准UIB软总线和IEC 61970标准CIM模型的配电网自动化系统软件体系结构,提出基于消息中间件Qpid的实时数据交换接口;讨论C/S及B/S两种模式的优缺点,详细给出桌面版及web版两种GIS实时监控系统的设计和实施效果;系统设计符合配电网相关标准要求,试运行能够满足中低压配电网自动化实时监控系统的通用性、可扩展性和分布式要求,提高电力公司配电管理水平.     

基于构件组装的网站系统开发过程研究

如何结合实际应用要求实施基于构件组装的网站开发过程是一个值得研究的课题。文章根据构件技术的发展,提出一种基于构件组装的网站系统开发框架,并研究了网站构件的开发与组装方法,将这一技术应用到精品课程网站系统的开发中,结果表明了该方法的有效性。     

基于工作流的在线健康保险系统的研究与实现

在线健康保险系统(eHealthInsurance System)可以实现客户网上自助投保的业务。在分析了系统在开发流程的实现过程后,提出了基于工作流思想的过程管理解决方案优化系统的开发模式,通过引入基于工作流技术的项目管理软件来管理控制系统的开发流程。最终达到提高系统的自动化程度,提高工作效率,节约公司成本,实现系统业务增长的目的。