Using modern mathematics as an fosd modeling language

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

Volumn , Issue , 2008, Pages 35-44

  Batory, Don ^a  

^a University of Texas at Austin   (United States)

Author keywords

Commuting diagrams; Features; Geodesics; Model driven design; Software product lines

Indexed keywords

COMMUTING DIAGRAMS; FEATURES; GEODESICS; MODEL DRIVEN DESIGN; SOFTWARE PRODUCT LINES;

COMPUTER SIMULATION LANGUAGES; EMBEDDED SYSTEMS; GRAPHIC METHODS; LINGUISTICS; MATHEMATICAL TRANSFORMATIONS; PROGRAM DEBUGGING; QUERY LANGUAGES; SHEAR DEFORMATION;

SOFTWARE DESIGN;

EID: 56649090985     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1449913.1449921     Document Type: Conference Paper

References (61)

1. D. Ancona, G. Lagorio, and E. Zucca. "Jam-Designing a Java Extension with Mixins", ACM TOPLAS 2003.
2. D. Ancona, F. Damiani, and S. Drossopoulou. "Polymorphic Bytecode: Compositional Compilation for Java-like Languages", POPL 2005.
3. AHEAD Tool Suite, www.cs.utexas.edu/users/schwartz/index.html
4. S. Apel, "The Role of Features and Aspects in Software Development", Ph.D. Dept. of Tech.l and Business Info. Systems, University of Magdeburg, Germany, March 2007.
5. S. Apel, C. Kaestner, and D. Batory. "Program Re-factoring using Functional Aspects". GPCE 2008.
6. A. Appel, "Axiomatic Bootstrapping: A Guide for Compiler Hackers", ACM TOPLAS Nov. 1994.
7. D. Batory and S. O'Malley. "The Design and Implementation of Hierarchical Software Systems with Reusable Components". ACM TOSEM, October 1992.
8. D. Batory, C. Johnson, B. MacDonald, and D. von Heeder. "Achieving Extensibility Through Product-Lines and Domain-Specific Languages: A Case Study", ACM TOSEM, April 2002.
9. D. Batory, "A Science of Software Design", AMAST 2004.
10. D. Batory, J.N. Sarvela, and A. Rauschmayer. "Scaling Step-Wise Refinement", IEEE TSE, June 2004.
11. D. Batory, "From Implemention to Theory in Product Synthesis",University of Texas Austin, Dept. Comp. Science TR-07-35, June 2007.
12. D. Batory and E. Börger. "On The Modularization of Theorems for Software Product Lines", to appear in JUCS.
13. I.D. Baxter. "Design Maintenance Systems". CACM, April 1992.
14. G. Bracha and W. Cook. "Mixin-Based Inheritance". OOPSLA and ECOOP 1990.
15. M. Broy, I. H. Krüger, and M. Meisinger. "A Formal Model of Services". ACM TOSEM, vol. 16, no. 1, p. 5, Feb. 2007.
16. M. Calder, M. Kolberg, E.H. Magill, and S. Reiff-Marganiec. "Feature Interaction: A critical Review and Considered Forecast". Computer Networks, January 2003.
17. J. Chang and D.J. Richardson. "Structural Specification-Based Testing: Automated Support and Experimental Evaluation". ACM SIGSOFT/FSE 1999.
18. Y. Cheon and G.T. Leavens. "A Simple and Practical Approach to Unit Testing: The JML and JUnit Way". ECOOP 2002.
19. M. Charikar, et al., "Approximation Algorithms for Directed Steiner Tree Problems, ACM-SIAM Symposium on Discrete Algorithms (SODA) 1998.
20. K. Czarnecki and U. Eisenecker. Generative Programming Methods, Tools, and Applications. Addison-Wesley, Boston, MA, 2000.
21. E.W. Dijkstra. A Discipline of Programming. Prentice Hall, 1976.
22. J. Earley and H. Sturgis. "A formalism for translator interactions". CACM Oct. 1970.
23. H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification 2: Module Specifications and Constraints, Springer-Verlag, 1990.
24. E. Ernst, "Higher Order Hierarchies", ECOOP 2003.
25. J. Fiadeiro. Categories for Software Engineers. Springer 1998.
26. J. Goguen. "Principles of Parameterized Programming" in T. Biggerstaff and A. Perlis, Software Reusability Volume II: Applications and Experiences, Addison-Wesley, 1990.
27. J. Goguen. "A Categorical Manifesto". Mathematical Structures in Computer Science, 1991.
28. H. Gomaa, Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures, Addison-Wesley 2005.
29. J. Goodenough and S. Gerhart. "Toward a Theory of Test Data Selection". IEEE TSE, June 1975.
30. J. Gray, et al. "Model Driven Program Transformation of a Large Avionics Framework", GPCE 2004.
31. W. Grieskamp, Y. Gurevich, W. Schulte, and M. Veanes. "Generating Finite State Machines From Abstract State Machines". ISSTA 2002.
32. D. Jackson. Software Abstractions: Logic, Language and Analysis. The MIT Press, Cambridge, MA, 2006.
33. D. Jackson. "Alloy: A Lightweight Object Modeling Notation". ACM TOSEM, April 2002.
34. K. Kang, et al., "Feature-Oriented Domain Analysis (FODA) Feasibility Study", Tech Report CMU/SEI-90-TR-21.
35. S. Khurshid, E. Uzuncaova, D. Garcia, and D. Batory. "Testing Software Product Lines Using Incremental Test Generation". ISSRE 2008.
36. G. Kiczales, et al. "An Overview of AspectJ". ECOOP 2001
37. C.H.P. Kim, C. Kästner, and D. Batory. "On the Modularity of Feature Interactions". GPCE 2008.
38. A. Kleppe, J. Warmer, W. Bast. MDA Explained: The Model Driven Architecture: Practice and Promise. Addison-Wesley 2003.
39. F.W. Lawvere and S.H. Schanuel, Conceptual Mathematics:A First Introduction To Categories, Cambridge University Press, 1997.
40. G. Leavens, et al. "Roadmap for Enhanced Languages and Methods to Aid Verification". GPCE 2006.
41. H.C. Li, S. Krishnamurthi, and K. Fisler. "Modular Verification of Open Features Through Three-Valued Model Checking", Automated Software Engineering Journal, 2005.
42. B. Liskov and J.M. Wing, "A Behavioral Notion of Subtyping", ACM TOPLAS 1994.
43. R. Lopez-Herrejon, D. Batory, and W. Cook. "Evaluating Support for Features in Advanced Modularization Technologies", ECOOP 2005.
44. R. Lopez-Herrejon, D. Batory, and C. Lengauer. "A Disciplined Approach to Aspect Composition", PEPM 2006.
45. O.L. Madsen and B. Moøller-Pedersen, "Virtual Classes: A Powerful Mechanism in Object-Oriented Programming", OOPSLA 1989.
46. T. Mens, K. Czarnecki, and P. van Gorp. "A Taxonomy of Model Transformations", Dagstuhl Seminar Proceedings 04101. drops.dagstuhl.de/ opus/volltexte/2005/11
47. M. Odersky, et al. "An Overview of the Scala Programming Language". September 2004, scala.epfl.ch
48. D. Pavlovic and D.R. Smith. "Software Development by Refinement", UNU/IIST 10th Anniversary Colloquium, Formal Methods at the Crossroads: From Panaea to Foundational Support, Springer-Verlag LNCS 2757, 2003.
49. B. Pierce. Basic Category Theory for Computer Scientists, MIT Press, 1991.
50. K. Pohl, G. Boeckle, F. van der Linden, Software Product Line Engineering: Foundations, Principles and Techniques, Springer 2005.
51. T. Reenskaug, et al. "OORASS: Seamless support for the creation and maintenance of object-oriented systems". Journal of Object-Oriented Programming, October 1992.
52. D. Roundy, "Theory of Patches", //darcs.net/manual/node8.html
53. D.E. Rydeheard and R.M. Burstall, Computational Category Theory, Prentice Hall, 1988.
54. P. Selinger, M.M. Astrahan, D.D. Chamberlin, R.A. Lorie, and T.G. Price. "Access Path Selection in a Relational Database System", ACM SIGMOD 1979.
55. J.M. Spivey, The Z Notation: A Reference Manual, Oxford University Press, 1998.
56. S. Trujillo, D. Batory, and O. Diaz. "Feature Oriented Model Driven Development: A Case Study for Portlets", ICSE 2006.
57. S. Trujillo, M. Azanza, and O. Diaz. "Generative Meta programming", GPCE 2007.
58. M. VanHilst and D. Notkin. "Using role components to implement collaboration-based designs". OOPSLA 1996.
59. D.M. Weiss, C.T.R. Lai, Software Product-Line Engineering: A Family-Based Software Development Process, Addison-Wesley, 1999.
60. E. Uzuncaova, D. Garcia, S. Khurshid, and D. Batory, "A Specification-Based Approach to Testing Software Product Lines (Poster Paper)". ACM SIGSOFT/FSE 2007.
61. E. Uzuncaova and S. Khurshid. "Constraint Prioritization for Efficient Analysis of Declarative Models". Symposium on Formal Methods (FM), May 2008.