Automating product-line variant selection for mobile devices

Proceedings - 11th International Software Product Line Conference, SPLC 2007

Volumn , Issue , 2007, Pages 129-140

  White, Jules ^a   Schmidt, Douglas C ^a   Wuchner, Egon ^b   Nechypurenko, Andrey ^b  

^a VANDERBILT UNIVERSITY   (United States)

^b SIEMENS AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; MOBILE COMPUTING; PORTABLE EQUIPMENT; TELECOMMUNICATION EQUIPMENT;

AUTOMATED VARIANTS; AUTOMATION TECHNIQUES; CONFIGURABLE; DESIGN DECISIONS; DEVICE RESOURCES; PRODUCT VARIANTS; RESOURCE CONSTRAINTS; VARIANT SELECTIONS;

MOBILE DEVICES;

EID: 47949096378     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SPLINE.2007.4339262     Document Type: Conference Paper

References (29)

1. Choco constraint programming system. http://choco.sourceforge.net/.
2. M. Anastasopoulos. Software Product Lines for Pervasive Computing. IESE-Report No. 044.04/E version, 1.
3. D. Benavides, P. Trinidad, and A. Ruiz-Cortes. Automated Reasoning on Feature Models. 17th Conference on Advanced Information Systems Engineering (CAiSEŠ05, Proceedings). LNCS, 3520:491-503, 2005.
4. Y. Caseau. F.-X. Josset. and F. Laburthe. CLAIRE: Combining Sets. Search And Rules To Better Express Algorithms. Theory and Practice of Logic Programming, 2:2002, 2004.
5. P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison-Wesley. Boston, 2002.
6. E. Coffman Jr, G. Galambos. S. Martello, and D. Vigo. Bin packing approximation algorithms: combinatorial analysis. Handbook of Combinatorial Optimization. Kluwer Academic Publishers. 1998.
7. J. Cohen. Constraint Logic Programming Languages. Commun. ACM. 33(7):52-68, 1990.
8. J. Coplien, D. Hoffman, and D. Weiss. Commonality and Variability in Software Engineering. IEEE Software. 15:37-45, Nov.-Dec. 1998.
9. K. Czarnecki, S. Helsen. and U. Fisenecker. Staged configuration through specialization and multi-level configuration of feature models. Software Process Improvement and Practice, 10(2): 143-169, 2005.
10. D. P. D. Oppenheimer, A. Ganapathi. Why do Internet Services Fail, and What can be Done about It? Proceedings of the USENIX Symposium on Internet Techoňnologies and Systems, March 2003.
11. R. Fourer, D. M. Gay, and B. W. Kernighan. AMPL: A Modcling hmguage for Mathematical Programming. Duxbury Press, November 2002.
12. J. Jaffar and M. Maher. Constraint Logic Programming: A Survey, constraints. 2(2):(). 1994.
13. K. Kang et al. Feature-Oriented Domain Analysis (FODA) Feasibility Study. Carnegie Mellon University, Software engineering Institute, 1990.
14. T. Lemlouma and N. Layaida. Context-aware Adaptation for Mobile Devices. Mobile Data Management. 2004. Proceedings. 2004 IEEE International Conference on. pages 106-111, 2004.
15. M. Mannion. Using First-order Logic for Product Line Model Validation. Proceedings of the Second International Conference on Software Product Lines, 2379:176-187, 2002.
16. M. Mannion and J. Camara. Theorem Proving for Product Line Model Verification. Fifth International Workshop on Product Family Engineering, PFE-5, Siena, pages 4-6, 2003.
17. T Männistö, T Soininen, and R. Sulonen. Product Configuration View to Software Product Families. 10th International Workshop on Software Configuration Management (SCM-10). Toronto, Canada, pages 14-15, 2001.
18. L. Michel and P. V Hentenryck. Comet in Context. In PCK50: Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge, pages 95-107. New York. NY. USA. 2003. ACM Press.
19. S. Mittal and F. Frayman. Towards a generic model of configuration tasks. Proceedings of the Eleventh International Joint Conference on Artficial Intelligence, 2:1395-1401, 1989.
20. D. Muthig. I. John. M. Anastasopoulos. T Forster. J. Dörr, and K. Schmid. GoPhone-A Software Product Line in the Mobile Phone Domain. IESE-Report No, 25. 2004.
21. A. Nechypurenko, J. White, E. Wuchner, and D. C. Schmidt. Applying Model Intelligence Frameworks to Deployment Problems in Real-time and Embedded Systems. In Proceedings of MARTES: Modeling and Analysis of Real-Time and Embedded Systems at the 9th International Conference on Model Driven Engineering Languages and Systems. MoD-ELS/UML 2006. 2006.
22. D. Sabin and R. Weigel. Product configuration frameworksa survey. Intelligent Systems and Their Applications, IEEE [ see also IEEE Intelligent Systems], 13(4):42-49, 1998.
23. G. Smoka. The Oz Programming Model. In JELIA '96: Proceedings of the European Workshop on logics in Artificial Intelligence, page 251. London. UK. 1996. Springer-Verlag.
24. T van der Storm. Variability and Component Composition. Springer, 2004.
25. P. Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press Cambridge, MA, USA. 1989.
26. J. White. A. Nechypurenko. E. Wuchner, and D. C. Schmidt. Intelligence frameworks for assisting modelers in combinatorically challenging domains. In Proceedings of the Workshop on Generative Programming and Component Engineering for QoS Provisioning in Distributed Systems at the Fifth International Conference on Generative Programming and Component Engineering (GPCE 2006), 2006.
27. J. White. D. Schmidt, and A. Gokhale. The J3 Process for Building Autonomic Enterprise Java Bean Systems, icac. 00:363-364, 2005.
28. J. White and D. C. Schmidt. Simplifying the Development of Product-Line Customization Tools via MDD. In Workshop: MDD for Software Product Lines, ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, October 2005.
29. W. Zhang. S. Jarzabek, N. Loughran, and A. Rashid. Reengineering a PC-based system info the mobile device product line. Software Evolution, 2003. Proceedings. Sixth International Workshop on Principles of, pages 149-160. 2003.