Formal Modeling and Verification of Complex Interactions in E-Government Applications
首发时间:2015-04-21
Abstract:With the dramatic transformation of society and the increasing size of government information resources, proper modeling and verification techniques for designing large-scale distributed electronic government (E-Government) applications to make them trustworthy, secure and efficient are playing a key role in the development of such applications. This paper focuses on using the integration of a promising coordination modeling framework Reo and the proof assistant Coq for modeling and verification of complex interactions in E-Government applications. An access control example is investigated to show our approach on modeling, simulating and verifying the dynamic behavior of E-Government applications.
keywords: Reo, Coq, E-Government, Modeling, Verification
点击查看论文中文信息
对电子政务应用中复杂交互行为的形式化建模与验证
摘要:当下社会演变之迅速前所未有,随着政务信息化程度的不断加强,电子政务系统的可靠性,安全性和高效性正在受到巨大考验。因此对大规模分布式电子政务系统进行合理的建模和验证成为当前的一个重要课题。本文将辅助证明系统Coq与协作模型Reo进行整合,以门禁系统为例,展示了如何对电子政务系统中的复杂交互行为进行建模,模拟与验证。
论文图表:
引用
No.4638639105024914****
同行评议
共计0人参与
勘误表
对电子政务应用中复杂交互行为的形式化建模与验证
评论
全部评论0/1000