@article{Basu2006, added-at = {2009-06-17T17:10:43.000+0200}, address = {Los Alamitos, CA, USA}, author = {Basu, Ananda and Bozga, Marius and Sifakis, Joseph}, biburl = {http://www.bibsonomy.org/bibtex/254814bd9297fc1859ab4e5f27e6113df/phbaer}, doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.27}, interhash = {f9bdcb15166d425ef41de441ba7169ec}, intrahash = {54814bd9297fc1859ab4e5f27e6113df}, isbn = {0-7695-2678-0}, journal = {International Conference on Software Engineering and Formal Methods}, keywords = {bip components model phbaer-imoby real time}, pages = {3--12}, publisher = {IEEE Computer Society}, timestamp = {2009-06-17T17:10:43.000+0200}, title = {Modeling Heterogeneous Real-time Components in BIP}, url = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2006.27}, volume = 0, year = 2006 } @inproceedings{parr2004tpl-engines, added-at = {2008-07-25T11:38:27.000+0200}, address = {New York, NY, USA}, author = {Parr, Terence John}, biburl = {http://www.bibsonomy.org/bibtex/2c2dfd4d04092bfeb13bec59803ca335d/phbaer}, booktitle = {WWW '04: Proceedings of the 13th International Conference on World Wide Web}, description = {Enforcing Strict Model-View Separation in Template Engines}, doi = {http://doi.acm.org/10.1145/988672.988703}, interhash = {104101ba486dce6ea796e09e0943ac26}, intrahash = {c2dfd4d04092bfeb13bec59803ca335d}, isbn = {1-58113-844-X}, keywords = {engine model separation stringtemplate template view}, location = {New York, NY, USA}, pages = {224--233}, publisher = {ACM}, timestamp = {2008-07-25T11:38:27.000+0200}, title = {{Enforcing Strict Model-View Separation in Template Engines}}, url = {www.cs.usfca.edu/~parrt/papers/mvc.templates.pdf}, year = 2004 } @techreport{uml:omg08qvt, added-at = {2008-07-15T00:19:49.000+0200}, author = {Group, Object Management}, biburl = {http://www.bibsonomy.org/bibtex/28f8b910d29ccdee45f46a8c4b79f92f4/phbaer}, institution = {Object Management Group}, interhash = {e24884c14209e3a6e159bb075717eae9}, intrahash = {8f8b910d29ccdee45f46a8c4b79f92f4}, keywords = {facility model mof object query transformation view}, month = {April}, number = {Version 1.0}, timestamp = {2008-07-15T00:19:49.000+0200}, title = {Meta Object Facility (MOF) 2.0 Query/View/Transformation}, type = {Specification}, url = {http://www.omg.org/docs/formal/08-04-03.pdf}, year = 2008 } @techreport{uml:omg06mof, added-at = {2008-07-15T00:15:26.000+0200}, author = {Group, Object Management}, biburl = {http://www.bibsonomy.org/bibtex/220c3ef55a5750ab3738b7d906734e9b3/phbaer}, description = {Teste}, institution = {Object Management Group}, interhash = {d3845c13a56be09cbc475ff76a43e45b}, intrahash = {20c3ef55a5750ab3738b7d906734e9b3}, keywords = {facilities model object uml}, month = {January}, number = {Version 2.0}, timestamp = {2008-07-15T00:15:26.000+0200}, title = {Model Object Facility (MOF) Core specification}, type = {Specification}, url = {http://www.omg.org/docs/formal/06-01-01.pdf}, year = 2006 } @book{SVEH07, added-at = {2008-07-11T12:14:55.000+0200}, author = {Stahl, Thomas and Völter, Markus and Efftinge, Sven and Haase, Arno}, biburl = {http://www.bibsonomy.org/bibtex/288e4eb57a4c32cb0936b7473f1ab2de9/phbaer}, interhash = {8a8f46381f88d920dc8dc337ffb2cfa8}, intrahash = {88e4eb57a4c32cb0936b7473f1ab2de9}, isbn = {3898644480}, keywords = {development driven model softwareentwicklung techniken}, publisher = {Dpunkt Verlag}, timestamp = {2008-07-11T12:14:55.000+0200}, title = {Modellgetriebene Softwareentwicklung: Techniken, Engineering, Management}, year = 2007 } @inproceedings{sneed07modse, abstract = {This short paper is an essay on the drawbacks of model driven software evolution which apply equally well to model driven software development. The idea of automatically generating code changes from a UML type model is equally enticing as that of automatically generating whole components from such a model. The drawback is that there is then nothing to test against, since there is only one description of the system, the model. This violates the principles of software verification and validation, according to which correctness can only be demonstrated by comparing two independent descriptions of the same solution. For this reason, the author proposes another interpretation of model driven evolution, one in which the requirements model serves as a basis for propagating changes to both the code and the test, along two independent paths. The UML type system design could then be generated from the code and not [vice] versa}, added-at = {2008-07-01T11:20:58.000+0200}, address = {Amsterdam}, author = {Sneed, Harry}, biburl = {http://www.bibsonomy.org/bibtex/20194bcfa92f21ac8ea1a6eae482d5cb2/phbaer}, booktitle = {Workshop on Model-Driven Software Evolution at CSMR}, interhash = {207867f184bd6af02fa9059b0401ea37}, intrahash = {0194bcfa92f21ac8ea1a6eae482d5cb2}, keywords = {drawback driven evolution harmfull model software}, month = {March}, timestamp = {2008-07-01T11:20:58.000+0200}, title = {The Drawbacks of Model-Driven Software Evolution}, url = {http://www.sciences.univ-nantes.fr/MoDSE2007/p9.pdf}, year = 2007 } @mastersthesis{jw08-onto, added-at = {2008-06-26T11:26:30.000+0200}, author = {Wollenhaupt, Jens}, biburl = {http://www.bibsonomy.org/bibtex/2a02dbceedaceb1e11f215e85df2554ba/phbaer}, interhash = {137a6f056cc17e3ca9d8d184cae85050}, intrahash = {a02dbceedaceb1e11f215e85df2554ba}, keywords = {code generation generierung model modell ontologie}, school = {Universität Kassel}, timestamp = {2008-06-26T11:26:30.000+0200}, title = {Ontologiegestützte automatische Modell-Transformationen}, year = 2008 } @inproceedings{parr2004tpl-engines, abstract = {The mantra of every experienced web application developer is the same: thou shalt separate business logic from display. Ironically, almost all template engines allow violation of this separation principle, which is the very impetus for HTML template engine development. This situation is due mostly to a lack of formal definition of separation and fear that enforcing separation emasculates a template's power. I show that not only is strict separation a worthy design principle, but that we can enforce separation while providing a potent template engine. I demonstrate my StringTemplate engine, used to build jGuru.com and other commercial sites, at work solving some nontrivial generational tasks.My goal is to formalize the study of template engines, thus, providing a common nomenclature, a means of classifying template generational power, and a way to leverage interesting results from formal language theory. I classify three types of restricted templates analogous to Chomsky's type 1..3 grammar classes and formally define separation including the rules that embody separation.Because this paper provides a clear definition of model-view separation, template engine designers may no longer blindly claim enforcement of separation. Moreover, given theoretical arguments and empirical evidence, programmers no longer have an excuse to entangle model and view.}, added-at = {2008-06-15T16:08:32.000+0200}, address = {New York, NY, USA}, author = {Parr, Terence John}, biburl = {http://www.bibsonomy.org/bibtex/2fbc4b548ae1451eaea8098c531942827/phbaer}, booktitle = {WWW '04: Proceedings of the 13th international conference on World Wide Web}, description = {Enforcing strict model-view separation in template engines}, doi = {http://doi.acm.org/10.1145/988672.988703}, interhash = {104101ba486dce6ea796e09e0943ac26}, intrahash = {fbc4b548ae1451eaea8098c531942827}, isbn = {1-58113-844-X}, keywords = {engine model separation stringtemplate template view}, location = {New York, NY, USA}, pages = {224--233}, publisher = {ACM}, timestamp = {2008-06-15T16:08:32.000+0200}, title = {Enforcing strict model-view separation in template engines}, url = {http://portal.acm.org/citation.cfm?id=988703&coll=GUIDE&dl=GUIDE&CFID=10714769&CFTOKEN=16177166}, year = 2004 }