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