|
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 |
|