wsmlVariant _"http://www.wsmo.org/wsml/wsml-syntax/wsml-flight"
namespace { _"http://www.ip-super.org/ontologies/TP/TP_BusinessGoal#"
, 
     wsmostudio _"http://www.wsmostudio.org#", 
     etom _"http://www.ip-super.org/ontologies/YATOSP/eTOM#", 
     etominst _"http://www.ip-super.org/ontologies/TP/TP_BusinessFuntion#", 
     upo _"http://www.ip-super.org/ontologies/UPO/20070620#" }

ontology TPgoals
     nonFunctionalProperties
          wsmostudio#version hasValue "0.6.0"
     endNonFunctionalProperties

     importsOntology
          { _"http://www.ip-super.org/ontologies/YATOSP/eTOM/eTOMinstancesTP#eTOMinstancesTP", 
            _"http://www.ip-super.org/ontologies/UPO/20070620#"}

concept BusinessGoal subConceptOf upo#BusinessProcessGoal
     description impliesType  (0 1) _string
     priority impliesType  (0 1) _integer
     isActive impliesType  (0 1) _boolean
     hasBusinessFunction impliesType etom#eTOMBusinessFunction

instance customerIdentified memberOf BusinessGoal
     hasBusinessFunction hasValue etominst#CustomerIdentification

instance customerPassedTechnicalVerification memberOf BusinessGoal
     hasBusinessFunction hasValue etominst#TechnicalVerification

instance customerPassedFormalVerification memberOf BusinessGoal
     hasBusinessFunction hasValue etominst#FormalVerification

instance orderConfirmed memberOf BusinessGoal
     hasBusinessFunction hasValue etominst#OrderConfirmation

instance basicDSL_ServiceOrderInitiated memberOf BusinessGoal
     hasBusinessFunction hasValue etominst#ProceedToBasicDSL_ServiceOrder

instance contractPrepared memberOf BusinessGoal
     hasBusinessFunction hasValue etominst#ContractPreparation

instance hardwarePrepared memberOf BusinessGoal
     hasBusinessFunction hasValue etominst#HardwarePreparation

instance contractSigned memberOf BusinessGoal
     hasBusinessFunction hasValue etominst#CourierService

instance voIP_PlatformActivated memberOf BusinessGoal
     hasBusinessFunction hasValue etominst#VoIP_PlatformActivation

instance contractSaved memberOf BusinessGoal
     hasBusinessFunction hasValue etominst#ContractSaving

instance billingActivated memberOf BusinessGoal
     hasBusinessFunction hasValue etominst#BillingActivation