[8522] | 1 | /******************************************************************************* |
---|
| 2 | * ProMoT |
---|
| 3 | * --------------------------------------------------------------------------- |
---|
[9531] | 4 | * Copyright (c) 1997-2012 ProMoT Development Team |
---|
[8522] | 5 | * Max Planck Institute Magdeburg, Germany |
---|
| 6 | * http://www.mpi-magdeburg.mpg.de/projects/promot |
---|
| 7 | * |
---|
| 8 | * This is free software; you can redistribute it and/or modify it |
---|
| 9 | * under the terms of the GNU General Public License as published |
---|
| 10 | * by the Free Software Foundation; either version 2 of the License, or |
---|
| 11 | * any later version. |
---|
| 12 | * |
---|
| 13 | * THIS SOFTWARE IS DISTRIBUTED IN THE HOPE THAT IT WILL BE USEFUL, |
---|
| 14 | * BUT WITHOUT ANY WARRANTY; WITHOUT EVEN THE WARRANTY OF |
---|
| 15 | * MERCHANTABILITY OR FITNESS FOR A PARTICULAR PURPOSE. |
---|
| 16 | * IN NO EVENT SHALL THE AUTHORS OR CONTRIBUTORS BE LIABLE |
---|
| 17 | * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL |
---|
| 18 | * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS |
---|
| 19 | * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) |
---|
| 20 | * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT |
---|
| 21 | * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY |
---|
| 22 | * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF |
---|
| 23 | * SUCH DAMAGE. |
---|
| 24 | * |
---|
| 25 | * You should have received a copy of the GNU General Public License |
---|
| 26 | * along with this library; if not, write to the Free Software Foundation, |
---|
| 27 | * Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. |
---|
| 28 | * |
---|
| 29 | * --------------------------------------------------------------------------- |
---|
[8600] | 30 | * $Id$ |
---|
[8522] | 31 | ******************************************************************************/ |
---|
[17] | 32 | |
---|
| 33 | ------------------------------------------------------------------- |
---|
| 34 | v-0-4-0 |
---|
| 35 | ------------------------------------------------------------------- |
---|
[9450] | 36 | - Initial revision of PROMOT version 4 |
---|
[17] | 37 | - PROMOT ported to CVS |
---|
| 38 | |
---|
[9450] | 39 | - Object-oriented language definition of MDL |
---|
| 40 | - New version of FrameTalk (weak, strong parts, link-from) |
---|
[7733] | 41 | |
---|
[17] | 42 | ------------------------------------------------------------------- |
---|
| 43 | v-0-4-1 |
---|
| 44 | ------------------------------------------------------------------- |
---|
[9450] | 45 | - `Component' renamed to `module' |
---|
[17] | 46 | |
---|
| 47 | ------------------------------------------------------------------- |
---|
| 48 | v-0-4-2 |
---|
| 49 | ------------------------------------------------------------------- |
---|
| 50 | - mexpr.lisp: CG parser extended to slot paths |
---|
| 51 | - In mexprs. variables are no longer represented as objects, but as |
---|
| 52 | instances of slot-path. |
---|
| 53 | - promot-link introduced. |
---|
| 54 | The command option `:links' is no longer mapped to FDL. |
---|
| 55 | promot-link is rather used as strong parts. |
---|
| 56 | This led to major changes in the generation of link equations. |
---|
| 57 | |
---|
| 58 | ------------------------------------------------------------------- |
---|
| 59 | v-0-4-3 |
---|
| 60 | ------------------------------------------------------------------- |
---|
| 61 | - mdl.lisp: bug fixed when generating weak parts for mexprs in indices |
---|
| 62 | - format-mexpr.lisp: now also generates LaTeX code |
---|
[9450] | 63 | - First steps to implement module arrays |
---|
[17] | 64 | |
---|
| 65 | ------------------------------------------------------------------- |
---|
| 66 | v-0-4-4 |
---|
| 67 | ------------------------------------------------------------------- |
---|
[9450] | 68 | - First version of implementing terminal arrays: |
---|
[17] | 69 | This implementation is not based on FDL slot arrays. |
---|
| 70 | It does not allow the splitting of terminal arrays into single terminals, |
---|
| 71 | which is a must! |
---|
[22] | 72 | |
---|
| 73 | ------------------------------------------------------------------- |
---|
| 74 | v-0-4-4 |
---|
| 75 | ------------------------------------------------------------------- |
---|
[9450] | 76 | - Fixed bug in sort-dependency-p (model.lisp). |
---|
| 77 | - The call to sort-dependency-p was not symmetric. |
---|
[22] | 78 | |
---|
| 79 | ------------------------------------------------------------------- |
---|
| 80 | v-0-4-5 |
---|
| 81 | ------------------------------------------------------------------- |
---|
[9450] | 82 | - Removed sort-dependency-p. |
---|
[22] | 83 | - Sorting variables according to their dependencies with LISP `sort' |
---|
| 84 | was buggy. |
---|
[24] | 85 | - Reason: If a>b and b>c, it cannot be concluded that a>c! |
---|
[9450] | 86 | - Now: 1) the dependency lists of all variables are agglomerated |
---|
[22] | 87 | 2) the total dependency graph is traversed by depth-first search |
---|
| 88 | 3) the nodes that are traversed last are printed first |
---|
| 89 | + additional alphabetic sorting of `all-direct-variables' in |
---|
| 90 | `dependency-list' (roots-mixins.lisp) |
---|
[24] | 91 | |
---|
| 92 | ------------------------------------------------------------------- |
---|
| 93 | v-0-4-6 |
---|
| 94 | ------------------------------------------------------------------- |
---|
[9450] | 95 | - Coupling, propagation of vector terminals now running for |
---|
| 96 | - Two-phases, three-phases in kb/test-arrays.mdl |
---|
| 97 | - For this: model-name determination completely revised |
---|
[24] | 98 | - path-indices-* methods introduced |
---|
[9450] | 99 | - Module arrays now running, at least for all modules in `test-arrays.mdl' |
---|
| 100 | - Terminal arrays now running, at least for all modules in `test-arrays.mdl' |
---|
| 101 | - Complete revision of |
---|
[25] | 102 | - roots-mixins.lisp: path-indices-* |
---|
| 103 | - model.lisp: model-direct-identity-equations |
---|
[9450] | 104 | - Lots of other changes, bug fixes, I can't remember |
---|
[30] | 105 | |
---|
| 106 | ------------------------------------------------------------------- |
---|
| 107 | v-0-4-7 |
---|
| 108 | ------------------------------------------------------------------- |
---|
[9450] | 109 | - Output of variables with :report attribute |
---|
| 110 | Now uses :x-scope, :y-scope, :z-scope in define-process-values |
---|
[33] | 111 | |
---|
| 112 | ------------------------------------------------------------------- |
---|
| 113 | v-0-5-0 |
---|
| 114 | ------------------------------------------------------------------- |
---|
[9450] | 115 | - src/graphics/*: |
---|
| 116 | First new version of PROMOT Model Editor that runs with FDL |
---|
| 117 | - src/kernel/cg.lisp: |
---|
| 118 | Better formatting of CG file (Stefan Schwarzkopf) |
---|
| 119 | - images/Makefile created |
---|
| 120 | - kb/test-suite created for testing new PROMOT versions |
---|
| 121 | - Lots of bug fixes |
---|
[34] | 122 | |
---|
| 123 | ------------------------------------------------------------------- |
---|
[9397] | 124 | v-0-5-1, 1998-06-04 |
---|
[34] | 125 | ------------------------------------------------------------------- |
---|
[9450] | 126 | - src/kernel/format-mexpr.lisp: |
---|
| 127 | Bug fixed when formatting :cond |
---|
| 128 | - src/kernel/roots-mixins.lisp: |
---|
| 129 | Real and integer parameters are no longer indexed within indexed |
---|
[34] | 130 | modules |
---|
[35] | 131 | |
---|
| 132 | ------------------------------------------------------------------- |
---|
[9397] | 133 | v-0-5-2, 1998-06-16 |
---|
[35] | 134 | ------------------------------------------------------------------- |
---|
[9450] | 135 | - src/kernel/cg.lisp: |
---|
[36] | 136 | format-cg-commands improved |
---|
[9450] | 137 | - src/kernel/browser-interface.lisp |
---|
[36] | 138 | src/kernel/mdl.lisp |
---|
| 139 | src/kernel/utilities.lisp |
---|
| 140 | src/graphics/browser.lisp |
---|
| 141 | src/graphics/editor.lisp |
---|
| 142 | src/graphics/mdl-command-viewer.lisp |
---|
| 143 | src/graphics/mdl-command-emacs.lisp: |
---|
| 144 | MDL commands are formatted in a pretty way for output to command viewer, |
---|
| 145 | EMACS or file |
---|
[9450] | 146 | - src/kernel/mdl.lisp: interprete |
---|
| 147 | Mixins of FDL part slot are now sorted alphabetically to avoid |
---|
[37] | 148 | circular class precedence lists |
---|
[9450] | 149 | - src/kernel/optimize.lisp: NEW |
---|
| 150 | - Substitute variables rather than generating coupling equations |
---|
| 151 | - Substitution of state variables in mexpressions of help variables does |
---|
[37] | 152 | not work in general, because of wrong pattern initialization. |
---|
| 153 | e.g., pattern is out of bounds in ba-process.cg |
---|
[39] | 154 | |
---|
| 155 | ------------------------------------------------------------------- |
---|
| 156 | v-0-5-3 |
---|
| 157 | ------------------------------------------------------------------- |
---|
[9450] | 158 | - src/kernel/cg.lisp: |
---|
[39] | 159 | bug fixed in format-cg-cmd-obj for process-values |
---|
| 160 | |
---|
| 161 | ------------------------------------------------------------------- |
---|
[9397] | 162 | v-0-5-4, 1998-09-25 |
---|
[39] | 163 | ------------------------------------------------------------------- |
---|
[9450] | 164 | - Version as of SFB-412 evaluation - report for funding period 1996-1998 |
---|
| 165 | - Presentation of kb/hafke/obertopp and kb/distillation (tmm-process, ba-process) |
---|
| 166 | - src/kernel/utilities.lisp: |
---|
[39] | 167 | print-class-tree writes class tree to stdout |
---|
[9450] | 168 | - src/kernel/editor-interface.lisp: |
---|
[39] | 169 | set-diva-file-names modifies the keywords |
---|
| 170 | :diva-cg-file-name, :diva-fortran-files-subname, :diva-data-file-name |
---|
| 171 | and :diva-latex-file-name of a module; |
---|
| 172 | write-diva-files writes CG files and calls the CG |
---|
[9450] | 173 | - src/kernel/mdl.lisp: |
---|
| 174 | The keywords :diva-cg-file-name, :diva-fortran-files-subname, |
---|
[39] | 175 | :diva-data-file-name and :diva-latex-file-name have been added to |
---|
| 176 | define-module |
---|
[9450] | 177 | - src/kernel/roots-mixins.lisp: |
---|
| 178 | The slots for :diva-cg-file-name, :diva-fortran-files-subname, |
---|
[39] | 179 | :diva-data-file-name and :diva-latex-file-name have been added to |
---|
| 180 | promot-class-mixin; |
---|
| 181 | modified method cg-filename to determine the default CG filename of a module |
---|
[9450] | 182 | - src/graphics/*.lisp: |
---|
[41] | 183 | Model output to DIVA added |
---|
| 184 | |
---|
| 185 | ------------------------------------------------------------------- |
---|
[9397] | 186 | v-0-5-5, 1998-11-03 |
---|
[41] | 187 | ------------------------------------------------------------------- |
---|
[9450] | 188 | - src/graphics/editor.lisp, model-editor.lisp: added output to EPS file |
---|
| 189 | - Martin Ginkel starts working on ProMoT |
---|
| 190 | - Help variables are no longer written as indexed CG-help variables in the |
---|
[183] | 191 | case of indexed modules. They are rather multiply assigned in equation |
---|
| 192 | loops. |
---|
[9450] | 193 | - Support of ACL 5.0 added. |
---|
[183] | 194 | src/kernel/error.lisp and src/kernel/mdl.lisp: without-package-locks |
---|
| 195 | added because of use of symbols class and type |
---|
[9450] | 196 | - Bug fixed in src/kernel/roots-mixins.lisp: path-indices |
---|
[183] | 197 | Do not generate indices in model name if |
---|
| 198 | a variable (strong part of a module) |
---|
| 199 | has been propagated to an indexed terminal. Example: kb/bio/speicher-neu.mdl |
---|
[7577] | 200 | |
---|
[586] | 201 | ------------------------------------------------------------------- |
---|
| 202 | v-0-5-5-0 |
---|
| 203 | ------------------------------------------------------------------- |
---|
[9450] | 204 | - Inserted a branch into CVS to keep a clean working version |
---|
[586] | 205 | This should be a mostly bugfree release, without new errors from |
---|
| 206 | the new GUI development. |
---|
[7577] | 207 | |
---|
[9450] | 208 | |
---|
[1153] | 209 | ------------------------------------------------------------------- |
---|
[9397] | 210 | v-0-5-6, 1999-01-07 |
---|
[586] | 211 | ------------------------------------------------------------------- |
---|
[9450] | 212 | - Development release |
---|
| 213 | - src/kernel/mdl2diva reports errors correctly |
---|
| 214 | - src/kernel/optimize.lisp does the job of optimizing linked |
---|
[586] | 215 | state-variables to help-variables in most cases. For safety reasons |
---|
| 216 | it is optional to do this |
---|
[9450] | 217 | - The Project for the GUI in Java/JFC with connection via ILU has |
---|
[586] | 218 | been started |
---|
[9450] | 219 | - Volker Padur has joined the team, he develops the Java part |
---|
[7577] | 220 | |
---|
[1153] | 221 | ------------------------------------------------------------------- |
---|
[9397] | 222 | v-0-6-0, 2000-06-20 |
---|
[1153] | 223 | ------------------------------------------------------------------- |
---|
[9450] | 224 | - The optimizer is broken due to new structures in the kernel |
---|
| 225 | - errors.lisp has been renamed into conditions.lisp because |
---|
[1153] | 226 | we use conditions now for error reporting |
---|
[9450] | 227 | - The principle of using FDL has changed. ProMoT implements now it's |
---|
[1153] | 228 | own superclasses. this should be extended for the interactive |
---|
| 229 | editing of classes without using MDL. |
---|
[9450] | 230 | - The Java GUI has now almost the same functionality as the Clim one |
---|
| 231 | - Clim is still possible but I will stop the development on it |
---|
| 232 | - Images and scripting is now written to run almost automatical |
---|
[7577] | 233 | |
---|
[1218] | 234 | ------------------------------------------------------------------- |
---|
| 235 | v-0-6-0-0 |
---|
| 236 | ------------------------------------------------------------------- |
---|
[9450] | 237 | - New stable version instead of v-0-5-5 |
---|
| 238 | - Optimizer is ok now |
---|
| 239 | - Emacs and Java should work together through the old interface |
---|
| 240 | - Still some bugs in the GUI |
---|
[7577] | 241 | |
---|
[7535] | 242 | ------------------------------------------------------------------- |
---|
[9397] | 243 | v-0-7-0, 2004-11-09 |
---|
[7535] | 244 | ------------------------------------------------------------------- |
---|
[9450] | 245 | - |
---|
[7577] | 246 | |
---|
| 247 | ------------------------------------------------------------------- |
---|
[9397] | 248 | v-0-7-1, 2005-05-12 |
---|
[7577] | 249 | ------------------------------------------------------------------- |
---|
[9450] | 250 | - |
---|
[7577] | 251 | |
---|
| 252 | ------------------------------------------------------------------- |
---|
[9397] | 253 | v-0-7-2, 2006-08-16 |
---|
[7577] | 254 | ------------------------------------------------------------------- |
---|
[9450] | 255 | - Stable version with new features |
---|
| 256 | - SBML support matures |
---|
| 257 | - Diana output is fully functional |
---|
| 258 | - Support for structural models |
---|
| 259 | - Visual exploration of models |
---|
| 260 | - Graphical editing of variable values |
---|
[7577] | 261 | |
---|
[7535] | 262 | ------------------------------------------------------------------- |
---|
[9397] | 263 | v-0-8-0, 2008-02-22 |
---|
[7535] | 264 | ------------------------------------------------------------------- |
---|
[9450] | 265 | - Many extensions in the GUI |
---|
| 266 | - Undo for many commands |
---|
| 267 | - Automated layout and model documentation |
---|
| 268 | - Automated consistency checking |
---|
[7863] | 269 | |
---|
| 270 | ------------------------------------------------------------------- |
---|
[9397] | 271 | v-0-8-1, 2008-08-15 |
---|
[8246] | 272 | ------------------------------------------------------------------- |
---|
[9450] | 273 | - Import of CNA (CellNetAnalyzer) models |
---|
| 274 | - Bug fixes in generation of HTML documentation |
---|
| 275 | - (Partial) bug fix for renaming of connected slots (see BUGS.txt for limitations) |
---|
| 276 | - Modularization support in visual editing |
---|
| 277 | - Bug fixes in the variable editor |
---|
| 278 | - Support for import and export of layout information in the ProMoT Explorer |
---|
| 279 | - Windows version (since September 2008) |
---|
[8246] | 280 | |
---|
| 281 | ------------------------------------------------------------------- |
---|
[9397] | 282 | v-0-8-2, 2009-08-17, r8738 |
---|
[8246] | 283 | ------------------------------------------------------------------- |
---|
[9450] | 284 | - Priorities on check results of checker |
---|
| 285 | - Distinguishing between errors and warnings in checker |
---|
| 286 | - Some on-the-fly-checks for dynamic modeling |
---|
| 287 | - Copy/paste support in editor |
---|
| 288 | - De-modularization support (elevation of a modules content to current level) |
---|
[8719] | 289 | variables and equations (math), places and transitions (events) not elevated |
---|
[9450] | 290 | - Flipping of nodes in editor for logical models |
---|
| 291 | - Refresh-action in editor |
---|
| 292 | - Status bar in editor showing status of the editor and checker |
---|
| 293 | - Initial support for synthetic biology by scripts generating mdl |
---|
| 294 | - Property to mark exportable models |
---|
| 295 | - Setting modules to be ignored in export (logical modeling) |
---|
| 296 | - Variable for map-number and monotony in logical library and editable in the GUI |
---|
| 297 | - Check of corresponding equation-system for a module, visualization of |
---|
[8281] | 298 | under- and/or overdetermined parts in incidence matrix or visual editor |
---|
[9450] | 299 | - Improved visual scenario editor in explorer |
---|
| 300 | - Improved support for workflow CellNetAnalyzer |
---|
| 301 | - Warning for unsaved changes on exit |
---|
| 302 | - Command for creation of new models |
---|
| 303 | - Reduced clutter in menus and toolbars |
---|
| 304 | - Dialogs and control panels reworked for clarity and utility |
---|
| 305 | - New ProMoT logo |
---|
| 306 | - Documentation updates |
---|
[9212] | 307 | |
---|
| 308 | ------------------------------------------------------------------- |
---|
[9397] | 309 | v-0-8-3, 2010-08-31, linux: r9285, win: r9303 |
---|
[9212] | 310 | ------------------------------------------------------------------- |
---|
[9450] | 311 | New Features |
---|
| 312 | - Option for direct loading of libraries for logical and dynamic modeling |
---|
| 313 | - Start simulation with Diana from ProMoT GUI |
---|
| 314 | - Parametrize model with Diana |
---|
| 315 | - Comparison of models and visualization of comparison results |
---|
| 316 | - Layout algorithm to visually flatten the model in Visual Explorer |
---|
| 317 | - Logical model of EGF receptor signaling added to knowledge base |
---|
[9212] | 318 | |
---|
[9450] | 319 | Improvements |
---|
| 320 | - Update libraries for logical and dynamic modeling (directions, SBO terms) |
---|
| 321 | - Scripts for conversion of models to updated libraries |
---|
| 322 | - Refactoring of rename of terminals in Visual Editor |
---|
| 323 | - Recalculation of terminal positions after changing canvas size in Visual Editor |
---|
| 324 | - Create links of submodules automatically by names in Visual Editor |
---|
| 325 | - Set the map number to a selection of nodes (only logical modeling) |
---|
| 326 | - Warning of redefinition of classes |
---|
| 327 | - Import/export of node/edge attribute files in Visual Explorer |
---|
| 328 | - Hierarchy Zoom for edges, Zoom along edge |
---|
| 329 | - FishEye Zoom considers edge handle points |
---|
| 330 | - Flexible handling of visibility of node/edge labels in Visual Explorer |
---|
| 331 | - Extend node size to label text in Visual Explorer |
---|
| 332 | - Improved scenario 'Logical Network' |
---|
| 333 | - Visualization of submodules with/without terminals |
---|
| 334 | - Export network to yEd format |
---|
| 335 | - Improved exception handling in ProMoT |
---|
| 336 | - Documentation updates |
---|
| 337 | |
---|
| 338 | Bugfixes |
---|
| 339 | - SBML import/export (import events, reversible flag, compartment handling) |
---|
| 340 | - Stability issues of Visual Explorer |
---|
| 341 | - Correct rendering of edge arrows in Visual Explorer |
---|
| 342 | - Update view after attribute file is imported in Visual Explorer |
---|
| 343 | |
---|
| 344 | ------------------------------------------------------------------- |
---|
[9458] | 345 | v-0-8-4, 2011-08-21, r9456 |
---|
[9450] | 346 | ------------------------------------------------------------------- |
---|
[9212] | 347 | New Features |
---|
[9456] | 348 | - ACL 8.2 is now used |
---|
| 349 | - New global scenario 'Hierarchical Level' for visualization |
---|
[9212] | 350 | |
---|
| 351 | Improvements |
---|
[9456] | 352 | - New build procedure and ProMoT is now installed under \usr\local\promot |
---|
| 353 | instead of \usr\local\diana\promot |
---|
[9450] | 354 | - Update Piccolo2d to version 1.3.1 |
---|
| 355 | - Documentation updates |
---|
| 356 | - Extend model statistics report in explorer: |
---|
| 357 | Edges with TimeScale > 1, Edges with LogicalExcluded = 1 |
---|
[9456] | 358 | - reduced-library.mdl: special concentration module with |
---|
| 359 | additional variable (conc-sink-var) |
---|
[9212] | 360 | |
---|
| 361 | Bugfixes |
---|
[9450] | 362 | - Corrected paths of some mdl files in the knowledge base |
---|
[9456] | 363 | - Corrected 'Create link' dialog |
---|
| 364 | (automatic connection of terminals on submodules) |
---|
[9552] | 365 | |
---|
| 366 | ------------------------------------------------------------------- |
---|
[9618] | 367 | v-0-8-5, 2012-0?-??, r???? |
---|
[9552] | 368 | ------------------------------------------------------------------- |
---|
| 369 | New Features |
---|
[9648] | 370 | - ACL 9.0 is now used |
---|
| 371 | - PIM (Process-Interaction library) |
---|
[9552] | 372 | - Extended Visual Scenarios: add options for layout and exploration schemes |
---|
| 373 | |
---|
| 374 | Improvements |
---|
[9567] | 375 | - Menu item, tooltips and shortcuts are added and more consistent |
---|
[9648] | 376 | |
---|
| 377 | Bugfixes |
---|
| 378 | - to be announced |
---|