论文部分内容阅读
本文在介绍形式化方法和统一系统概括、模型的基础上，比较了常规方法和形式化方法，探讨了形式化方法在统一系统中各个阶段的规范应用，以及需求建模，得出了形式化方法所具有的特点有助于系统的实现和完善，同时使用petri网模型验证了统一系统中案件办理流程的路由结构。
基于形式化方法在检察机关统一业务系统中的应用
【摘 要】
：
本文在介绍形式化方法和统一系统概括、模型的基础上，比较了常规方法和形式化方法，探讨了形式化方法在统一系统中各个阶段的规范应用，以及需求建模，得出了形式化方法所具有的
【出 处】
：
2014年科技强检电子信息系统研发与示范项目成果研讨会
【发表日期】
：
2014年期
其他文献
福堂水电站调压井的开挖直径为31m,井筒深度112m,所处地形及地质条件复杂,目前在我国尚缺乏类似工程的施工经验。为使工程施工安全、经济、快速地进行,有必要对施工过程中调压井及井周围岩的应力及变形进行研究。本文结合福堂调压井工程,就地下工程中的热点问题,选取了在理论上和工程实践中有实际意义的几个问题采用施工监测和数值仿真模拟相结合的方法进行了分析和探讨。1、以“新奥法”的基本思想为指导,提出了适合
为加强检察机关对案件办理中原始记录和关键性资料的管理，依照检察机关相关诉讼卷宗管理规范，研制符合检察机关的电子卷宗管理系统。本文在剖析电子卷宗模型基础上，提出电子
目前,中国正处于传统农业向现代农业转变的初期,农村社会化服务体系还比较薄弱.为此,采用高新技术改造传统农业,提高劳动者的素质、推动农业生产发展和实现农业现代化,将产生
随着互联网技术的广泛普及以及Web2.0的爆发式增长,互联网不仅给我们的生活工作娱乐带来了便利,但互联网对社会舆论的影响也越来越大,使得网络舆论成为社会舆论的重要组
会议
如何对特高拱坝中的大体积混凝土结构进行有效的温度控制一直是水利工程设计和施工中关心的核心问题。而通水冷却作为大体积混凝土工程最有效的温控措施，在其施工过程中通常存
在全国检察机关业务软件大统一的背景下，针对目前业务软件系统存在和各地已有系统数据不能共享和交互的问题，在分析比较已有比较成熟技术的基础上，提出了基于JMS和XML技术的
会议
新疆的宽浅游荡型河段河床、河岸多为细沙土,水流多成集中的股流,股流方向摆动不定,有时与岸坡防护工程呈较大的交角甚至是横流,股流淘刷严重,冲刷深度很大。这就要求调治构
今天，随着互联网的高速发展，我们正迈入大数据时代。面对庞大的数据流，网络舆情的监测和分析越来越依赖于大数据分析技术，如何将其运用于涉检网络舆情，是我们检察机关网络舆情
本文介绍了全国检察机关统一业务应用系统决策支持系统的开发背景、设计思路、实现方式及其所依赖的数据仓库的设计与实现，并以公诉业务的一个常用统计报表为例全面展示了
会议