DocumentCode
3286910
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
fYear
2008
fDate
7-9 April 2008
Firstpage
27
Lastpage
31
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Technology: New Generations, 2008. ITNG 2008. Fifth International Conference on
Conference_Location
Las Vegas, NV
Print_ISBN
0-7695-3099-0
Type
conf
DOI
10.1109/ITNG.2008.104
Filename
4492450
Link To Document