| class 1 | class 2 | matching | why |
|---|---|---|---|
| check if component could be run on device | |||
| ODA_Device_NokiaN95 equivalentTo Device
that isDescribedByDevComponent some (HardwarePlatform
that containElements some (Keyboard
that hasTextInputCapable value "true"^^boolean)
and containElements some (Camera
that hasPixelsNumber value "5"^^float
and isVideoCapable value "true"^^boolean)
and containElements some (Display
that hasColourCapable value "true"^^boolean
and hasSize value "640x200"^^string
and hasBitsPerPixel value "16"^^int)
and containElements some (Bluetooth
that supportBluetoothProfiles value HeadSetBluetoothProfile
and supportBluetoothProfiles value FileTransferBluetoothProfile
and supportBluetoothProfiles value GenericObjectExchangeBluetoothProfile
and supportBluetoothProfiles value GenericAccessBluetoothProfile
and supportBluetoothProfiles value ServiceDiscoveryApplicationBluetoothProfile
and supportBluetoothProfiles value ObjectPushBluetoothProfile
and supportBluetoothProfiles value DialupNetworkingBluetoothProfile
and supportBluetoothProfiles value SerialPortBluetoothProfile)
and supportInputCharEncodings value UCS-2
and supportInputCharEncodings value ISO_8859-1
and supportInputCharEncodings value US-ASCII
and supportOutputCharEncodings value UTF-8
and supportInputCharEncodings value UTF-8
and supportOutputCharEncodings value UCS-2
and supportOutputCharEncodings value ISO_8859-2
and supportInputCharEncodings value ISO_8859-2
and supportOutputCharEncodings value US-ASCII
and supportOutputCharEncodings value ISO_8859-1
and hasModel value "N95"^^string
and hasSoundOutputCapable value "true"^^boolean
and hasVendor value "Nokia"^^string
and hasImageCapable value "true"^^boolean
and hasVoiceInputCapable value "true"^^boolean)
and isDescribedByDevComponent some (NetworkCharacteristics
that supportNetworkBearers value GSM_CSD_MSISDN
and supportNetworkBearers value GSM_HSCSD_IPv4
and supportNetworkBearers value GSM_GPRS_IPV4
and supportNetworkBearers value WLAN_IPv4
and supportNetworkBearers value GSM_SMS_MSISDN
and supportSecurity value TLS
and supportSecurity value SSL
and supportNetworkBearers value GSM_EDGE_IPv4
and supportNetworkBearers value UMTS_Video_IPv6)
and isDescribedByDevComponent some (SoftwarePlatform
that acceptMime value text/plain
and acceptCharSet value ISO_8859-2
and acceptTransferEncodings value base64Transfer
and acceptMime value text/x-vcard
and containElements value Symbian9.2
and acceptCharSet value UCS-2
and containElements value IBMJ9VM
and acceptMime value image/JPEG
and acceptMime value application/java-archive
and supportAudioInputEncoders value AMR
and supportVideoInputEncoders value H.263
and acceptMime value image/GIF
and supportVMs value IBMJ9VM
and acceptMime value audio/Basic
and acceptCharSet value UTF-8
and acceptMime value video/mpeg
and containElements value CLDC1.1
and acceptMime value text/html
and acceptMime value audio/X-WAV
and acceptCharSet value ISO_8859-1
and containElements value MIDP2.0) | class in range ODA_HelloWorld_Component.requiresDevice TextCommunicationTerminal and JavaTerminal that isDescribedBy some (SoftwarePlatform that supportVMs some JavaVirtualMachine and acceptMime value text/plain and containElements value MIDP2.0 and acceptCharSet value ISO_8859-1) and isDescribedBy some (NetworkCharacteristics that supportNetworkBearers some (DataBearerService or (NetworkBearerService that hasBearerType value SMS_BearerType))) and isDescribedBy some (HardwarePlatform that supportInputCharEncodings value ISO_8859-1 and containElements some Display and supportOutputCharEncodings value ISO_8859-1) | Expected PluginMatch Processed PluginMatch | |
| ODA_Device_Nokia6600 equivalentTo Device
that isDescribedByDevComponent some (HardwarePlatform
that containElements some (Keyboard
that hasTextInputCapable value "true"^^boolean)
and containElements some (Display
that hasColourCapable value "true"^^boolean
and hasSize value "176x208"^^string
and hasBitsPerPixel value "16"^^int)
and containElements some (Bluetooth
that supportBluetoothProfiles value HeadSetBluetoothProfile
and supportBluetoothProfiles value FileTransferBluetoothProfile)
and containElements some (Camera
that isVideoCapable value "true"^^boolean)
and supportInputCharEncodings value ISO_8859-1
and supportInputCharEncodings value US-ASCII
and supportOutputCharEncodings value UTF-8
and supportInputCharEncodings value UTF-8
and supportOutputCharEncodings value US-ASCII
and supportOutputCharEncodings value ISO_8859-1
and hasSoundOutputCapable value "true"^^boolean
and hasVendor value "Nokia"^^string
and hasModel value "6600"^^string
and hasImageCapable value "true"^^boolean
and hasVoiceInputCapable value "true"^^boolean)
and isDescribedByDevComponent some (SoftwarePlatform
that acceptMime value text/plain
and supportVMs value SunJ2MEVMv1
and acceptMime value text/x-vcard
and containElements value Symbian7.0
and acceptMime value image/JPEG
and containElements value SunJ2MEVMv1
and acceptMime value application/java-archive
and acceptMime value image/GIF
and acceptMime value audio/Basic
and acceptCharSet value UTF-8
and containElements value CLDC1.1
and acceptMime value text/html
and acceptMime value audio/X-WAV
and containElements value MIDP2.0
and acceptCharSet value ISO_8859-1)
and isDescribedByDevComponent some (NetworkCharacteristics
that supportNetworkBearers value GSM_CSD_MSISDN
and supportNetworkBearers value GSM_HSCSD_IPv4
and supportNetworkBearers value GSM_GPRS_IPV4
and supportNetworkBearers value GSM_SMS_MSISDN
and supportSecurity value TLS
and supportSecurity value SSL) | class in range ODA_HelloWorld_Component.requiresDevice TextCommunicationTerminal and JavaTerminal that isDescribedBy some (SoftwarePlatform that supportVMs some JavaVirtualMachine and acceptMime value text/plain and containElements value MIDP2.0 and acceptCharSet value ISO_8859-1) and isDescribedBy some (NetworkCharacteristics that supportNetworkBearers some (DataBearerService or (NetworkBearerService that hasBearerType value SMS_BearerType))) and isDescribedBy some (HardwarePlatform that supportInputCharEncodings value ISO_8859-1 and containElements some Display and supportOutputCharEncodings value ISO_8859-1) | Expected PluginMatch Processed PluginMatch | |
| ODA_Device_NokiaN95 equivalentTo Device
that isDescribedByDevComponent some (HardwarePlatform
that containElements some (Keyboard
that hasTextInputCapable value "true"^^boolean)
and containElements some (Camera
that hasPixelsNumber value "5"^^float
and isVideoCapable value "true"^^boolean)
and containElements some (Display
that hasColourCapable value "true"^^boolean
and hasSize value "640x200"^^string
and hasBitsPerPixel value "16"^^int)
and containElements some (Bluetooth
that supportBluetoothProfiles value HeadSetBluetoothProfile
and supportBluetoothProfiles value FileTransferBluetoothProfile
and supportBluetoothProfiles value GenericObjectExchangeBluetoothProfile
and supportBluetoothProfiles value GenericAccessBluetoothProfile
and supportBluetoothProfiles value ServiceDiscoveryApplicationBluetoothProfile
and supportBluetoothProfiles value ObjectPushBluetoothProfile
and supportBluetoothProfiles value DialupNetworkingBluetoothProfile
and supportBluetoothProfiles value SerialPortBluetoothProfile)
and supportInputCharEncodings value UCS-2
and supportInputCharEncodings value ISO_8859-1
and supportInputCharEncodings value US-ASCII
and supportOutputCharEncodings value UTF-8
and supportInputCharEncodings value UTF-8
and supportOutputCharEncodings value UCS-2
and supportOutputCharEncodings value ISO_8859-2
and supportInputCharEncodings value ISO_8859-2
and supportOutputCharEncodings value US-ASCII
and supportOutputCharEncodings value ISO_8859-1
and hasModel value "N95"^^string
and hasSoundOutputCapable value "true"^^boolean
and hasVendor value "Nokia"^^string
and hasImageCapable value "true"^^boolean
and hasVoiceInputCapable value "true"^^boolean)
and isDescribedByDevComponent some (NetworkCharacteristics
that supportNetworkBearers value GSM_CSD_MSISDN
and supportNetworkBearers value GSM_HSCSD_IPv4
and supportNetworkBearers value GSM_GPRS_IPV4
and supportNetworkBearers value WLAN_IPv4
and supportNetworkBearers value GSM_SMS_MSISDN
and supportSecurity value TLS
and supportSecurity value SSL
and supportNetworkBearers value GSM_EDGE_IPv4
and supportNetworkBearers value UMTS_Video_IPv6)
and isDescribedByDevComponent some (SoftwarePlatform
that acceptMime value text/plain
and acceptCharSet value ISO_8859-2
and acceptTransferEncodings value base64Transfer
and acceptMime value text/x-vcard
and containElements value Symbian9.2
and acceptCharSet value UCS-2
and containElements value IBMJ9VM
and acceptMime value image/JPEG
and acceptMime value application/java-archive
and supportAudioInputEncoders value AMR
and supportVideoInputEncoders value H.263
and acceptMime value image/GIF
and supportVMs value IBMJ9VM
and acceptMime value audio/Basic
and acceptCharSet value UTF-8
and acceptMime value video/mpeg
and containElements value CLDC1.1
and acceptMime value text/html
and acceptMime value audio/X-WAV
and acceptCharSet value ISO_8859-1
and containElements value MIDP2.0) | class in range ODA_HelloWorldIM_Component.requiresDevice TextCommunicationTerminal and JavaTerminal that isDescribedBy some (SoftwarePlatform that supportVMs some JavaVirtualMachine and containElements some JavaPlatform and acceptCharSet value ISO_8859-2 and acceptMime value text/plain and acceptCharSet value ISO_8859-1 and acceptMime value image/GIF) and isDescribedBy some (HardwarePlatform that supportInputCharEncodings value ISO_8859-1 and containElements some Display and supportInputCharEncodings value ISO_8859-2 and supportOutputCharEncodings value ISO_8859-1 and supportOutputCharEncodings value ISO_8859-2) and isDescribedBy some (NetworkCharacteristics that supportNetworkBearers some (NetworkBearerService that hasBearerType value GPRS)) | Expected PluginMatch Processed PluginMatch | |
| ODA_Device_Nokia6600 equivalentTo Device
that isDescribedByDevComponent some (HardwarePlatform
that containElements some (Keyboard
that hasTextInputCapable value "true"^^boolean)
and containElements some (Display
that hasColourCapable value "true"^^boolean
and hasSize value "176x208"^^string
and hasBitsPerPixel value "16"^^int)
and containElements some (Bluetooth
that supportBluetoothProfiles value HeadSetBluetoothProfile
and supportBluetoothProfiles value FileTransferBluetoothProfile)
and containElements some (Camera
that isVideoCapable value "true"^^boolean)
and supportInputCharEncodings value ISO_8859-1
and supportInputCharEncodings value US-ASCII
and supportOutputCharEncodings value UTF-8
and supportInputCharEncodings value UTF-8
and supportOutputCharEncodings value US-ASCII
and supportOutputCharEncodings value ISO_8859-1
and hasSoundOutputCapable value "true"^^boolean
and hasVendor value "Nokia"^^string
and hasModel value "6600"^^string
and hasImageCapable value "true"^^boolean
and hasVoiceInputCapable value "true"^^boolean)
and isDescribedByDevComponent some (SoftwarePlatform
that acceptMime value text/plain
and supportVMs value SunJ2MEVMv1
and acceptMime value text/x-vcard
and containElements value Symbian7.0
and acceptMime value image/JPEG
and containElements value SunJ2MEVMv1
and acceptMime value application/java-archive
and acceptMime value image/GIF
and acceptMime value audio/Basic
and acceptCharSet value UTF-8
and containElements value CLDC1.1
and acceptMime value text/html
and acceptMime value audio/X-WAV
and containElements value MIDP2.0
and acceptCharSet value ISO_8859-1)
and isDescribedByDevComponent some (NetworkCharacteristics
that supportNetworkBearers value GSM_CSD_MSISDN
and supportNetworkBearers value GSM_HSCSD_IPv4
and supportNetworkBearers value GSM_GPRS_IPV4
and supportNetworkBearers value GSM_SMS_MSISDN
and supportSecurity value TLS
and supportSecurity value SSL) | class in range ODA_HelloWorldIM_Component.requiresDevice TextCommunicationTerminal and JavaTerminal that isDescribedBy some (SoftwarePlatform that supportVMs some JavaVirtualMachine and containElements some JavaPlatform and acceptCharSet value ISO_8859-2 and acceptMime value text/plain and acceptCharSet value ISO_8859-1 and acceptMime value image/GIF) and isDescribedBy some (HardwarePlatform that supportInputCharEncodings value ISO_8859-1 and containElements some Display and supportInputCharEncodings value ISO_8859-2 and supportOutputCharEncodings value ISO_8859-1 and supportOutputCharEncodings value ISO_8859-2) and isDescribedBy some (NetworkCharacteristics that supportNetworkBearers some (NetworkBearerService that hasBearerType value GPRS)) | Expected NotMatch Processed NotMatch | |
| check if component could run service | |||
| ----------- same restriction many times begin, at least one from group must equal expected ---------------------- | |||
| ODA_HelloWorld_Service1 equivalentTo OneWayMessageExchange that containsMessage some (Message that hasDataType some TextDataType) and requiresDevice some (TextCommunicationTerminal and JavaTerminal) and hasNetworkConnectivity some (ConnectivityType that hasNetworkBearerService some (DataBearerService or TextBearerService)) and hasParticipant some MessageExchangeParticipant | class in range ODA_HelloWorld_Component.canRealizeService OneWayMessageExchange that containsMessage some (Message that hasMimeType value text/plain) and requiresDevice some (TextCommunicationTerminal and JavaTerminal) and hasParticipant some MessageExchangeParticipant and hasNetworkConnectivity value GSMConnectivity | Expected SubsumptionMatch Processed SubsumptionMatch | |
| ODA_HelloWorld_Service1 equivalentTo OneWayMessageExchange that containsMessage some (Message that hasDataType some TextDataType) and requiresDevice some (TextCommunicationTerminal and JavaTerminal) and hasNetworkConnectivity some (ConnectivityType that hasNetworkBearerService some (DataBearerService or TextBearerService)) and hasParticipant some MessageExchangeParticipant | class in range ODA_HelloWorld_Component.canRealizeService SMSExchange that containsMessage some SMS and requiresDevice some SMSCommunicationTerminal and hasParticipant some MessageExchangeParticipant and hasNetworkConnectivity value GSMConnectivity | Expected SubsumptionMatch Processed NotMatch | |
| ----------- same restriction many times ends ---------------------- | |||
| ----------- same restriction many times begin, at least one from group must equal expected ---------------------- | |||
| ODA_HelloWorld_Service2 equivalentTo SMSExchange that containsMessage some SMS and requiresDevice some SMSCommunicationTerminal and hasNetworkConnectivity some (ConnectivityType that hasNetworkBearerService some (NetworkBearerService that hasBearerType value SMS_BearerType)) and hasParticipant some MessageExchangeParticipant | class in range ODA_HelloWorld_Component.canRealizeService OneWayMessageExchange that containsMessage some (Message that hasMimeType value text/plain) and requiresDevice some (TextCommunicationTerminal and JavaTerminal) and hasParticipant some MessageExchangeParticipant and hasNetworkConnectivity value GSMConnectivity | Expected SubsumptionMatch Processed NotMatch | |
| ODA_HelloWorld_Service2 equivalentTo SMSExchange that containsMessage some SMS and requiresDevice some SMSCommunicationTerminal and hasNetworkConnectivity some (ConnectivityType that hasNetworkBearerService some (NetworkBearerService that hasBearerType value SMS_BearerType)) and hasParticipant some MessageExchangeParticipant | class in range ODA_HelloWorld_Component.canRealizeService SMSExchange that containsMessage some SMS and requiresDevice some SMSCommunicationTerminal and hasParticipant some MessageExchangeParticipant and hasNetworkConnectivity value GSMConnectivity | Expected SubsumptionMatch Processed SubsumptionMatch | |
| ----------- same restriction many times ends ---------------------- | |||
| ----------- same restriction many times begin, at least one from group must equal expected ---------------------- | |||
| ODA_HelloWorldIM_Service equivalentTo InstantMessaging that containsMessage some (Message that hasDataType some (TextDataType or ImageDataType)) and hasNetworkConnectivity some (ConnectivityType that hasNetworkBearerService value GSM_GPRS_IPV4) and requiresDevice some (TextCommunicationTerminal and JavaTerminal) and hasParticipant some (MessageSender or MessageReceiver) | class in range ODA_HelloWorld_Component.canRealizeService OneWayMessageExchange that containsMessage some (Message that hasMimeType value text/plain) and requiresDevice some (TextCommunicationTerminal and JavaTerminal) and hasParticipant some MessageExchangeParticipant and hasNetworkConnectivity value GSMConnectivity | Expected NotMatch Processed NotMatch | |
| ODA_HelloWorldIM_Service equivalentTo InstantMessaging that containsMessage some (Message that hasDataType some (TextDataType or ImageDataType)) and hasNetworkConnectivity some (ConnectivityType that hasNetworkBearerService value GSM_GPRS_IPV4) and requiresDevice some (TextCommunicationTerminal and JavaTerminal) and hasParticipant some (MessageSender or MessageReceiver) | class in range ODA_HelloWorld_Component.canRealizeService SMSExchange that containsMessage some SMS and requiresDevice some SMSCommunicationTerminal and hasParticipant some MessageExchangeParticipant and hasNetworkConnectivity value GSMConnectivity | Expected NotMatch Processed NotMatch | |
| ----------- same restriction many times ends ---------------------- | |||
| ODA_HelloWorld_Service1 equivalentTo OneWayMessageExchange that containsMessage some (Message that hasDataType some TextDataType) and requiresDevice some (TextCommunicationTerminal and JavaTerminal) and hasNetworkConnectivity some (ConnectivityType that hasNetworkBearerService some (DataBearerService or TextBearerService)) and hasParticipant some MessageExchangeParticipant | class in range ODA_HelloWorldIM_Component.canRealizeService InstantMessaging that containsMessage some (Message that hasMimeType value text/plain and hasMimeType value image/GIF) and requiresDevice some (TextCommunicationTerminal and JavaTerminal) and hasParticipant some (MessageSender or MessageReceiver) and hasNetworkConnectivity value GSMConnectivity and hasNetworkConnectivity value UMTSConnectivity | Expected NotMatch Processed NotMatch | |
| ODA_HelloWorld_Service2 equivalentTo SMSExchange that containsMessage some SMS and requiresDevice some SMSCommunicationTerminal and hasNetworkConnectivity some (ConnectivityType that hasNetworkBearerService some (NetworkBearerService that hasBearerType value SMS_BearerType)) and hasParticipant some MessageExchangeParticipant | class in range ODA_HelloWorldIM_Component.canRealizeService InstantMessaging that containsMessage some (Message that hasMimeType value text/plain and hasMimeType value image/GIF) and requiresDevice some (TextCommunicationTerminal and JavaTerminal) and hasParticipant some (MessageSender or MessageReceiver) and hasNetworkConnectivity value GSMConnectivity and hasNetworkConnectivity value UMTSConnectivity | Expected NotMatch Processed NotMatch | |
| ODA_HelloWorldIM_Service equivalentTo InstantMessaging that containsMessage some (Message that hasDataType some (TextDataType or ImageDataType)) and hasNetworkConnectivity some (ConnectivityType that hasNetworkBearerService value GSM_GPRS_IPV4) and requiresDevice some (TextCommunicationTerminal and JavaTerminal) and hasParticipant some (MessageSender or MessageReceiver) | class in range ODA_HelloWorldIM_Component.canRealizeService InstantMessaging that containsMessage some (Message that hasMimeType value text/plain and hasMimeType value image/GIF) and requiresDevice some (TextCommunicationTerminal and JavaTerminal) and hasParticipant some (MessageSender or MessageReceiver) and hasNetworkConnectivity value GSMConnectivity and hasNetworkConnectivity value UMTSConnectivity | Expected SubsumptionMatch Processed SubsumptionMatch | |
| check if service could be run on device | |||
| ODA_Device_NokiaN95 equivalentTo Device
that isDescribedByDevComponent some (HardwarePlatform
that containElements some (Keyboard
that hasTextInputCapable value "true"^^boolean)
and containElements some (Camera
that hasPixelsNumber value "5"^^float
and isVideoCapable value "true"^^boolean)
and containElements some (Display
that hasColourCapable value "true"^^boolean
and hasSize value "640x200"^^string
and hasBitsPerPixel value "16"^^int)
and containElements some (Bluetooth
that supportBluetoothProfiles value HeadSetBluetoothProfile
and supportBluetoothProfiles value FileTransferBluetoothProfile
and supportBluetoothProfiles value GenericObjectExchangeBluetoothProfile
and supportBluetoothProfiles value GenericAccessBluetoothProfile
and supportBluetoothProfiles value ServiceDiscoveryApplicationBluetoothProfile
and supportBluetoothProfiles value ObjectPushBluetoothProfile
and supportBluetoothProfiles value DialupNetworkingBluetoothProfile
and supportBluetoothProfiles value SerialPortBluetoothProfile)
and supportInputCharEncodings value UCS-2
and supportInputCharEncodings value ISO_8859-1
and supportInputCharEncodings value US-ASCII
and supportOutputCharEncodings value UTF-8
and supportInputCharEncodings value UTF-8
and supportOutputCharEncodings value UCS-2
and supportOutputCharEncodings value ISO_8859-2
and supportInputCharEncodings value ISO_8859-2
and supportOutputCharEncodings value US-ASCII
and supportOutputCharEncodings value ISO_8859-1
and hasModel value "N95"^^string
and hasSoundOutputCapable value "true"^^boolean
and hasVendor value "Nokia"^^string
and hasImageCapable value "true"^^boolean
and hasVoiceInputCapable value "true"^^boolean)
and isDescribedByDevComponent some (NetworkCharacteristics
that supportNetworkBearers value GSM_CSD_MSISDN
and supportNetworkBearers value GSM_HSCSD_IPv4
and supportNetworkBearers value GSM_GPRS_IPV4
and supportNetworkBearers value WLAN_IPv4
and supportNetworkBearers value GSM_SMS_MSISDN
and supportSecurity value TLS
and supportSecurity value SSL
and supportNetworkBearers value GSM_EDGE_IPv4
and supportNetworkBearers value UMTS_Video_IPv6)
and isDescribedByDevComponent some (SoftwarePlatform
that acceptMime value text/plain
and acceptCharSet value ISO_8859-2
and acceptTransferEncodings value base64Transfer
and acceptMime value text/x-vcard
and containElements value Symbian9.2
and acceptCharSet value UCS-2
and containElements value IBMJ9VM
and acceptMime value image/JPEG
and acceptMime value application/java-archive
and supportAudioInputEncoders value AMR
and supportVideoInputEncoders value H.263
and acceptMime value image/GIF
and supportVMs value IBMJ9VM
and acceptMime value audio/Basic
and acceptCharSet value UTF-8
and acceptMime value video/mpeg
and containElements value CLDC1.1
and acceptMime value text/html
and acceptMime value audio/X-WAV
and acceptCharSet value ISO_8859-1
and containElements value MIDP2.0) | class in range ODA_HelloWorld_Service1.requiresDevice TextCommunicationTerminal and JavaTerminal | Expected PluginMatch Processed PluginMatch | |
| ODA_Device_Nokia6600 equivalentTo Device
that isDescribedByDevComponent some (HardwarePlatform
that containElements some (Keyboard
that hasTextInputCapable value "true"^^boolean)
and containElements some (Display
that hasColourCapable value "true"^^boolean
and hasSize value "176x208"^^string
and hasBitsPerPixel value "16"^^int)
and containElements some (Bluetooth
that supportBluetoothProfiles value HeadSetBluetoothProfile
and supportBluetoothProfiles value FileTransferBluetoothProfile)
and containElements some (Camera
that isVideoCapable value "true"^^boolean)
and supportInputCharEncodings value ISO_8859-1
and supportInputCharEncodings value US-ASCII
and supportOutputCharEncodings value UTF-8
and supportInputCharEncodings value UTF-8
and supportOutputCharEncodings value US-ASCII
and supportOutputCharEncodings value ISO_8859-1
and hasSoundOutputCapable value "true"^^boolean
and hasVendor value "Nokia"^^string
and hasModel value "6600"^^string
and hasImageCapable value "true"^^boolean
and hasVoiceInputCapable value "true"^^boolean)
and isDescribedByDevComponent some (SoftwarePlatform
that acceptMime value text/plain
and supportVMs value SunJ2MEVMv1
and acceptMime value text/x-vcard
and containElements value Symbian7.0
and acceptMime value image/JPEG
and containElements value SunJ2MEVMv1
and acceptMime value application/java-archive
and acceptMime value image/GIF
and acceptMime value audio/Basic
and acceptCharSet value UTF-8
and containElements value CLDC1.1
and acceptMime value text/html
and acceptMime value audio/X-WAV
and containElements value MIDP2.0
and acceptCharSet value ISO_8859-1)
and isDescribedByDevComponent some (NetworkCharacteristics
that supportNetworkBearers value GSM_CSD_MSISDN
and supportNetworkBearers value GSM_HSCSD_IPv4
and supportNetworkBearers value GSM_GPRS_IPV4
and supportNetworkBearers value GSM_SMS_MSISDN
and supportSecurity value TLS
and supportSecurity value SSL) | class in range ODA_HelloWorld_Service1.requiresDevice TextCommunicationTerminal and JavaTerminal | Expected PluginMatch Processed PluginMatch | |
| ODA_Device_NokiaN95 equivalentTo Device
that isDescribedByDevComponent some (HardwarePlatform
that containElements some (Keyboard
that hasTextInputCapable value "true"^^boolean)
and containElements some (Camera
that hasPixelsNumber value "5"^^float
and isVideoCapable value "true"^^boolean)
and containElements some (Display
that hasColourCapable value "true"^^boolean
and hasSize value "640x200"^^string
and hasBitsPerPixel value "16"^^int)
and containElements some (Bluetooth
that supportBluetoothProfiles value HeadSetBluetoothProfile
and supportBluetoothProfiles value FileTransferBluetoothProfile
and supportBluetoothProfiles value GenericObjectExchangeBluetoothProfile
and supportBluetoothProfiles value GenericAccessBluetoothProfile
and supportBluetoothProfiles value ServiceDiscoveryApplicationBluetoothProfile
and supportBluetoothProfiles value ObjectPushBluetoothProfile
and supportBluetoothProfiles value DialupNetworkingBluetoothProfile
and supportBluetoothProfiles value SerialPortBluetoothProfile)
and supportInputCharEncodings value UCS-2
and supportInputCharEncodings value ISO_8859-1
and supportInputCharEncodings value US-ASCII
and supportOutputCharEncodings value UTF-8
and supportInputCharEncodings value UTF-8
and supportOutputCharEncodings value UCS-2
and supportOutputCharEncodings value ISO_8859-2
and supportInputCharEncodings value ISO_8859-2
and supportOutputCharEncodings value US-ASCII
and supportOutputCharEncodings value ISO_8859-1
and hasModel value "N95"^^string
and hasSoundOutputCapable value "true"^^boolean
and hasVendor value "Nokia"^^string
and hasImageCapable value "true"^^boolean
and hasVoiceInputCapable value "true"^^boolean)
and isDescribedByDevComponent some (NetworkCharacteristics
that supportNetworkBearers value GSM_CSD_MSISDN
and supportNetworkBearers value GSM_HSCSD_IPv4
and supportNetworkBearers value GSM_GPRS_IPV4
and supportNetworkBearers value WLAN_IPv4
and supportNetworkBearers value GSM_SMS_MSISDN
and supportSecurity value TLS
and supportSecurity value SSL
and supportNetworkBearers value GSM_EDGE_IPv4
and supportNetworkBearers value UMTS_Video_IPv6)
and isDescribedByDevComponent some (SoftwarePlatform
that acceptMime value text/plain
and acceptCharSet value ISO_8859-2
and acceptTransferEncodings value base64Transfer
and acceptMime value text/x-vcard
and containElements value Symbian9.2
and acceptCharSet value UCS-2
and containElements value IBMJ9VM
and acceptMime value image/JPEG
and acceptMime value application/java-archive
and supportAudioInputEncoders value AMR
and supportVideoInputEncoders value H.263
and acceptMime value image/GIF
and supportVMs value IBMJ9VM
and acceptMime value audio/Basic
and acceptCharSet value UTF-8
and acceptMime value video/mpeg
and containElements value CLDC1.1
and acceptMime value text/html
and acceptMime value audio/X-WAV
and acceptCharSet value ISO_8859-1
and containElements value MIDP2.0) | class in range ODA_HelloWorld_Service2.requiresDevice SMSCommunicationTerminal | Expected PluginMatch Processed PluginMatch | |
| ODA_Device_Nokia6600 equivalentTo Device
that isDescribedByDevComponent some (HardwarePlatform
that containElements some (Keyboard
that hasTextInputCapable value "true"^^boolean)
and containElements some (Display
that hasColourCapable value "true"^^boolean
and hasSize value "176x208"^^string
and hasBitsPerPixel value "16"^^int)
and containElements some (Bluetooth
that supportBluetoothProfiles value HeadSetBluetoothProfile
and supportBluetoothProfiles value FileTransferBluetoothProfile)
and containElements some (Camera
that isVideoCapable value "true"^^boolean)
and supportInputCharEncodings value ISO_8859-1
and supportInputCharEncodings value US-ASCII
and supportOutputCharEncodings value UTF-8
and supportInputCharEncodings value UTF-8
and supportOutputCharEncodings value US-ASCII
and supportOutputCharEncodings value ISO_8859-1
and hasSoundOutputCapable value "true"^^boolean
and hasVendor value "Nokia"^^string
and hasModel value "6600"^^string
and hasImageCapable value "true"^^boolean
and hasVoiceInputCapable value "true"^^boolean)
and isDescribedByDevComponent some (SoftwarePlatform
that acceptMime value text/plain
and supportVMs value SunJ2MEVMv1
and acceptMime value text/x-vcard
and containElements value Symbian7.0
and acceptMime value image/JPEG
and containElements value SunJ2MEVMv1
and acceptMime value application/java-archive
and acceptMime value image/GIF
and acceptMime value audio/Basic
and acceptCharSet value UTF-8
and containElements value CLDC1.1
and acceptMime value text/html
and acceptMime value audio/X-WAV
and containElements value MIDP2.0
and acceptCharSet value ISO_8859-1)
and isDescribedByDevComponent some (NetworkCharacteristics
that supportNetworkBearers value GSM_CSD_MSISDN
and supportNetworkBearers value GSM_HSCSD_IPv4
and supportNetworkBearers value GSM_GPRS_IPV4
and supportNetworkBearers value GSM_SMS_MSISDN
and supportSecurity value TLS
and supportSecurity value SSL) | class in range ODA_HelloWorld_Service2.requiresDevice SMSCommunicationTerminal | Expected PluginMatch Processed PluginMatch | |
| ODA_Device_NokiaN95 equivalentTo Device
that isDescribedByDevComponent some (HardwarePlatform
that containElements some (Keyboard
that hasTextInputCapable value "true"^^boolean)
and containElements some (Camera
that hasPixelsNumber value "5"^^float
and isVideoCapable value "true"^^boolean)
and containElements some (Display
that hasColourCapable value "true"^^boolean
and hasSize value "640x200"^^string
and hasBitsPerPixel value "16"^^int)
and containElements some (Bluetooth
that supportBluetoothProfiles value HeadSetBluetoothProfile
and supportBluetoothProfiles value FileTransferBluetoothProfile
and supportBluetoothProfiles value GenericObjectExchangeBluetoothProfile
and supportBluetoothProfiles value GenericAccessBluetoothProfile
and supportBluetoothProfiles value ServiceDiscoveryApplicationBluetoothProfile
and supportBluetoothProfiles value ObjectPushBluetoothProfile
and supportBluetoothProfiles value DialupNetworkingBluetoothProfile
and supportBluetoothProfiles value SerialPortBluetoothProfile)
and supportInputCharEncodings value UCS-2
and supportInputCharEncodings value ISO_8859-1
and supportInputCharEncodings value US-ASCII
and supportOutputCharEncodings value UTF-8
and supportInputCharEncodings value UTF-8
and supportOutputCharEncodings value UCS-2
and supportOutputCharEncodings value ISO_8859-2
and supportInputCharEncodings value ISO_8859-2
and supportOutputCharEncodings value US-ASCII
and supportOutputCharEncodings value ISO_8859-1
and hasModel value "N95"^^string
and hasSoundOutputCapable value "true"^^boolean
and hasVendor value "Nokia"^^string
and hasImageCapable value "true"^^boolean
and hasVoiceInputCapable value "true"^^boolean)
and isDescribedByDevComponent some (NetworkCharacteristics
that supportNetworkBearers value GSM_CSD_MSISDN
and supportNetworkBearers value GSM_HSCSD_IPv4
and supportNetworkBearers value GSM_GPRS_IPV4
and supportNetworkBearers value WLAN_IPv4
and supportNetworkBearers value GSM_SMS_MSISDN
and supportSecurity value TLS
and supportSecurity value SSL
and supportNetworkBearers value GSM_EDGE_IPv4
and supportNetworkBearers value UMTS_Video_IPv6)
and isDescribedByDevComponent some (SoftwarePlatform
that acceptMime value text/plain
and acceptCharSet value ISO_8859-2
and acceptTransferEncodings value base64Transfer
and acceptMime value text/x-vcard
and containElements value Symbian9.2
and acceptCharSet value UCS-2
and containElements value IBMJ9VM
and acceptMime value image/JPEG
and acceptMime value application/java-archive
and supportAudioInputEncoders value AMR
and supportVideoInputEncoders value H.263
and acceptMime value image/GIF
and supportVMs value IBMJ9VM
and acceptMime value audio/Basic
and acceptCharSet value UTF-8
and acceptMime value video/mpeg
and containElements value CLDC1.1
and acceptMime value text/html
and acceptMime value audio/X-WAV
and acceptCharSet value ISO_8859-1
and containElements value MIDP2.0) | class in range ODA_HelloWorldIM_Service.requiresDevice TextCommunicationTerminal and JavaTerminal | Expected PluginMatch Processed PluginMatch | |
| ODA_Device_Nokia6600 equivalentTo Device
that isDescribedByDevComponent some (HardwarePlatform
that containElements some (Keyboard
that hasTextInputCapable value "true"^^boolean)
and containElements some (Display
that hasColourCapable value "true"^^boolean
and hasSize value "176x208"^^string
and hasBitsPerPixel value "16"^^int)
and containElements some (Bluetooth
that supportBluetoothProfiles value HeadSetBluetoothProfile
and supportBluetoothProfiles value FileTransferBluetoothProfile)
and containElements some (Camera
that isVideoCapable value "true"^^boolean)
and supportInputCharEncodings value ISO_8859-1
and supportInputCharEncodings value US-ASCII
and supportOutputCharEncodings value UTF-8
and supportInputCharEncodings value UTF-8
and supportOutputCharEncodings value US-ASCII
and supportOutputCharEncodings value ISO_8859-1
and hasSoundOutputCapable value "true"^^boolean
and hasVendor value "Nokia"^^string
and hasModel value "6600"^^string
and hasImageCapable value "true"^^boolean
and hasVoiceInputCapable value "true"^^boolean)
and isDescribedByDevComponent some (SoftwarePlatform
that acceptMime value text/plain
and supportVMs value SunJ2MEVMv1
and acceptMime value text/x-vcard
and containElements value Symbian7.0
and acceptMime value image/JPEG
and containElements value SunJ2MEVMv1
and acceptMime value application/java-archive
and acceptMime value image/GIF
and acceptMime value audio/Basic
and acceptCharSet value UTF-8
and containElements value CLDC1.1
and acceptMime value text/html
and acceptMime value audio/X-WAV
and containElements value MIDP2.0
and acceptCharSet value ISO_8859-1)
and isDescribedByDevComponent some (NetworkCharacteristics
that supportNetworkBearers value GSM_CSD_MSISDN
and supportNetworkBearers value GSM_HSCSD_IPv4
and supportNetworkBearers value GSM_GPRS_IPV4
and supportNetworkBearers value GSM_SMS_MSISDN
and supportSecurity value TLS
and supportSecurity value SSL) | class in range ODA_HelloWorldIM_Service.requiresDevice TextCommunicationTerminal and JavaTerminal | Expected PluginMatch Processed PluginMatch | |
| check if component could achieve goal | |||
| ----------- same restriction many times begin, at least one from group must equal expected ---------------------- | |||
| ODA_HelloWorld_Goal1 equivalentTo MessageSending that refersToCommunication some OneWayMessageExchange and refersToData some (Message that hasDataType some TextDataType) | class in range ODA_HelloWorld_Component.isAbleToAchieve MessageReceiving that refersToCommunication some OneWayMessageExchange and refersToData some (Message that hasMimeType value text/plain) | Expected SubsumptionMatch Processed NotMatch | |
| ODA_HelloWorld_Goal1 equivalentTo MessageSending that refersToCommunication some OneWayMessageExchange and refersToData some (Message that hasDataType some TextDataType) | class in range ODA_HelloWorld_Component.isAbleToAchieve MessageSending that refersToCommunication some OneWayMessageExchange and refersToData some (Message that hasMimeType value text/plain) | Expected SubsumptionMatch Processed SubsumptionMatch | |
| ----------- same restriction many times ends ---------------------- | |||
| ----------- same restriction many times begin, at least one from group must equal expected ---------------------- | |||
| ODA_HelloWorld_Goal2 equivalentTo MessageReceiving that refersToCommunication some OneWayMessageExchange and refersToData some (Message that hasDataType some TextDataType) | class in range ODA_HelloWorld_Component.isAbleToAchieve MessageReceiving that refersToCommunication some OneWayMessageExchange and refersToData some (Message that hasMimeType value text/plain) | Expected SubsumptionMatch Processed SubsumptionMatch | |
| ODA_HelloWorld_Goal2 equivalentTo MessageReceiving that refersToCommunication some OneWayMessageExchange and refersToData some (Message that hasDataType some TextDataType) | class in range ODA_HelloWorld_Component.isAbleToAchieve MessageSending that refersToCommunication some OneWayMessageExchange and refersToData some (Message that hasMimeType value text/plain) | Expected SubsumptionMatch Processed NotMatch | |
| ----------- same restriction many times ends ---------------------- | |||
| ----------- same restriction many times begin, at least one from group must equal expected ---------------------- | |||
| ODA_HelloWorldIM_Goal1 equivalentTo Establishment that refersToCommunication some InstantMessaging and refersToData some (StructuredData that hasMimeType some (TextDataType or ImageDataType)) | class in range ODA_HelloWorldIM_Component.isAbleToAchieve Establishment that refersToCommunication some InstantMessaging and refersToData some (StructuredData that hasMimeType value text/plain and hasMimeType value image/GIF) | Expected SubsumptionMatch Processed SubsumptionMatch | |
| ODA_HelloWorldIM_Goal1 equivalentTo Establishment that refersToCommunication some InstantMessaging and refersToData some (StructuredData that hasMimeType some (TextDataType or ImageDataType)) | class in range ODA_HelloWorldIM_Component.isAbleToAchieve Termination that refersToCommunication some InstantMessaging and refersToData some (StructuredData that hasMimeType value text/plain and hasMimeType value image/GIF) | Expected SubsumptionMatch Processed NotMatch | |
| ----------- same restriction many times ends ---------------------- | |||
| ----------- same restriction many times begin, at least one from group must equal expected ---------------------- | |||
| ODA_HelloWorldIM_Goal2 equivalentTo Termination that refersToCommunication some InstantMessaging and refersToData some (StructuredData that hasMimeType some (TextDataType or ImageDataType)) | class in range ODA_HelloWorldIM_Component.isAbleToAchieve Establishment that refersToCommunication some InstantMessaging and refersToData some (StructuredData that hasMimeType value text/plain and hasMimeType value image/GIF) | Expected SubsumptionMatch Processed NotMatch | |
| ODA_HelloWorldIM_Goal2 equivalentTo Termination that refersToCommunication some InstantMessaging and refersToData some (StructuredData that hasMimeType some (TextDataType or ImageDataType)) | class in range ODA_HelloWorldIM_Component.isAbleToAchieve Termination that refersToCommunication some InstantMessaging and refersToData some (StructuredData that hasMimeType value text/plain and hasMimeType value image/GIF) | Expected SubsumptionMatch Processed SubsumptionMatch | |
| ----------- same restriction many times ends ---------------------- | |||
| check if semantic interface could achieve goal | |||
| ----------- same restriction many times begin, at least one from group must equal expected ---------------------- | |||
| ODA_HelloWorld_Goal1 equivalentTo MessageSending that refersToCommunication some OneWayMessageExchange and refersToData some (Message that hasDataType some TextDataType) | class in range ODA_HelloWorld_SemanticInterface.achievesGoal MessageSending that refersToCommunication some OneWayMessageExchange and refersToData some (Message that hasDataType some TextDataType) | Expected ExactMatch Processed ExactMatch | |
| ODA_HelloWorld_Goal1 equivalentTo MessageSending that refersToCommunication some OneWayMessageExchange and refersToData some (Message that hasDataType some TextDataType) | class in range ODA_HelloWorld_SemanticInterface.achievesGoal MessageReceiving that refersToCommunication some OneWayMessageExchange and refersToData some (Message that hasDataType some TextDataType) | Expected ExactMatch Processed NotMatch | |
| ----------- same restriction many times ends ---------------------- | |||
| ----------- same restriction many times begin, at least one from group must equal expected ---------------------- | |||
| ODA_HelloWorld_Goal2 equivalentTo MessageReceiving that refersToCommunication some OneWayMessageExchange and refersToData some (Message that hasDataType some TextDataType) | class in range ODA_HelloWorld_SemanticInterface.achievesGoal MessageSending that refersToCommunication some OneWayMessageExchange and refersToData some (Message that hasDataType some TextDataType) | Expected ExactMatch Processed NotMatch | |
| ODA_HelloWorld_Goal2 equivalentTo MessageReceiving that refersToCommunication some OneWayMessageExchange and refersToData some (Message that hasDataType some TextDataType) | class in range ODA_HelloWorld_SemanticInterface.achievesGoal MessageReceiving that refersToCommunication some OneWayMessageExchange and refersToData some (Message that hasDataType some TextDataType) | Expected ExactMatch Processed ExactMatch | |
| ----------- same restriction many times ends ---------------------- | |||
| ----------- same restriction many times begin, at least one from group must equal expected ---------------------- | |||
| ODA_HelloWorldIM_Goal1 equivalentTo Establishment that refersToCommunication some InstantMessaging and refersToData some (StructuredData that hasMimeType some (TextDataType or ImageDataType)) | class in range ODA_HelloWorld_SemanticInterface.achievesGoal MessageSending that refersToCommunication some OneWayMessageExchange and refersToData some (Message that hasDataType some TextDataType) | Expected NotMatch Processed NotMatch | |
| ODA_HelloWorldIM_Goal1 equivalentTo Establishment that refersToCommunication some InstantMessaging and refersToData some (StructuredData that hasMimeType some (TextDataType or ImageDataType)) | class in range ODA_HelloWorld_SemanticInterface.achievesGoal MessageReceiving that refersToCommunication some OneWayMessageExchange and refersToData some (Message that hasDataType some TextDataType) | Expected NotMatch Processed NotMatch | |
| ----------- same restriction many times ends ---------------------- | |||
| ----------- same restriction many times begin, at least one from group must equal expected ---------------------- | |||
| ODA_HelloWorldIM_Goal2 equivalentTo Termination that refersToCommunication some InstantMessaging and refersToData some (StructuredData that hasMimeType some (TextDataType or ImageDataType)) | class in range ODA_HelloWorld_SemanticInterface.achievesGoal MessageSending that refersToCommunication some OneWayMessageExchange and refersToData some (Message that hasDataType some TextDataType) | Expected NotMatch Processed NotMatch | |
| ODA_HelloWorldIM_Goal2 equivalentTo Termination that refersToCommunication some InstantMessaging and refersToData some (StructuredData that hasMimeType some (TextDataType or ImageDataType)) | class in range ODA_HelloWorld_SemanticInterface.achievesGoal MessageReceiving that refersToCommunication some OneWayMessageExchange and refersToData some (Message that hasDataType some TextDataType) | Expected NotMatch Processed NotMatch | |
| ----------- same restriction many times ends ---------------------- | |||
| ----------- same restriction many times begin, at least one from group must equal expected ---------------------- | |||
| ODA_HelloWorld_Goal1 equivalentTo MessageSending that refersToCommunication some OneWayMessageExchange and refersToData some (Message that hasDataType some TextDataType) | class in range ODA_HelloWorldIM_SemanticInterface.achievesGoal Establishment that refersToCommunication some InstantMessaging and refersToData some (StructuredData that hasMimeType some (TextDataType or ImageDataType)) | Expected NotMatch Processed NotMatch | |
| ODA_HelloWorld_Goal1 equivalentTo MessageSending that refersToCommunication some OneWayMessageExchange and refersToData some (Message that hasDataType some TextDataType) | class in range ODA_HelloWorldIM_SemanticInterface.achievesGoal Termination that refersToCommunication some InstantMessaging and refersToData some (StructuredData that hasMimeType some (TextDataType or ImageDataType)) | Expected NotMatch Processed NotMatch | |
| ----------- same restriction many times ends ---------------------- | |||
| ----------- same restriction many times begin, at least one from group must equal expected ---------------------- | |||
| ODA_HelloWorld_Goal2 equivalentTo MessageReceiving that refersToCommunication some OneWayMessageExchange and refersToData some (Message that hasDataType some TextDataType) | class in range ODA_HelloWorldIM_SemanticInterface.achievesGoal Establishment that refersToCommunication some InstantMessaging and refersToData some (StructuredData that hasMimeType some (TextDataType or ImageDataType)) | Expected NotMatch Processed NotMatch | |
| ODA_HelloWorld_Goal2 equivalentTo MessageReceiving that refersToCommunication some OneWayMessageExchange and refersToData some (Message that hasDataType some TextDataType) | class in range ODA_HelloWorldIM_SemanticInterface.achievesGoal Termination that refersToCommunication some InstantMessaging and refersToData some (StructuredData that hasMimeType some (TextDataType or ImageDataType)) | Expected NotMatch Processed NotMatch | |
| ----------- same restriction many times ends ---------------------- | |||
| ----------- same restriction many times begin, at least one from group must equal expected ---------------------- | |||
| ODA_HelloWorldIM_Goal1 equivalentTo Establishment that refersToCommunication some InstantMessaging and refersToData some (StructuredData that hasMimeType some (TextDataType or ImageDataType)) | class in range ODA_HelloWorldIM_SemanticInterface.achievesGoal Establishment that refersToCommunication some InstantMessaging and refersToData some (StructuredData that hasMimeType some (TextDataType or ImageDataType)) | Expected ExactMatch Processed ExactMatch | |
| ODA_HelloWorldIM_Goal1 equivalentTo Establishment that refersToCommunication some InstantMessaging and refersToData some (StructuredData that hasMimeType some (TextDataType or ImageDataType)) | class in range ODA_HelloWorldIM_SemanticInterface.achievesGoal Termination that refersToCommunication some InstantMessaging and refersToData some (StructuredData that hasMimeType some (TextDataType or ImageDataType)) | Expected ExactMatch Processed NotMatch | |
| ----------- same restriction many times ends ---------------------- | |||
| ----------- same restriction many times begin, at least one from group must equal expected ---------------------- | |||
| ODA_HelloWorldIM_Goal2 equivalentTo Termination that refersToCommunication some InstantMessaging and refersToData some (StructuredData that hasMimeType some (TextDataType or ImageDataType)) | class in range ODA_HelloWorldIM_SemanticInterface.achievesGoal Establishment that refersToCommunication some InstantMessaging and refersToData some (StructuredData that hasMimeType some (TextDataType or ImageDataType)) | Expected ExactMatch Processed NotMatch | |
| ODA_HelloWorldIM_Goal2 equivalentTo Termination that refersToCommunication some InstantMessaging and refersToData some (StructuredData that hasMimeType some (TextDataType or ImageDataType)) | class in range ODA_HelloWorldIM_SemanticInterface.achievesGoal Termination that refersToCommunication some InstantMessaging and refersToData some (StructuredData that hasMimeType some (TextDataType or ImageDataType)) | Expected ExactMatch Processed ExactMatch | |
| ----------- same restriction many times ends ---------------------- | |||