Using modern mathematics as an FOSD modeling language

Don Batory
2008 Proceedings of the 7th international conference on Generative programming and component engineering - GPCE '08  
Modeling languages are a fundamental part of automated software development. MDD, for example, uses UML class diagrams and state machines as languages to define applications. In this paper, we explore how Feature Oriented Software Development (FOSD) uses modern mathematics as a modeling language to express the design and synthesis of programs in software product lines, but demands little mathematical sophistication from its users. Doing so has three practical benefits: (1) it offers a simple
more » ... principled mathematical description of how FOSD transforms, derives, and relates program artifacts, (2) it exposes previously unrecognized commuting relationships among tool chains, thereby providing new ways to debug tools, and (3) it reveals new ways to optimize software synthesis.
doi:10.1145/1449913.1449921 dblp:conf/gpce/Batory08 fatcat:y6bw2fggvvh43elnz27a7igqry