Re: [Rodin-b-sharp-user] Problems with UML/B and Rodin 1.0RC1

SourceForge Headquarters 225 Broadway Suite 1600 San Diego, CA 92101 +1 (858) 454-5900

Dinho,

I think that the UML/B plug-in for Rodin 1.0 is not yet released.

Colin, could you please confirm?

Laurent.

Le 12 juin 09 à 13:39, Aryldo G Russo Jr a écrit :

> Hello all,
>
> I have a similar problem, but with UML plugin.
>
> I'm using RODIN 1.0RC1. should I try to install an older version also?
>
> see the error log here:
>
> Cannot complete the request.  See the details.
> Unsatisfied dependency: [ac.soton.umlb.feature.group  
> 0.5.8.200903021038] requiredCapability: org.eclipse.equinox.p2.iu/ 
> org.rodinp.platform.feature.group/[0.9.2,1.0.0)
> Cannot find a solution where both "org.rodinp.platform.feature.group  
> [0.9.2,1.0.0)" and "org.rodinp.platform.feature.group [1.0.0.r7223]"  
> are satisfied.
> Cannot find a solution where both "org.rodinp.platform.feature.group  
> [0.9.2,1.0.0)" and "org.rodinp.platform.feature.group [1.0.0.r7223]"  
> are satisfied.
> Unsatisfied dependency: [fr.systerel.reqsmgr 0.3.4]  
> requiredCapability: osgi.bundle/org.eventb.ui/[0.9.2,0.9.3)
> Cannot find a solution where both "bundle org.eventb.ui  
> [1.0.0.r7223,2.0.0)" and "bundle org.eventb.ui [0.9.2,0.9.3)" are  
> satisfied.
> Unsatisfied dependency: [fr.systerel.reqsmgr 0.3.4]  
> requiredCapability: osgi.bundle/org.rodinp.core/[0.9.2,0.9.3)
> Cannot find a solution where both "bundle org.rodinp.core  
> 1.0.0.r7223" and "bundle org.rodinp.core [0.9.2,0.9.3)" are satisfied.
> Unsatisfied dependency: [fr.systerel.reqsmgr 0.3.4]  
> requiredCapability: osgi.bundle/org.eventb.core/[0.9.2,0.9.3)
> Cannot find a solution where both "bundle org.eventb.core  
> 1.0.0.r7223" and "bundle org.eventb.core [0.9.2,0.9.3)" are satisfied.
> Cannot find a solution where both "org.rodinp.platform.feature.group  
> [0.9.2,1.0.0)" and "org.rodinp.platform.feature.group [1.0.0.r7223]"  
> are satisfied.
> Cannot find a solution where both "bundle org.eventb.ui  
> [1.0.0.r7223,2.0.0)" and "bundle org.eventb.ui [0.9.2,0.9.3)" are  
> satisfied.
> Cannot find a solution where both "bundle org.rodinp.core  
> 1.0.0.r7223" and "bundle org.rodinp.core [0.9.2,0.9.3)" are satisfied.
> Cannot find a solution where both "bundle org.eventb.core  
> 1.0.0.r7223" and "bundle org.eventb.core [0.9.2,0.9.3)" are satisfied.
> Cannot find a solution where both "org.rodinp.platform.feature.group  
> [0.9.2,1.0.0)" and "org.rodinp.platform.feature.group [1.0.0.r7223]"  
> are satisfied.
> Cannot find a solution where both "bundle org.eventb.ui  
> [1.0.0.r7223,2.0.0)" and "bundle org.eventb.ui [0.9.2,0.9.3)" are  
> satisfied.
> Cannot find a solution where both "bundle org.rodinp.core  
> 1.0.0.r7223" and "bundle org.rodinp.core [0.9.2,0.9.3)" are satisfied.
> Cannot find a solution where both "bundle org.eventb.core  
> 1.0.0.r7223" and "bundle org.eventb.core [0.9.2,0.9.3)" are satisfied.
> Cannot find a solution where both "org.rodinp.platform.feature.group  
> [0.9.2,1.0.0)" and "org.rodinp.platform.feature.group [1.0.0.r7223]"  
> are satisfied.
> Cannot find a solution where both "bundle org.eventb.ui  
> [1.0.0.r7223,2.0.0)" and "bundle org.eventb.ui [0.9.2,0.9.3)" are  
> satisfied.
> Cannot find a solution where both "bundle org.rodinp.core  
> 1.0.0.r7223" and "bundle org.rodinp.core [0.9.2,0.9.3)" are satisfied.
> Cannot find a solution where both "bundle org.eventb.core  
> 1.0.0.r7223" and "bundle org.eventb.core [0.9.2,0.9.3)" are satisfied.
> Cannot find a solution where both "org.rodinp.platform.feature.group  
> [0.9.2,1.0.0)" and "org.rodinp.platform.feature.group [1.0.0.r7223]"  
> are satisfied.
> Cannot find a solution where both "bundle org.eventb.ui  
> [1.0.0.r7223,2.0.0)" and "bundle org.eventb.ui [0.9.2,0.9.3)" are  
> satisfied.
> Cannot find a solution where both "bundle org.rodinp.core  
> 1.0.0.r7223" and "bundle org.rodinp.core [0.9.2,0.9.3)" are satisfied.
> Cannot find a solution where both "bundle org.eventb.core  
> 1.0.0.r7223" and "bundle org.eventb.core [0.9.2,0.9.3)" are satisfied.
> Unsatisfied dependency: [ac.soton.umlb.feature.group  
> 0.5.8.200903021038] requiredCapability: org.eclipse.equinox.p2.iu/ 
> org.rodinp.platform.feature.group/[0.9.2,1.0.0)
> Unsatisfied dependency: [fr.systerel.reqsmgr.feature.feature.group  
> 0.3.5] requiredCapability: org.eclipse.equinox.p2.iu/ 
> fr.systerel.reqsmgr/[0.3.4,0.3.4]
> Unsatisfied dependency: [fr.systerel.reqsmgr 0.3.4]  
> requiredCapability: osgi.bundle/org.rodinp.core/[0.9.2,0.9.3)
> Unsatisfied dependency: [fr.systerel.reqsmgr 0.3.4]  
> requiredCapability: osgi.bundle/org.eventb.ui/[0.9.2,0.9.3)
> Unsatisfied dependency: [fr.systerel.reqsmgr 0.3.4]  
> requiredCapability: osgi.bundle/org.eventb.core/[0.9.2,0.9.3)
>
>
> thanks
>
> Dinho
>
> Aryldo G Russo Jr
> Gerente de Pesquisa e Desenvolvimento
> Grupo AeS
> CRE 6006 - CSSBB 5770
>
>
>
> On 08/06/2009, at 05:23, Laurent Voisin wrote:
>
>> Dear Felix,
>>
>> Le 8 juin 09 à 09:24, Loesch Felix (CR/AEY1) a écrit :
>>
>>> I tried installing the Atelier-B provers for RODIN 1.0RC1 using
>>> software update. However the installation process fails with the
>>> following message:
>>>
>>> Cannot complete the request.  See the details.
>>> Unsatisfied dependency: [com.clearsy.atelierb.provers.feature.group
>>> 1.0.0] requiredCapability: org.eclipse.equinox.p2.iu/
>>> org.eventb.ide.feature.group/[1.0.0,2.0.0)
>>> Cannot find a solution where both "org.eventb.ide.feature.group
>>> [0.9.2.1]" and "org.eventb.ide.feature.group [1.0.0,2.0.0)" are
>>> satisfied.
>>> Cannot find a solution where both "org.eventb.ide.feature.group
>>> [0.9.2.1]" and "org.eventb.ide.feature.group [1.0.0,2.0.0)" are
>>> satisfied.
>>> Cannot find a solution where both "org.eventb.ide.feature.group
>>> [0.9.2.1]" and "org.eventb.ide.feature.group [1.0.0,2.0.0)" are
>>> satisfied.
>>> Cannot find a solution where both "org.eventb.ide.feature.group
>>> [0.9.2.1]" and "org.eventb.ide.feature.group [1.0.0,2.0.0)" are
>>> satisfied.
>>> Cannot find a solution where both "org.eventb.ide.feature.group
>>> [0.9.2.1]" and "org.eventb.ide.feature.group [1.0.0,2.0.0)" are
>>> satisfied.
>>> Unsatisfied dependency: [com.clearsy.atelierb.provers.feature.group
>>> 1.0.0] requiredCapability: org.eclipse.equinox.p2.iu/
>>> org.eventb.ide.feature.group/[1.0.0,2.0.0)
>>>
>>> Could you please fix the problem?
>>
>> When updating, ask to see all versions of features, not only the
>> latest one (untick "Show only the latest version of available
>> software").  Then, you will be able to install an older version
>> (0.8.4) of the Atelier B plug-ins which is compatible with Rodin
>> 0.9.2.1.
>>
>> Laurent.
>>
>>
>>
>> ------------------------------------------------------------------------------
>> OpenSolaris 2009.06 is a cutting edge operating system for  
>> enterprises
>> looking to deploy the next generation of Solaris that includes the  
>> latest
>> innovations from Sun and the OpenSource community. Download a copy  
>> and
>> enjoy capabilities such as Networking, Storage and Virtualization.
>> Go to: http://p.sf.net/sfu/opensolaris-get
>> _______________________________________________
>> Rodin-b-sharp-user mailing list
>> Rod...@li...
>> https://lists.sourceforge.net/lists/listinfo/rodin-b-sharp-user
>
>
> ---------------------------------------------------------------------------------------
> Orange vous informe que cet e-mail a été contrôlé par l'anti-virus  
> mail.
> Aucun virus connu à ce jour par nos services n'a été détecté.
>
>