The Role of Semantics in E-Government Service Model Verification and Evolution

Ljiljana Stojanovic, Andreas Abecker, Dimitris Apostolou, Gregoris Mentzas, Rudi Studer

E-government systems are subject to a continual change. The importance of better change management is nowadays more important due to the evolution of Europe towards a multicultural, more open and international society with changing common values, increasing levels of education, demographic involvement and adoption of new technologies. In this paper we show how semantic technologies may improve change management. The novelty of the approach lies in the formal verification of the service description as well as in the using of formal methods for achieving consistency when a problem is discovered.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.