The role of semantics in e-government service model verification and evolution

Stojanovic, L; Abecker, A; Apostolou, D; Mentzas, G; Studer, R

dc.contributor.author	Stojanovic, L	en
dc.contributor.author	Abecker, A	en
dc.contributor.author	Apostolou, D	en
dc.contributor.author	Mentzas, G	en
dc.contributor.author	Studer, R	en
dc.date.accessioned	2014-03-01T02:50:55Z
dc.date.available	2014-03-01T02:50:55Z
dc.date.issued	2006	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/35203
dc.relation.uri	http://www.scopus.com/inward/record.url?eid=2-s2.0-33747198788&partnerID=40&md5=785bfd3ee06d5e7f5eed14c8203c970d	en
dc.subject.other	Computer science	en
dc.subject.other	Information management	en
dc.subject.other	Information technology	en
dc.subject.other	Mathematical models	en
dc.subject.other	Problem solving	en
dc.subject.other	World Wide Web	en
dc.subject.other	Demographic involvement	en
dc.subject.other	e-government service	en
dc.subject.other	Semantic technologies	en
dc.subject.other	Semantics	en
dc.title	The role of semantics in e-government service model verification and evolution	en
heal.type	conferenceItem	en
heal.publicationDate	2006	en
heal.abstract	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. Copyright © 2006, American Association for Artificial Intelligence (www.aaai.org). All rights reserved.	en
heal.journalName	AAAI Spring Symposium - Technical Report	en
dc.identifier.volume	SS-06-06	en
dc.identifier.spage	117	en
dc.identifier.epage	128	en