Release Notes

PlatformKit 1.4.7 ($Rev$ - $Date$)

• Update to new EMFTVM API.

PlatformKit 1.4.6 (Rev: 8880 - Date: 2012-01-24 17:51:12 -0500 (Tue, 24 Jan 2012))

• Fix ontology inconsistency in specific Android example ontologies.
• Fix primitive type absence in Android 2.3 API model.

PlatformKit 1.4.5 (Rev: 8743 - Date: 2011-09-23 16:42:23 +0200 (Fri, 23 Sep 2011))

• Build against Eclipse 3.7/EMF 2.7/EMFTVM 3.3.0.201109231350.

PlatformKit 1.4.4 (Rev: 8717 - Date: 2011-09-01 14:08:09 +0200 (Thu, 01 Sep 2011))

• Port PlatformKit to ATL EMFTVM/Eclipse 3.6.
• Added PlatformKit Android ontologies and API models.
• Support ontology provider loading priority.
• FIX BUG: mark non-API elements as inferred (or package-protected).
• FIX BUG: if self:Model has more packages than m:Model, m may still be marked as equivalent!

PlatformKit 1.4.3 (Rev: 8324 - Date: 2010-11-02 15:50:31 +0100 (Tue, 02 Nov 2010))

• Additional fix for bug 74: Wrong reasoner selected when creating/updating platform dependency ontology and when sorting constraint sets.
• Additional fix for bug 68: Support automatic creation of platform dependency ontologies based on Java compatibility checks.
• Fixed bug 75: Prefixes are sometimes missing when saving OWL ontologies.
• Fixed bug 76: PlatformKit throws OWLOntologyAlreadyExistsException when creating a new platform dependency ontology.

PlatformKit 1.4.2 (Rev: 8318 - Date: 2010-10-29 10:52:40 +0200 (Fri, 29 Oct 2010))

• Fixed bug 74: Wrong reasoner selected when creating/updating platform dependency ontology and when sorting constraint sets.

PlatformKit 1.4.1 (Rev: 8309 - Date: 2010-10-27 16:08:09 +0200 (Wed, 27 Oct 2010))

• FIX BUG: Profile action attempted to lock wrong resource.

PlatformKit 1.4.0 (Rev: 8304 - Date: 2010-10-27 14:59:20 +0200 (Wed, 27 Oct 2010))

• Known issue: bug 72: Pellet reasoner (v2.2.2) cannot deal with platform ontologies.
• Remove OWLAPI and Jena from PlatformKit Bundle, and add OWLAPI3 as new default.
• Updated platform ontologies to use only simple XSD data types that are supported by Fact++.
• Added RacerPro support to OWLAPI (2) knowledgebase.
• Added new OWLAPI3 knowledgebase implementation.
• Updated to OWLAPI (v2) bundled with Pellet 2.2.2, and bundled Fact++ reasoner as an alternative to Pellet.
• Upgrade to Jena 2.6.3.
• Updated architecture to allow the use of knowledgebase-specific DL reasoners.
• Upgrade to Pellet 2.2.2.
• Fixed bug 71: Determine compatibility against multiple platforms does not work in the context of inherited features.
• Fixed bug 70: Merging/pruning of multiple compatibility reports sometimes results in corrupted report.
• Fixed bug 69: Saving inferred models takes very long (> 5 min.).
• Implemented bug 68: Support automatic creation of platform dependency ontologies based on Java compatibility checks.
• Small user interface fixes (Use a WorkspaceJob to prevent conflicting workspace modifications; Correct amount of progress monitor ticks).
• Several ATL transformation bugfixes for the platformkit-java plug-in.

PlatformKit 1.3.0 (Rev: 8118 - Date: 2010-04-01 16:31:03 +0200 (Thu, 01 Apr 2010))

• Upgrade to Pellet 2.0.2.
• FIX BUG: Reset report before validating to prevent any previous report to be shown when an exception prematurely ends the job.
• Refactoring: encapsulate all directly accessed instance fields, centralise static logger field, only call getters once from each method to prevent race conditions, and support reverse engineering in platformkit servlet.
• Throw OntException when an ontology class URI cannot be resolved.
• Updated API models (bugfixes, correct application of "inferred" annotations).
• Externalised strings.
• FIX BUG: prune Generalizations and Dependencies (InterfaceRealizations) as well.
• Allow multiple jobs to be run in parallel.
• Move INamedOntologyProvider to be.ac.vub.platformkit plugin.
• Remove org.eclipse.core.runtime dependencies where possible.
• Move org.eclipse.core.runtime dependencies in platformkit plugin into internal package.
• BREAKING CHANGE: refactored base vocabulary ontologies (platformkit/2010/1).
• FIX BUG: Parameters are never marked as missing; only their owners are.
• Don't show results for jobs that have completed, but with an abnormal result. Such abnormal results are generally already communicated to the user in another way.
• FIX BUG: Return correct IStatus for jobs.
• FIX BUG: comparison of nested Classifiers failed due to faulty qualifiedName() helper. Test query updated to cover this issue.
• FIX BUG: pruning algorithm contained a number of errors in filtering the elements to be copied. Preliminary test query written.
• FIX BUG: handle inferred elements in DEPS model and fix implementation of isMissing on DataTypes.
• Register Jar right-click action for all jar file candidate extensions.
• FIX BUG: Progress bar disappears prematurely when determining Java compatibility; use SubProgressMonitor for JarToUML to prevent premature monitor.done() call.

PlatformKit 1.2.1 (Rev: 7988 - Date: 2010-02-09 20:20:19 +0100 (di, 09 feb 2010))

• FIX BUG: last step of Classify Taxonomy performed another pruning instead of updating the asserted hierarchy.
• Updated API models and compatibility report transformations to use new Jar2UML inferred annotation.
• Optimised compatibility report algorithm.

PlatformKit 1.2.0 (Rev: 7913 - Date: 2010-01-28 18:18:56 +0100 (do, 28 jan 2010))

• Added Nokia N800 example platform.
• Use OWL 2.0 datatype restrictions for JavaBytecodeFormat.
• Add Maemo package manager to platform ontology.
• Use variable file name for compatibility report instead of 'pkCompatReport.uml'.
• Force refresh of EMF tree editor context menu after profiling by re-setting the current selection.
• Refactor PlatformKit context menu actions into Jobs that can be run in the background.
• Refactored class hierarchy and file locations.
• Added support checking Java dependencies against multiple APIs.
• Add 16x16 PlatformKit logo to context menus.
• Restructure Knowledgebase Plug-ins and upgrade to Jena 2.6.2, Pellet 2.0.1, with support for OWL 2.0.
• Added support for directly determining compatibility of Java projects and Jar files.
• Fix bug where owned attributes/operations of DataTypes were not copied into the compatibility report; also copy only Literal* if they are owned by Properties or Parameters, as other kinds of owners will not be copied into the report.
• Add knowledge on bytecode format: major/minor version numbers for each Java runtime version and preverification looks the same in binaries for preverify1.0 (against CLDC 1.0) and preverify1.1 (against CLDC 1.1).
• First implementation of multiple API support; no dependency checking is done amongst the APIs themselves (i.e. you have to check for yourself of SWT 3.0 and JDK 1.1 actually combine).
• Added SWT 3.5 API.
• Fix bug 38: When determining compatibility with a Java API, the error: "org.eclipse.m2m.atl.core.launcher not found, check the spelling or register it manually" is given.

PlatformKit 1.1.11 (Rev: 7826 - Date: 2009-12-01 16:52:58 +0100 (Tue, 01 Dec 2009))

• Added caching option for built-in API models.
• Switch to Eclipse 3.5.
• Switch to ATL 3.0 API.
• Create full compatibility reports instead of boolean results when checking compatibility of UML models of dependencies.
• Added models of various versions of the SWT API (not yet active in tool).

PlatformKit 1.1.10 (Rev: 7629 - Date: 2009-01-30 13:39:06 +0100 (Fri, 30 Jan 2009))

• Use UML24ATL driver, if available, for UML2 memory leak workaround.
• Updated architecture model to reflect feature dependency reorganisation.

PlatformKit 1.1.9 (Rev: 7539 - Date: 2008-09-15 15:23:13 +0200 (Mon, 15 Sep 2008))

• Update to ATL 2.1.0.200809121222.
• Update for Eclipse 3.4 (Ganymede).
• Move knowledgebase implementations to other features to reduce inter-feature dependencies.

PlatformKit 1.1.8 (Rev: 7461 - Date: 2008-05-28 15:34:54 +0200 (wo, 28 mei 2008))

• Add API documentation for OWLAPI.
• Redo fix for bug # 26: Profiling the Instant Messenger configuration editor throws ClassCastException.
• Provide knowledgebase plugins for Jena and OWLAPI.
• Introduce abstraction framework for knowledgebases.
• Refactored PlatformKit to support OWLAPI and Java 5.0.
• Split out OWLAPI from Pellet.

PlatformKit 1.1.7 (Rev: 7421 - Date: 2008-04-16 09:00:43 +0200 (wo, 16 apr 2008))

• Determine compatibility action now uses the selected ATL VM from the preference page.
• Added ATL VM preference (for determine compatibility transformation). People can now also use the optimised EMF VM.
• Add architecture models for documentation purposes (not yet included in online docs).
• Corrected OCL operation syntax of ATL transformations: -> is only used for collection operations.
• Update comments for HierarchyComparator.java.
• Add quotes to qualified meta-class names for ATL transformations.
• Added diagram for Platformkit.ecore.

PlatformKit 1.1.6 (r7232 - 31st August, 2007)

• Updated documentation from SSEL wiki.
• Upgraded to Pellet 1.5.
• Corrected TreeSorter sorting algorithm for better order preserving.
• Allow ExamplesOntologyProvider to be invoked directly from another PlatformKit Eclipse project (platformkit-web).

PlatformKit 1.1.5 (r7160 - 31st July, 2007)

• Updated documentation from SSEL wiki.
• Updated ontology instances to reflect removed inverse property.
• Removed inverse properties and deprecated elements from ontologies.

PlatformKit 1.1.4 (r7125 - 17th July, 2007)

• Fix Bug # 29: don't try to add ontologies that are already set.
• Fix typo in documentation: platform ontology -> Java ontology.

PlatformKit 1.1.3 (r7112 - 12th July, 2007)

• Unload platform specification after validation.
• Increase verbosity of isValid() logging: show which platform constraint failed.
• Added compatiblity check actions for J2ME MIDP 2.0 and J2ME PP 1.1.
• Added new example platforms for J2ME PP 1.1 and J2ME MIDP 2.0 and updated Siemens CX70v ontology to MIDP 2.0.
• Added unloadInstances() method to Ontologies class.
• Fixed bug in Jena plug-in HandlerAdapter where a Log4J Level was not properly converted to a java.util.logging.Level.
• Generate new UML models with JarToUML 1.0.9 and tag them + update manually derived models with UML2AddIsLeaf.atl.
• Reintroduce equivalence relationships to preserve ontology robustness (all expected classes will remain, even if new equivalent classes are introduced).
• Deprecated API from JDK 1.3 does not exist in J2ME PP 1.0 - stripped UML model.
• Added J2ME PP 1.1 and J2ME MIDP 2.0 ontologies.
• Change platformkit-examples into a plugin that provides built-in example platform specifications.
• Added possibility to validate against built-in platform specifications via an Eclipse extension point.
• Added extra generic example platform descriptions.
• Add dots to Validate Against Concrete Platform menu option.
• Removed Pellet version number from preference page and improved preference page layout.
• Classify Taxonomy Monitor was one step short.
• Introduce context menu actions on UML models to check their compatibility against known Java APIs.
• Allow ontology providers to work outside Eclipse.
• Added Siemens CX70v mobile phone example for codamos_2007_01.
• Added Zaurus Jeode example for codamos_2007_01.
• Added release notes document.

PlatformKit 1.1.2 (r6955 - 18th June, 2007)

• Upgraded to Pellet 1.4.
• Upgraded to Jena 2.5.3.
• Disabled the use of Jena's OWLMicroReasoner, since it does not scale.
• Changed log formatter.
• Support setting for using built-in DL reasoner (Pellet) or DIG reasoner.
• Added platformkit-java plugin with new Java ontologies.
• Don't include src folder in build.properties.

PlatformKit 1.1.1 (r6408 - 12th March, 2007)

• Solved Bug #26: Profiling the Instant Messenger configuration editor throws ClassCastException.
• Updated deployment infrastructure to feature bundle.
• Constraint.ontClassURI is no longer ID + updated ConstraintSpace.pathResolver logic.
• Refactored ConstraintSpace initialisation and EValidator infrastructure.
• Renamed validator classes.
• Use new PlatformKit EAnnotation tags.

PlatformKit 1.1.0 (r6237 - 18th February, 2007)

• Integrated PlatformKit logic with Platformkit Model.
• Refactored from CDDToolkit.