Property models from incidental algorithms to reusable components

GPCE'08: Proceedings of the ACM SIGPLAN 7th International Conference on Generative Programming and Component Engineering

Volumn , Issue , 2008, Pages 89-98

  Järvi, Jaakko ^a   Marcus, Mat ^b   Parent, Sean ^b   Freeman, John ^a   Smith, Jacob N ^a  

^a TEXAS A AND M UNIVERSITY   (United States)

^b ADOBE RESEARCH   (United States)

Author keywords

Component software; Constraint systems; Declarative specifications; Software reuse; User interfaces

Indexed keywords

APPLICATIONS; SPECIFICATIONS; USER INTERFACES;

APPLICATION SPECIFICS; CODE SIZES; COMMAND PARAMETERS; COMMERCIAL SOFTWARES; COMPONENT SOFTWARE; CONSTRAINT SOLVERS; CONSTRAINT SYSTEMS; DECLARATIVE SPECIFICATIONS; DESKTOP APPLICATIONS; EVENT-HANDLERS; INTERACTION RULES; INTERFACE ELEMENTS; MULTIPLE INTERFACES; PARAMETER SYNTHESIS; PRODUCT LINES; PROPERTY MODELS; REUSABLE COMPONENTS; SOFTWARE ARTIFACTS; SOFTWARE REUSE;

COMPUTER SOFTWARE REUSABILITY;

EID: 63449083950     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1449913.1449927     Document Type: Conference Paper

References (32)

1. Cocoa Appliation Tutorial. Apple Inc., October 2007. URL http://developer.apple.com/documentation/Cocoa/ Conceptual/ObjCTutorial/.
2. ASL. Adobe Source Libraries. Adobe Systems, Inc., 2005. URL stlab. adobe.com.
3. Victor R. Basili, Lionel C. Briand, and Walcelio L. Melo. How reuse influences productivity in object-oriented systems. Commun. ACM, 39 (10):104-116, 1996.
4. Alan Borning, Robert Duisberg, Bjorn Freeman-Benson, Axel Kramer, and Michael Woolf. Constraint hierarchies. SIGPLAN Not., 22(12):4860,1987.
5. John M. Boyer, Micah Dubinko, Jr. Leigh L. Klotz, David Landwehr, Roland Merrick, and T. V. Raman. XForms 1.0 (Third Edition), October 2007. URL http://www.w3.org/TR/2007/REC-xforms-20071029/.
6. Steve Burbeck. Applications Programming in Smalltalk-80(TM): How to use Model-View-Controller (MVC), 1987. URL http://st-www.cs. uiuc.edu/users/smarch/ st-docs/mvc.html.
7. Neil Deakin. XUL tutorial. Webpage, February 2006. URL http://www.xulplanet.com/tutorials/xultu/.
8. E. Feldman. Create user interfaces with Glade. Linux J., 2001(87):4, 2001.
9. William B. Frakes and Giancarlo Succi. An industrial study of reuse, quality, and productivity. Journal of Systems and Software, 57(2):99-106, June 2001.
10. Bjorn N. Freeman-Benson and John Maloney. The DeltaBlue Algorithm: An Incremental Constraint Hierarchy Solver. Computers and Communications, 1989. Conference Proceedings., Eighth Annual International Phoenix Conference on, pages 538-542, March 1989.
11. Bjorn N. Freeman-Benson, John Maloney, and Alan Borning. An incremental constraint solver. Commun. ACM, 33(1):54-63, 1990.
12. Ernest Friedman-Hill. Jess 7, February 2008. URL http://www. jessrules.com/jess/charlemagne.shtml.
13. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Professional Computing Series. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1995.
14. Sofie Goderis, Dirk Deridder, Ellen Van Paesschen, and Theo D'Hondt. DEUCE: A declarative framework for extricating user interface concerns. Journal of Object Technology, 6(9):87-104, October 2007. URL http://www.jot.fm/issues/isue 2007 10/paper5/. Special Issue: TOOLS EUROPE 2007.
15. Donatien Grolaux and Peter Van Roy. QTk - an integrated model-based approach to designing executable user interfaces. In 8th Workshop on Design, Specification, and Verification of Interactive Systems (DSVIS 2001, Lecture Notes in Computer Science, Glasgow, Scotland, June 2001. Springer-Verlag.
16. Jaakko Järvi, Matthew A. Marcus, and Jacob N. Smith. Library composition and adaptation using C++ concepts. In GPCE '07: Proceedings of the 6th international conference on Generative programming and component engineering, pages 73-82, New York, NY, USA, 2007. ACM.
17. Glenn E. Krasner and Stephen T. Pope. A cookbook for using the modelview-controller user interface paradigm in Smalltalk-80. J. Object Oriented Program., 1(3):26-49, 1988.
18. D. Litman, P. F. Patel-Schneider, A. Mishra, J. Crawford, and D. Dvorak. R++: Adding path-based rules to C++. IEEE Trans. on Knowl. and Data Eng., 14(3):638-658, 2002.
19. Mozilla. XML user interface language (XUL) 1.0. Mozilla Foundation, March 2006. URL http://www.mozilla.org/projects/xul/xul.html.
20. B.A. Myers, D.A. Giuse, R.B. Dannenberg, B.V. Zanden, D.S. Kosbie, E. Pervin, A. Mickish, and P. Marchal. Garnet: Comprehensive support for graphical, highly interactive user interfaces. Computer, 23(11):71-85, November 1990.
21. Brad A. Myers and Mary Beth Rosson. Survey on user interface programming. In CHI '92: Proceedings of the SIGCHI conference on Human factors in computing systems, pages 195-202, New York, NY, USA, 1992.ACM.
22. Brad A. Myers, Richard G. McDaniel, Robert C. Miller, Alan S. Ferrency, Andrew Faulring, Bruce D. Kyle, Andrew Mickish, Alex Klimovitski, and Patrick Doane. The Amulet environment: New models for effective user interface software development. Software Engineering, 23(6):347-365, 1997. URL citeseer.ist.psu.edu/article/ myers96amulet.html.
23. Derek L. Nazareth and Marcus A. Rothenberger. Assessing the costeffectiveness of software reuse: A model for planned reuse. Journal of Systems and Software, 73(2):245-255, October 2004.
24. Parasol 2008. Property Models Research Project's Home Page. Parasol Lab, Computer Science, Texas A&M University, 2008. URL http:// parasol.cs.tamu.edu/groups/pttlgroup/property-models.
25. Sean Parent. Adobe Property Model Library. Adobe Systems, Inc., 2005. URL http://stlab.adobe.com. Part of Adobe Source Libraries.
26. Sean Parent. A possible future for software development. Keynote talk at theWorkshop of Library-Centric Software Design 2006, at OOPSLA'06, Portland, Oregon, 2006. URL lcsd.cs.tamu.edu/2006.
27. Mark Proctor, Michael Neale, Bob McWhirter, Kris Verlaenen, Edson Tirelli, Fernando Meyer, Alexander Bagerman, Michael Frandsen, Geoffrey De Smet, Toni Rikkola, Steven Williams, Ben Truit, Ritu Jain, Chinmay Nagarkar, and Denis Ahearn. Drools, 2008. URL http://www.jboss.org/drools/.
28. Michael Sannella. Skyblue: A multi-way local propagation constraint solver for user interface construction. In UIST '94: Proceedings of the 7th annual ACM symposium on User interface software and technology, pages 137-146, New York, NY, USA, 1994. ACM.
29. Ivan E. Sutherland. Sketchpad: A man-machine graphical communication system. In DAC '64: Proceedings of the SHARE design automation workshop, pages 6329-6346, New York, NY, USA, 1964. ACM.
30. Gilles Trombettoni and Bertrand Neveu. Computational complexity of multi-way, dataflow constraint problems. In IJCAI (1), pages 358365,1997.
31. XAML. XAML: Extensible application markup language. Microsoft Developer Network (MSDN), 2008. URL http://msdn.microsoft. com/en-us/library/ms747122. aspx.
32. Brad Vander Zanden. An incremental algorithm for satisfying hierarchies of multiway dataflow constraints. ACM Trans. Program. Lang. Syst., 18 (1):30-72, 1996.