JavaMOP News And Change Logs

From FSL
Jump to: navigation, search
  • 2012-05-11: JavaMOP version 3.0.0
  • Monitoring Performance Improvements
  • JavaMOP now supports scalable parametric monitoring to the number of simultaneous specifications
  • JavaMOP now supports a new logic, String Rewriting Systems
  • JavaMOP now supports __STATICSIG to capture the static signature of the current event
  • Fixed several bugs
  • 2012-02-10: JavaMOP version 2.3.2
  • JavaMOP now supports thisJoinPoint in event actions
  • JavaMOP now supports combining specifications into one AspectJ file
  • JavaMOP now supports array types in parameters
  • Fixed bug that __LOC does not work in some cases
  • Fixed order of events when they are combined
  • 2011-09-06: JavaMOP version 2.3.1
  • Updated the included scala runtime library.
  • 2011-08-05: JavaMOP version 2.3.0
  • The __MONITOR tag is no longer needed, and has been removed. Use the standard Java "this" keyword to resolve ambiguous variables in handlers, instead.
  • JavaMOP now supports the new PTCaRet logic plugin.
  • JavaMOP now supports parameter usage in handlers and event actions; previously, one had to save parameters to variables; now that is handled seamlessly by JavaMOP.
  • Handlers are now implemented as methods in the monitor; in particular, this means that "return" can be used to exit a handler at any point.
  • 2011-02-18: JavaMOP version 2.2.0
  • Performance optimizations:
    • JavaMOP now uses its own data structures instead of ones from the apache library.
    • JavaMOP now uses single locking per specification.
    • JavaMOP now supports an indexing cache.
    • JavaMOP now collects unnecessary monitor instances more aggressively.
  • JavaMOP now supports the LTL logic plugin.
  • JavaMOP now supports the PTLTL logic plugin.
  • JavaMOP now supports around events.
  • JavaMOP now renames MOP variables when they conflict with user-given variables.
  • JavaMOP now supports decentralized indexing when the generic parametric algorithm is used.
  • Cleaned up outputting AspectJ code.
  • Fixed several bugs.
  • 2010-04-19: JavaMOP version 2.1.2
  • Events can have now the same name
  • JavaMOP now supports "around" pointcut
  • Fixed bug in FSM parser
  • Fixed category aliasing
  • Fixed bug that "void" could not be a return type in "call"/"execution" pointcut
  • Fixed concurrency bugs in the JavaMOP framework and the test suite
  • FSM plugin now minimizes output FSM
  • 2010-01-10: JavaMOP version 2.1.1
  • JavaMOP is now distributed in an installer
  • The test suite for JavaMOP is released and distributed with JavaMOP in the installer
  • Added efficient parametric monitoring without the limitation that all creation events instantiate all parameters
  • JavaMOP now supports Multiple formula in a specification
  • A user can now manually select creation events
  • JavaMOP now has a clear separation between logic repository and the JavaMOP framework
  • JavaMOP now supports "thread" pointcut
  • Several bugs have been fixed
  • 2007-08-02: JavaMOP version 1.2.1
  • Important: JavaMOP users please update your packages, because the server URLs have been changed!
  • Fixed some bugs (thanks to Pavel Avgustinov)
  • 2007-03-18: JavaMOP version 1.2
  • Support of parametric specifications provided -- see below for examples
  • MOP specification syntax updated
  • Please download the latest version of JavaMOP
  • 2006-11-16: JavaMOP version 1.1.1
  • Automatic indentation added to generated code
  • Bugs for generating monitors from ERE specifications fixed
  • Bugs for initialization of check point specifications fixed
  • Special thanks to Ylies Falcone for several bug reports and suggestions
  • 2006-11-06: JavaMOP
  • The JavaMOP specification syntax slightly changed
  • A new web-based interface provided
  • JavaMOP client applications improved. Note: old clients do not work any longer
  • 2006-05-10: JavaMOP version 1.0
Personal tools
Namespaces

Variants
Actions
Navigation