| 1 | /******************************************************************************* |
|---|
| 2 | * ProMoT |
|---|
| 3 | * --------------------------------------------------------------------------- |
|---|
| 4 | * Copyright (c) 1997-2012 ProMoT Development Team |
|---|
| 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 | * --------------------------------------------------------------------------- |
|---|
| 30 | * $Id$ |
|---|
| 31 | ******************************************************************************/ |
|---|
| 32 | |
|---|
| 33 | ------------------------------------------------------------------- |
|---|
| 34 | 0.4.0 |
|---|
| 35 | ------------------------------------------------------------------- |
|---|
| 36 | - Initial revision of ProMoT version 0.4.0 |
|---|
| 37 | - ProMoT ported to CVS |
|---|
| 38 | |
|---|
| 39 | - Object-oriented language definition of MDL |
|---|
| 40 | - New version of FrameTalk (weak, strong parts, link-from) |
|---|
| 41 | |
|---|
| 42 | ------------------------------------------------------------------- |
|---|
| 43 | 0.4.1 |
|---|
| 44 | ------------------------------------------------------------------- |
|---|
| 45 | - `Component' renamed to `module' |
|---|
| 46 | |
|---|
| 47 | ------------------------------------------------------------------- |
|---|
| 48 | 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 | 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 |
|---|
| 63 | - First steps to implement module arrays |
|---|
| 64 | |
|---|
| 65 | ------------------------------------------------------------------- |
|---|
| 66 | 0.4.4 |
|---|
| 67 | ------------------------------------------------------------------- |
|---|
| 68 | - First version of implementing terminal arrays: |
|---|
| 69 | This implementation is not based on FDL slot arrays. |
|---|
| 70 | It does not allow the splitting of terminal arrays into single |
|---|
| 71 | terminals, which is a must! |
|---|
| 72 | |
|---|
| 73 | - Fixed bug in sort-dependency-p (model.lisp). |
|---|
| 74 | - The call to sort-dependency-p was not symmetric. |
|---|
| 75 | |
|---|
| 76 | ------------------------------------------------------------------- |
|---|
| 77 | 0.4.5 |
|---|
| 78 | ------------------------------------------------------------------- |
|---|
| 79 | - Removed sort-dependency-p. |
|---|
| 80 | - Sorting variables according to their dependencies with LISP `sort' |
|---|
| 81 | was buggy. |
|---|
| 82 | - Reason: If a>b and b>c, it cannot be concluded that a>c! |
|---|
| 83 | - Now: 1) the dependency lists of all variables are agglomerated |
|---|
| 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) |
|---|
| 88 | |
|---|
| 89 | ------------------------------------------------------------------- |
|---|
| 90 | 0.4.6 |
|---|
| 91 | ------------------------------------------------------------------- |
|---|
| 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 |
|---|
| 95 | - path-indices-* methods introduced |
|---|
| 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 |
|---|
| 99 | - roots-mixins.lisp: path-indices-* |
|---|
| 100 | - model.lisp: model-direct-identity-equations |
|---|
| 101 | - Lots of other changes, bug fixes, I can't remember |
|---|
| 102 | |
|---|
| 103 | ------------------------------------------------------------------- |
|---|
| 104 | 0.4.7 |
|---|
| 105 | ------------------------------------------------------------------- |
|---|
| 106 | - Output of variables with :report attribute |
|---|
| 107 | Now uses :x-scope, :y-scope, :z-scope in define-process-values |
|---|
| 108 | |
|---|
| 109 | ------------------------------------------------------------------- |
|---|
| 110 | 0.5.0 |
|---|
| 111 | ------------------------------------------------------------------- |
|---|
| 112 | - src/graphics/*: |
|---|
| 113 | First new version of Model Editor that runs with FDL |
|---|
| 114 | - src/kernel/cg.lisp: |
|---|
| 115 | Better formatting of CG file |
|---|
| 116 | - images/Makefile created |
|---|
| 117 | - kb/test-suite created for testing new ProMoT versions |
|---|
| 118 | - Lots of bug fixes |
|---|
| 119 | |
|---|
| 120 | ------------------------------------------------------------------- |
|---|
| 121 | 0.5.1, 1998-06-04 |
|---|
| 122 | ------------------------------------------------------------------- |
|---|
| 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 |
|---|
| 127 | modules |
|---|
| 128 | |
|---|
| 129 | ------------------------------------------------------------------- |
|---|
| 130 | 0.5.2, 1998-06-16 |
|---|
| 131 | ------------------------------------------------------------------- |
|---|
| 132 | - src/kernel/cg.lisp: |
|---|
| 133 | format-cg-commands improved |
|---|
| 134 | - src/kernel/browser-interface.lisp |
|---|
| 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 |
|---|
| 143 | - src/kernel/mdl.lisp: interprete |
|---|
| 144 | Mixins of FDL part slot are now sorted alphabetically to avoid |
|---|
| 145 | circular class precedence lists |
|---|
| 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 |
|---|
| 149 | not work in general, because of wrong pattern initialization. |
|---|
| 150 | e.g., pattern is out of bounds in ba-process.cg |
|---|
| 151 | |
|---|
| 152 | ------------------------------------------------------------------- |
|---|
| 153 | 0.5.3 |
|---|
| 154 | ------------------------------------------------------------------- |
|---|
| 155 | - src/kernel/cg.lisp: |
|---|
| 156 | bug fixed in format-cg-cmd-obj for process-values |
|---|
| 157 | |
|---|
| 158 | ------------------------------------------------------------------- |
|---|
| 159 | 0.5.4, 1998-09-25 |
|---|
| 160 | ------------------------------------------------------------------- |
|---|
| 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: |
|---|
| 164 | print-class-tree writes class tree to stdout |
|---|
| 165 | - src/kernel/editor-interface.lisp: |
|---|
| 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 |
|---|
| 170 | - src/kernel/mdl.lisp: |
|---|
| 171 | The keywords :diva-cg-file-name, :diva-fortran-files-subname, |
|---|
| 172 | :diva-data-file-name and :diva-latex-file-name have been added to |
|---|
| 173 | define-module |
|---|
| 174 | - src/kernel/roots-mixins.lisp: |
|---|
| 175 | The slots for :diva-cg-file-name, :diva-fortran-files-subname, |
|---|
| 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 |
|---|
| 179 | - src/graphics/*.lisp: |
|---|
| 180 | Model output to DIVA added |
|---|
| 181 | |
|---|
| 182 | ------------------------------------------------------------------- |
|---|
| 183 | 0.5.5, 1998-11-03 |
|---|
| 184 | ------------------------------------------------------------------- |
|---|
| 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 |
|---|
| 187 | case of indexed modules. They are rather multiply assigned in equation |
|---|
| 188 | loops. |
|---|
| 189 | - Support of ACL 5.0 added |
|---|
| 190 | src/kernel/error.lisp and src/kernel/mdl.lisp: without-package-locks |
|---|
| 191 | added because of use of symbols class and type |
|---|
| 192 | - Bug fixed in src/kernel/roots-mixins.lisp: path-indices |
|---|
| 193 | Do not generate indices in model name if |
|---|
| 194 | a variable (strong part of a module) |
|---|
| 195 | has been propagated to an indexed terminal. |
|---|
| 196 | |
|---|
| 197 | ------------------------------------------------------------------- |
|---|
| 198 | 0.5.5.0 |
|---|
| 199 | ------------------------------------------------------------------- |
|---|
| 200 | - Inserted a branch into CVS to keep a clean working version |
|---|
| 201 | This should be a mostly bugfree release, without new errors from |
|---|
| 202 | the new GUI development. |
|---|
| 203 | |
|---|
| 204 | |
|---|
| 205 | ------------------------------------------------------------------- |
|---|
| 206 | 0.5.6, 1999-01-07 |
|---|
| 207 | ------------------------------------------------------------------- |
|---|
| 208 | - Development release |
|---|
| 209 | - src/kernel/mdl2diva reports errors correctly |
|---|
| 210 | - src/kernel/optimize.lisp does the job of optimizing linked |
|---|
| 211 | state-variables to help-variables in most cases. For safety reasons |
|---|
| 212 | it is optional to do this |
|---|
| 213 | - The project for the GUI in Java/JFC with connection via ILU has |
|---|
| 214 | been started |
|---|
| 215 | |
|---|
| 216 | ------------------------------------------------------------------- |
|---|
| 217 | 0.6.0, 2000-06-20 |
|---|
| 218 | ------------------------------------------------------------------- |
|---|
| 219 | - The optimizer is broken due to new structures in the kernel |
|---|
| 220 | - errors.lisp has been renamed into conditions.lisp because |
|---|
| 221 | we use conditions now for error reporting |
|---|
| 222 | - The principle of using FDL has changed. ProMoT implements now it's |
|---|
| 223 | own superclasses. this should be extended for the interactive |
|---|
| 224 | editing of classes without using MDL. |
|---|
| 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 |
|---|
| 228 | |
|---|
| 229 | ------------------------------------------------------------------- |
|---|
| 230 | 0.6.0.0 |
|---|
| 231 | ------------------------------------------------------------------- |
|---|
| 232 | - New stable version instead of version 0.5.5 |
|---|
| 233 | - Optimizer is ok now |
|---|
| 234 | - Emacs and Java should work together through the old interface |
|---|
| 235 | - Still some bugs in the GUI |
|---|
| 236 | |
|---|
| 237 | ------------------------------------------------------------------- |
|---|
| 238 | 0.7.0, 2004-11-09 |
|---|
| 239 | ------------------------------------------------------------------- |
|---|
| 240 | - No detailed information |
|---|
| 241 | |
|---|
| 242 | ------------------------------------------------------------------- |
|---|
| 243 | 0.7.1, 2005-05-12 |
|---|
| 244 | ------------------------------------------------------------------- |
|---|
| 245 | - No detailed information |
|---|
| 246 | |
|---|
| 247 | ------------------------------------------------------------------- |
|---|
| 248 | 0.7.2, 2006-08-16 |
|---|
| 249 | ------------------------------------------------------------------- |
|---|
| 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 |
|---|
| 256 | |
|---|
| 257 | ------------------------------------------------------------------- |
|---|
| 258 | 0.8.0, 2008-02-22 |
|---|
| 259 | ------------------------------------------------------------------- |
|---|
| 260 | - Many extensions in the GUI |
|---|
| 261 | - Undo for many commands |
|---|
| 262 | - Automated layout and model documentation |
|---|
| 263 | - Automated consistency checking |
|---|
| 264 | |
|---|
| 265 | ------------------------------------------------------------------- |
|---|
| 266 | 0.8.1, 2008-08-15 |
|---|
| 267 | ------------------------------------------------------------------- |
|---|
| 268 | - Import of CNA (CellNetAnalyzer) models |
|---|
| 269 | - Bug fixes in generation of HTML documentation |
|---|
| 270 | - (Partial) bug fix for renaming of connected slots |
|---|
| 271 | (see BUGS.txt for limitations) |
|---|
| 272 | - Modularization support in visual editing |
|---|
| 273 | - Bug fixes in the variable editor |
|---|
| 274 | - Support for import and export of layout information in the |
|---|
| 275 | Visual Explorer |
|---|
| 276 | - Windows version (since September 2008) |
|---|
| 277 | |
|---|
| 278 | ------------------------------------------------------------------- |
|---|
| 279 | 0.8.2, 2009-08-17, r8738 |
|---|
| 280 | ------------------------------------------------------------------- |
|---|
| 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) |
|---|
| 286 | variables and equations (math), places and transitions (events) not elevated |
|---|
| 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 |
|---|
| 295 | under- and/or overdetermined parts in incidence matrix or visual editor |
|---|
| 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 |
|---|
| 304 | |
|---|
| 305 | ------------------------------------------------------------------- |
|---|
| 306 | 0.8.3, 2010-08-31, linux: r9285, win: r9303 |
|---|
| 307 | ------------------------------------------------------------------- |
|---|
| 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 |
|---|
| 315 | |
|---|
| 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 | ------------------------------------------------------------------- |
|---|
| 342 | 0.8.4, 2011-08-21, r9456 |
|---|
| 343 | ------------------------------------------------------------------- |
|---|
| 344 | New Features |
|---|
| 345 | - Support of ACL 8.2 added |
|---|
| 346 | - New global scenario 'Hierarchical Level' for visualization |
|---|
| 347 | |
|---|
| 348 | Improvements |
|---|
| 349 | - New build procedure and ProMoT is now installed under \usr\local\promot |
|---|
| 350 | instead of \usr\local\diana\promot |
|---|
| 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 |
|---|
| 355 | - reduced-library.mdl: special concentration module with |
|---|
| 356 | additional variable (conc-sink-var) |
|---|
| 357 | |
|---|
| 358 | Bugfixes |
|---|
| 359 | - Corrected paths of some mdl files in the knowledge base |
|---|
| 360 | - Corrected 'Create link' dialog |
|---|
| 361 | (automatic connection of terminals on submodules) |
|---|
| 362 | |
|---|
| 363 | ------------------------------------------------------------------- |
|---|
| 364 | 0.8.5, 2012-09-21, r9659 |
|---|
| 365 | ------------------------------------------------------------------- |
|---|
| 366 | New Features |
|---|
| 367 | - Support of ACL 9.0 added |
|---|
| 368 | - Support of the Process-Interaction-Model concept |
|---|
| 369 | by the Process-Interaction-Library and model specialized model |
|---|
| 370 | converters (export of rule-based models in BNGL from a PIM, |
|---|
| 371 | conversion of PIMs to site-specific logical models) |
|---|
| 372 | documented in a new tutorial |
|---|
| 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 |
|---|
| 377 | |
|---|
| 378 | Improvements |
|---|
| 379 | - Menu item, tooltips and shortcuts are added and more consistent |
|---|
| 380 | |
|---|
| 381 | Bugfixes |
|---|
| 382 | - Option 'Edit Scripts...' now runs also on Windows without errors |
|---|
