Parameterized interfaces for open system verification of product lines

Proceedings - 19th International Conference on Automated Software Engineering, ASE 2004

Volumn , Issue , 2004, Pages 258-267

  Blundell, Colin ^a   Fisler, Kathi ^b   Krishnamurthi, Shriram ^c   Van Hentenryck, Pascal ^c  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b WPI ^*  (United States)

^c BROWN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BRUTE-FORCE APPROACH; FEATURE-ORIENTED ARCHITECTURES; PARAMETERIZED INTERFACES; PROPERTY-DRIVEN INTERFACE GENERATION;

COMPUTER SOFTWARE; ELECTRONIC MAIL; INFORMATION DISSEMINATION; MATHEMATICAL MODELS; NETWORK PROTOCOLS; PARAMETER ESTIMATION;

OPEN SYSTEMS;

EID: 15844377109     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2004.1342743     Document Type: Conference Paper

References (33)

1. M. Abadi and L. Lamport. Conjoining specifications. ACM Transactions on Programming Languages and Systems, 17(3):507-534, 1995.
2. R. Alur and M. Yannakakis. Model checking of hierarchical state machines. In Symposium on the Foundations of Software Engineering, pages 175-188, 1998.
3. C. Areces, W. Bouma, and M. de Rijke. Feature interaction as a satisfiability problem. In M. Calder and E. Magill, editors, Feature Interactions in Telecommunications Systems. IOS Press, 2000.
4. Aspect oriented programming (article series). Communications of the ACM, 44(10), Oct. 2001.
5. D. Batory. Product-line architectures. In Smalltalk and Java Conference, Oct. 1998.
6. D. Batory, C. Johnson, B. MacDonald, and D. von Heeder. Achieving extensibility through product-lines and domain-specific la nguages: A case study. ACM Transactions on Software Engineering and Methodology, April 2002.
7. C. Blundell, K. Fisler, S. Krishnamurthi, and P. V. Hentenryck. A constraint-based approach to open feature verification. Technical Report CS-03-07, Brown University Department of Computer Science, 2003.
8. K. Braithwaite and J. Atlee. Towards automated detection of feature interactions. In Feature Interactions in Telecommunications Systems, pages 36-59. IOS Press, 1994.
9. G. Bruns and P. Godefroid. Model checking partial state spaces with 3-valued temporal logics. In International Conference on Computer-Aided Verification, number 1633 in Lecture Notes in Computer Science, pages 274-287. Springer-Verlag, 1999.
10. G. Bruns and P. Godefroid. Generalized model checking: Reasoning about partial state spaces. In International Conference on Concurrency Theory, number 877 in Lecture Notes in Computer Science, pages 168-182. Springer-Verlag, 2000.
11. G. Bruns and P. Godefroid. Temporal logic query checking. In IEEE Symposium on Logic in Computer Science, pages 409-417. IEEE Press, 2001.
12. W. Chan. Temporal-logic queries. In International Conference on Computer-Aided Verification, pages 450-463, 2000.
13. M. Chechik and S. Easterbrook. Reasoning about compositions of concerns. In Proceedings of the ICSE Workshop on Advanced Separation of Concerns, May 2001.
14. M. Chechik, S. M. Easterbrook, and B. Devereux. Model checking with multivalued temporal logics. In International Symposium on Multiple Valued Logics, 2001.
15. E. Clarke, E. Emerson, and A. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1986.
16. P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison-Wesley, 2002.
17. K. Fisler and S. Krishnamurthi. Modular verification of collaboration-based software designs. In Joint European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 152-163, Sept. 2001.
18. C. Flanagan and K. R. M. Leino. Houdini, an annotation assistant for ESC/Java. In Formal Methods Europe, 2001.
19. D. Giannakopoulou, C. Pǎsǎreanu, and H. Barringer. Assumption generation for software component verification. In IEEE International Conference on Automated Software Engineering, pages 3-12, 2002.
20. A. Gurfinkel, B. Devereux, and M. Chechik. Model exploration with temporal logic query checking. In Symposium on the Foundations of Software Engineering. ACM Press, 2002.
21. R. J. Hall. Feature combination and interaction detection via foreground/background models. In Feature Interactions in Telecommunications Systems. IOS Press, 1998.
22. R. J. Hall. Feature interactions in electronic mail. In Feature Interactions in Telecommunications Systems. IOS Press, 2000.
23. M. Jackson and P. Zave. Distributed feature composition: A virtual architecture for telecommunications services. IEEE Transactions on Software Engineering, 24(10):831-847, Oct. 1998.
24. D. O. Keck and P. J. Kuehn. The feature and service interaction problem in telecommunications systems: A survey. IEEE Transactions on Software Engineering, 24(10):779-796, Oct. 1998.
25. G. A. Kildall. A unified approach to global program optimization. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 194-206, 1973.
26. O. Kupferman, M. Vardi, and P. Wolper. Module checking. In International Conference on Computer-Aided Verification, number 1102 in Lecture Notes in Computer Science, pages 75-86. Springer-Verlag, 1998.
27. K. Laster and O. Grumberg. Modular model checking of software. In Conference on Tools and Algorithms for the Construction and A nalysis of Systems, 1998.
28. H. C. Li, S. Krishnamurthi, and K. Fisler. Modular verification of open features through three-valued model checking. Automated Software Engineering: An International Journal, 2003.
29. H. Ossher and P. Tarr. Multi-dimensional separation of concerns in hyperspace. Technical Report RC 21452(96717), IBM, Apr. 1999.
30. C. Prehofer. Feature-oriented programming: A fresh look at objects. In European Conference on Object-Oriented Programming, number 1241 in Lecture Notes in Computer Science. Springer-Verlag, 1997.
31. R. H. Reussner and H. W. Schmidt. Using parameterised contracts to predict properties of component based software architectures. In ICSE Workshop on Component-Based Software Engineering, Apr. 2002.
32. M. Shaw and D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice-Hall, 1996.
33. C. R. Turner, A. Fuggetta, L. Lavazza, and A. L. Wolf. A conceptual basis for feature engineering. Journal of Systems and Software, 49(1):3-15, Dec. 1999.