loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
International Conference on Software Engineering Advances (ICSEA 2007)
Formal Verification of Consistency between Feature Model and Software Architecture in Software Product Line
Cap Esterel, France
August 25-August 31
ISBN: 0-7695-2937-2
Tonny Kurniadi Satyananda, Information and Communications University
Danhyung Lee, Information and Communications University
Sungwon Kang, Information and Communications University
During software development process, software artifacts are produced. Consistency among these artifacts should be verified to ensure error-free product. In software product line development, consistency becomes more important because commonalities and variabilities increase the complexity of relationship among artifacts. In this paper, we present a formal approach to verification of consistency between feature model and component and connector view of software architecture. By utilizing Prototype Verification System (PVS), we introduce our model of feature description and architecture description, and illustrate the consistency verification approach using a digital watch product line example.
Citation:
Tonny Kurniadi Satyananda, Danhyung Lee, Sungwon Kang, "Formal Verification of Consistency between Feature Model and Software Architecture in Software Product Line," icsea, pp.10, International Conference on Software Engineering Advances (ICSEA 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.