Title :
A Feature Model of E-Government Systems Integrated with Formal Specifications
Author :
Debnath, Narayan ; Felice, Laura ; Montejano, Germán ; Riesco, Daniel
Author_Institution :
Winona State Univ., Winona
Abstract :
Feature modeling has become one of the most popular methods for representing variabilities and commonalities in software product families. In this paper we describe the feature model for e- government systems. In addition, we present a first approach to integrate formal specifications with feature models in order to produce guidelines to be used in the context of specifications reuse. We show that RSL language can adequately capture relations introducing semantics to the feature model of a system.
Keywords :
formal specification; government data processing; RSL language; e-government systems; feature model; formal specifications; Concrete; Context modeling; Electronic government; Electronic mail; Formal languages; Formal specifications; Guidelines; Information technology; Personal communication networks; Terminology; Feature Model; Formal Specification; RSL Specification; e-government;
Conference_Titel :
Information Technology: New Generations, 2008. ITNG 2008. Fifth International Conference on
Conference_Location :
Las Vegas, NV
Print_ISBN :
0-7695-3099-0
DOI :
10.1109/ITNG.2008.104
