UML2 case studies InstantMessenger platform dependencies.
type: Ontology
version info: $Id$
creator: Dennis Wagelaar <dennis.wagelaar@vub.ac.be>
comment: PlatformKit platform dependencies for UML2 case studies InstantMessenger.ecore configuration language.
rights: © 2010, Vrije Universiteit Brussel. All rights reserved.
imports: java-re.owl
imports: os.owl
imports: swt.owl

UML2 case studies Transformations platform dependencies.
type: Ontology
version info: $Id$
creator: Dennis Wagelaar <dennis.wagelaar@vub.ac.be>
comment: PlatformKit platform dependencies for UML2 case studies Transformations.ecore configuration language.
rights: © 2010, Vrije Universiteit Brussel. All rights reserved.
imports: java-re.owl
imports: swt.owl

AWTJRE
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaLangClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaUtilClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaAwtClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaAwtEventClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaNetClassLibrary
subclass of: BasicJRE
comment: Java Runtime Environment that provides a basic version of java.lang, java.util, java.awt and java.awt.event

BasicJRE
type: Class
equivalent class: BasicJRE
equivalent class: Class
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaLangClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaUtilClassLibrary
subclass of: JavaLangJRE
comment: Java Runtime Environment that provides a basic version of java.lang and java.util

DefaultJabberJRE
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: providesFeature
    some values from: JavaIoClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaLangClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaUtilClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaNetClassLibrary
subclass of: JabberJRE
comment: Java Runtime Environment that provides a basic version of java.lang, java.io and java.util

JabberJRE
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: providesFeature
    some values from: JavaIoClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaLangClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaUtilClassLibrary
subclass of: BasicJRE
comment: Java Runtime Environment that provides a basic version of java.lang, java.io and java.util

JavaLangJRE
type: Class
equivalent class: Restriction
  on property: providesFeature
  some values from: Class
    union of: JavaLangClassLibrary
subclass of: JRE
comment: Java Runtime Environment that provides a basic version of java.lang

LCDUIJRE
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: providesFeature
    some values from: JavaxMicroeditionLcduiClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaLangClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaUtilClassLibrary
subclass of: BasicJRE
comment: Java Runtime Environment that provides a basic version of java.lang, java.util and javax.microedition.lcdui

MEJabberJRE
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: providesFeature
    some values from: JavaIoClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: JavaxMicroeditionIoClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaLangClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaUtilClassLibrary
subclass of: JabberJRE
comment: Java Runtime Environment that provides a basic version of java.lang, java.io and java.util

SWTJRE
type: Class
equivalent class: Java2CollectionsJRE
equivalent class: Class
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaLangClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaUtilClassLibrary
subclass of: BasicJRE
comment: Java Runtime Environment that provides a Java 2 Collections version of java.lang, java.util

SwingJRE
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaLangClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaUtilClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaAwtClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaAwtEventClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaNetClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaxSwingClassLibrary
subclass of: AWTJRE
comment: Java Runtime Environment that provides a basic version of java.lang, java.util, java.awt, java.awt.event and javax.swing

AppletJRE
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaLangClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaAppletClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaAwtClassLibrary
subclass of: JavaLangJRE
comment: Java Runtime Environment that provides a basic version of java.lang, java.awt and java.applet

BasicJRE
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaLangClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaUtilClassLibrary
subclass of: JavaLangJRE
comment: Java Runtime Environment that provides a basic version of java.lang and java.util

Java2CollectionsJRE
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaLangClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaUtilClassLibrary
subclass of: BasicJRE
comment: Java Runtime Environment that provides a basic version of java.lang and a java.util version that provides the Java 2 Collections framework

JavaObserverJRE
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: providesFeature
    some values from: JavaLangReflectClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaLangClassLibrary
  intersection of: Restriction
    on property: providesFeature
    some values from: Class
      union of: JavaUtilClassLibrary
subclass of: BasicJRE
comment: Java Runtime Environment that provides a basic version of java.lang, java.lang.reflect and a java.util version that provides java.util.Observer and java.util.Observable

MIDletJRE
type: Class
equivalent class: Restriction
  on property: providesFeature
  some values from: JavaxMicroeditionMidletClassLibrary
subclass of: JRE
comment: Java Runtime Environment that provides a basic version of javax.microedition.midlet

SWTJRE
type: Class
equivalent class: Restriction
  on property: providesFeature
  some values from: JavaLangClassLibrary
subclass of: JavaLangJRE
comment: Java Runtime Environment that provides a basic version of java.lang and org.eclipse.swt.widgets