Permalink
Browse files

tudo

  • Loading branch information...
juniorz committed Oct 10, 2011
1 parent 7cd21d3 commit 95de76a0ee388532fbfa688344c64e4d8c4bb538
Showing 830 changed files with 189,890 additions and 0 deletions.
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+ <name>br.ufes.inf.nemo.ontouml.benchmark</name>
+ <comment></comment>
+ <projects>
+ </projects>
+ <buildSpec>
+ </buildSpec>
+ <natures>
+ </natures>
+</projectDescription>
@@ -0,0 +1,3 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<ecore:EPackage xmi:version="2.0"
+ xmlns:xmi="http://www.omg.org/XMI" xmlns:ecore="http://www.eclipse.org/emf/2002/Ecore" name=""/>
@@ -0,0 +1,8 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<RefOntoUML:Model xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:RefOntoUML="RefOntoUML" name="Eu">
+ <packagedElement xsi:type="RefOntoUML:GeneralizationSet" name="Reinaldo" generalization="//@packagedElement.1/@generalization.0"/>
+ <packagedElement xsi:type="RefOntoUML:Phase" name="Vivo">
+ <generalization general="//@packagedElement.2" generalizationSet="//@packagedElement.0"/>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:Kind" name="Pessoa"/>
+</RefOntoUML:Model>
@@ -0,0 +1,17 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+ <name>primeiro</name>
+ <comment></comment>
+ <projects>
+ </projects>
+ <buildSpec>
+ <buildCommand>
+ <name>org.eclipse.xtext.ui.shared.xtextBuilder</name>
+ <arguments>
+ </arguments>
+ </buildCommand>
+ </buildSpec>
+ <natures>
+ <nature>org.eclipse.xtext.ui.shared.xtextNature</nature>
+ </natures>
+</projectDescription>
@@ -0,0 +1,28 @@
+public model FirstModel {
+
+ datatype UmNome
+ {
+
+ }
+
+ public kind Person {
+ attributes: {
+ property name (UmNome)
+ property amigos [3, *] (Person)
+ }
+ }
+
+ //Aqui eu defini uma inst�ncia
+ instance reinaldinho : Person {
+ "name" => "Reinaldo", //StringLiteral
+ "name" => true, //BooleanLiteral
+ "name" => *, //Literal Unlimited Natural
+ "name" => 1000, //Literal Integer
+ "name" => private OpaqueExpression opaqExp1 (Person) : "Python", "Ruby"
+ begin
+ # Reinaldo de souza junior
+ # Reinaldo2
+ end//,
+// "amigos" => [instance reinaldinho, instance reinaldinho ]
+ }
+}
@@ -0,0 +1,150 @@
+model Example {
+ abstract category SpatialThing { }
+ abstract category GeographicalSpace : SpatialThing { }
+
+ abstract category MaterialEntity { }
+
+ disjoint generalizationSet InanimatedOrBiological { }
+ abstract category InanimatedEntity : MaterialEntity (InanimatedOrBiological) { }
+ abstract category BiologicalEntity : MaterialEntity (InanimatedOrBiological) { }
+
+ abstract category HumanOrgan : BiologicalEntity { }
+
+ abstract category Agent { }
+
+ abstract mixin ActiveAgent { }
+ abstract mixin PerformerArtist { }
+
+ kind Person : Agent { }
+
+ kind SurgeryRoom : GeographicalSpace { }
+ kind Gallery : GeographicalSpace { }
+ kind Museum : GeographicalSpace { }
+
+ kind Statue : InanimatedEntity { }
+ kind HumanHeart : HumanOrgan { }
+ kind Organization : Agent { }
+
+ kind Track { }
+ kind Album {}
+
+ extensional collective Group { }
+
+ quantity PhysicalObject { }
+
+ subkind MalePerson : Person { }
+ subkind FemalePerson : Person { }
+ subkind Band : Organization, PerformerArtist { }
+
+
+/*
+ //Parece que n�o t� setando o GeneralizationSet::generalization dele ao setar o Generalization::generalizationSet
+ //Isso � porque Generalization::generalizationSet � uma collection? Na verdade ele tem opposite, mas nao t� funcionando.
+ covering disjoint generalizationSet PersonLifeStatus {
+ //Opposite n�o est� funcionando e n�o sei como referenciar sem uma propriedade unica
+ //DeceasedPerson : Person
+ //LivingPerson : Person
+ }
+
+ phase DeceasedPerson : Person (PersonLifeStatus) { }
+ phase LivingPerson : Person(PersonLifeStatus), ActiveAgent { }
+
+ covering disjoint generalizationSet OrganizationLifeStatus { }
+ phase ExtinctOrganization : Organization(OrganizationLifeStatus) { }
+ phase ActiveOrganization : Organization(OrganizationLifeStatus), ActiveAgent { }
+*/
+
+ //covering disjoint generalizationSet PersonLifeStatus { }
+ phase DeceasedPerson /*: Person (PersonLifeStatus)*/ { }
+ phase LivingPerson : /*Person (PersonLifeStatus),*/ ActiveAgent { }
+
+ covering disjoint generalizationSet OrganizationLifeStatus { }
+ phase ExtinctOrganization : Organization(OrganizationLifeStatus) { }
+ phase ActiveOrganization : Organization(OrganizationLifeStatus), ActiveAgent { }
+
+ role Parent : Person { }
+
+ generalizationSet FatherOrMother { }
+ role Father : MalePerson, Parent(FatherOrMother) { }
+ role Mother : FemalePerson, Parent(FatherOrMother) { }
+
+ role Offspring : Person { }
+
+//------------------------------------------------------------v
+ //OCL: precisa de ter 2 ou mais mediations
+ relator Registration { }
+
+ // Porque memberEnd N�O � DERIVADO de ownedEnd?
+ // R) Porque pode haver propriedades que n�o s�o owned pela association
+ // Ent�o porque as que S�O owned n�o j� v�o direto pra memberEnd? Digo, memberEnd devia ser derived
+ // e uma UNION de ownedEnd e notOwnedEnd(?)
+ // Isso vai restringir a linguagem textual.
+ mediation M1 {
+ property <unique> m11 (Registration);
+ property <read-only unique> m12 (Offspring);
+ memberEnd : m11, m12;
+ }
+
+ mediation M2 {
+ property <unique> m21 (Registration);
+ property <read-only unique> m22[1,2] (Parent);
+ memberEnd : m21, m22;
+ }
+//------------------------------------------------------------^
+
+
+//------------------------------------------------------------v
+ derived materialAssociation isParentOf {
+ property <unique> pA[1, 2] (Parent);
+ property <unique> pB (Offspring);
+ memberEnd : pA, pB;
+ }
+
+ derivation D1{
+ material: property <unique> d1_1 [1,2] (isParentOf);
+ relator: property <read-only unique> d1_2 (Registration);
+ memberEnd : d1_1, d1_2;
+ }
+//------------------------------------------------------------^
+
+
+//------------------------------------------------------------v
+ //OCL: precisa de ter 2 ou mais mediations
+ relator Recording { }
+
+ mediation M3 {
+ property <unique> m31 (Recording);
+ property <read-only unique> m32 (PerformerArtist);
+ memberEnd : m31, m32;
+ }
+
+ mediation M4 {
+ property <unique> m41 (Recording);
+ property <read-only unique> m42[1,2] (Track);
+ memberEnd : m41, m42;
+ }
+//------------------------------------------------------------^
+
+
+//------------------------------------------------------------v
+ derived materialAssociation records {
+ property <unique> r1[1, 99] (PerformerArtist);
+ property <unique> r2[1, 99] (Track);
+ memberEnd : r1, r2;
+ }
+
+ derivation D2{
+ material: property <unique> d2_1 [1, 99] (records);
+ relator: property <read-only unique> d2_2 (Recording);
+ memberEnd : d2_1, d2_2;
+ }
+//------------------------------------------------------------^
+
+
+ formalAssociation isLocatedIn {
+ property <unique> isLocatedInA[0, 99] (PhysicalObject);
+ property <unique> isLocatedInB[1, 99] (SpatialThing);
+ memberEnd : isLocatedInA, isLocatedInB;
+ }
+
+}
@@ -0,0 +1,13 @@
+<?xml version="1.0" encoding="ASCII"?>
+<RefOntoUML:Package xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:RefOntoUML="RefOntoUML" name="Current Test" visibility="public">
+ <packagedElement xsi:type="RefOntoUML:SubKind" name="Person" visibility="public"/>
+ <packagedElement xsi:type="RefOntoUML:SubKind" name="Male" visibility="public">
+ <generalization general="//@packagedElement.0" generalizationSet="//@packagedElement.3"/>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:SubKind" name="Female" visibility="public">
+ <generalization general="//@packagedElement.0" generalizationSet="//@packagedElement.3"/>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:GeneralizationSet" visibility="public" isCovering="true" isDisjoint="true" generalization="//@packagedElement.1/@generalization.0 //@packagedElement.2/@generalization.0">
+ <name xsi:nil="true"/>
+ </packagedElement>
+</RefOntoUML:Package>
@@ -0,0 +1,136 @@
+<?xml version="1.0" encoding="ASCII"?>
+<RefOntoUML:Model xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:RefOntoUML="RefOntoUML">
+ <packagedElement xsi:type="RefOntoUML:Kind" name="Brain">
+ <generalization general="//@packagedElement.15"/>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:Kind" name="Heart">
+ <generalization general="//@packagedElement.15"/>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:Kind" name="Person"/>
+ <packagedElement xsi:type="RefOntoUML:Relator" name="Enrollment"/>
+ <packagedElement xsi:type="RefOntoUML:Role" name="Student">
+ <generalization general="//@packagedElement.7"/>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:Kind" name="Organization"/>
+ <packagedElement xsi:type="RefOntoUML:Role" name="School">
+ <generalization general="//@packagedElement.9"/>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:Phase" name="LivingPerson">
+ <generalization general="//@packagedElement.2" generalizationSet="//@packagedElement.27"/>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:Phase" name="DeceasedPerson">
+ <generalization general="//@packagedElement.2" generalizationSet="//@packagedElement.27"/>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:Phase" name="ActiveOrganization">
+ <generalization general="//@packagedElement.5" generalizationSet="//@packagedElement.28"/>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:Phase" name="ExtinctOrganization">
+ <generalization general="//@packagedElement.5" generalizationSet="//@packagedElement.28"/>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:Phase" name="FunctionalBrain">
+ <generalization general="//@packagedElement.0" generalizationSet="//@packagedElement.29"/>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:Phase" name="NonfunctionalBrain">
+ <generalization general="//@packagedElement.0" generalizationSet="//@packagedElement.29"/>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:Phase" name="FunctionalHeart">
+ <generalization general="//@packagedElement.1" generalizationSet="//@packagedElement.30"/>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:Phase" name="NonfunctionalHeart">
+ <generalization general="//@packagedElement.1" generalizationSet="//@packagedElement.30"/>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:Category" name="BiologicalOrgan" isAbstract="true"/>
+ <packagedElement xsi:type="RefOntoUML:Phase" name="Child">
+ <generalization general="//@packagedElement.7" generalizationSet="//@packagedElement.31"/>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:Phase" name="Teenager">
+ <generalization general="//@packagedElement.7" generalizationSet="//@packagedElement.31"/>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:Phase" name="Adult">
+ <generalization general="//@packagedElement.7" generalizationSet="//@packagedElement.31"/>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:SubKind" name="Woman">
+ <generalization general="//@packagedElement.2" generalizationSet="//@packagedElement.32"/>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:SubKind" name="Man">
+ <generalization general="//@packagedElement.2" generalizationSet="//@packagedElement.32"/>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:MaterialAssociation" name="study" memberEnd="//@packagedElement.21/@ownedEnd.0 //@packagedElement.21/@ownedEnd.1" isDerived="true" navigableOwnedEnd="//@packagedElement.21/@ownedEnd.0 //@packagedElement.21/@ownedEnd.1">
+ <ownedEnd type="//@packagedElement.4" isDerived="true" association="//@packagedElement.21">
+ <name xsi:nil="true"/>
+ <upperValue xsi:type="RefOntoUML:LiteralUnlimitedNatural" value="-1"/>
+ <lowerValue xsi:type="RefOntoUML:LiteralInteger" value="1"/>
+ </ownedEnd>
+ <ownedEnd type="//@packagedElement.6" isDerived="true" association="//@packagedElement.21">
+ <name xsi:nil="true"/>
+ <upperValue xsi:type="RefOntoUML:LiteralUnlimitedNatural" value="-1"/>
+ <lowerValue xsi:type="RefOntoUML:LiteralInteger" value="1"/>
+ </ownedEnd>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:componentOf" name="c2" memberEnd="//@packagedElement.22/@ownedEnd.0 //@packagedElement.22/@ownedEnd.1" navigableOwnedEnd="//@packagedElement.22/@ownedEnd.0 //@packagedElement.22/@ownedEnd.1" isShareable="false">
+ <ownedEnd type="//@packagedElement.7" association="//@packagedElement.22">
+ <name xsi:nil="true"/>
+ <upperValue xsi:type="RefOntoUML:LiteralUnlimitedNatural" value="1"/>
+ <lowerValue xsi:type="RefOntoUML:LiteralInteger"/>
+ </ownedEnd>
+ <ownedEnd type="//@packagedElement.13" association="//@packagedElement.22">
+ <name xsi:nil="true"/>
+ <upperValue xsi:type="RefOntoUML:LiteralUnlimitedNatural" value="1"/>
+ <lowerValue xsi:type="RefOntoUML:LiteralInteger" value="1"/>
+ </ownedEnd>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:componentOf" name="c1" memberEnd="//@packagedElement.23/@ownedEnd.0 //@packagedElement.23/@ownedEnd.1" navigableOwnedEnd="//@packagedElement.23/@ownedEnd.0 //@packagedElement.23/@ownedEnd.1" isShareable="false" isImmutablePart="true" isImmutableWhole="true">
+ <ownedEnd type="//@packagedElement.7" isReadOnly="true" association="//@packagedElement.23">
+ <name xsi:nil="true"/>
+ <upperValue xsi:type="RefOntoUML:LiteralUnlimitedNatural" value="1"/>
+ <lowerValue xsi:type="RefOntoUML:LiteralInteger" value="1"/>
+ </ownedEnd>
+ <ownedEnd type="//@packagedElement.11" isReadOnly="true" association="//@packagedElement.23">
+ <name xsi:nil="true"/>
+ <upperValue xsi:type="RefOntoUML:LiteralUnlimitedNatural" value="1"/>
+ <lowerValue xsi:type="RefOntoUML:LiteralInteger" value="1"/>
+ </ownedEnd>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:Derivation" name="derived_study" memberEnd="//@packagedElement.24/@ownedEnd.0 //@packagedElement.24/@ownedEnd.1" navigableOwnedEnd="//@packagedElement.24/@ownedEnd.0 //@packagedElement.24/@ownedEnd.1">
+ <ownedEnd type="//@packagedElement.21" association="//@packagedElement.24">
+ <name xsi:nil="true"/>
+ <upperValue xsi:type="RefOntoUML:LiteralUnlimitedNatural" value="1"/>
+ <lowerValue xsi:type="RefOntoUML:LiteralInteger" value="1"/>
+ </ownedEnd>
+ <ownedEnd type="//@packagedElement.3" isReadOnly="true" association="//@packagedElement.24">
+ <name xsi:nil="true"/>
+ <upperValue xsi:type="RefOntoUML:LiteralUnlimitedNatural" value="1"/>
+ <lowerValue xsi:type="RefOntoUML:LiteralInteger" value="1"/>
+ </ownedEnd>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:Mediation" name="school" memberEnd="//@packagedElement.25/@ownedEnd.0 //@packagedElement.25/@ownedEnd.1" navigableOwnedEnd="//@packagedElement.25/@ownedEnd.0 //@packagedElement.25/@ownedEnd.1">
+ <ownedEnd type="//@packagedElement.3" association="//@packagedElement.25">
+ <name xsi:nil="true"/>
+ <upperValue xsi:type="RefOntoUML:LiteralUnlimitedNatural" value="-1"/>
+ <lowerValue xsi:type="RefOntoUML:LiteralInteger" value="1"/>
+ </ownedEnd>
+ <ownedEnd type="//@packagedElement.6" isReadOnly="true" association="//@packagedElement.25">
+ <name xsi:nil="true"/>
+ <upperValue xsi:type="RefOntoUML:LiteralUnlimitedNatural" value="1"/>
+ <lowerValue xsi:type="RefOntoUML:LiteralInteger" value="1"/>
+ </ownedEnd>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:Mediation" name="student" memberEnd="//@packagedElement.26/@ownedEnd.0 //@packagedElement.26/@ownedEnd.1" navigableOwnedEnd="//@packagedElement.26/@ownedEnd.0 //@packagedElement.26/@ownedEnd.1">
+ <ownedEnd type="//@packagedElement.3" association="//@packagedElement.26">
+ <name xsi:nil="true"/>
+ <upperValue xsi:type="RefOntoUML:LiteralUnlimitedNatural" value="-1"/>
+ <lowerValue xsi:type="RefOntoUML:LiteralInteger" value="1"/>
+ </ownedEnd>
+ <ownedEnd type="//@packagedElement.4" isReadOnly="true" association="//@packagedElement.26">
+ <name xsi:nil="true"/>
+ <upperValue xsi:type="RefOntoUML:LiteralUnlimitedNatural" value="1"/>
+ <lowerValue xsi:type="RefOntoUML:LiteralInteger" value="1"/>
+ </ownedEnd>
+ </packagedElement>
+ <packagedElement xsi:type="RefOntoUML:GeneralizationSet" name="G2" isCovering="true" isDisjoint="true" generalization="//@packagedElement.8/@generalization.0 //@packagedElement.7/@generalization.0"/>
+ <packagedElement xsi:type="RefOntoUML:GeneralizationSet" name="G6" isCovering="true" isDisjoint="true" generalization="//@packagedElement.9/@generalization.0 //@packagedElement.10/@generalization.0"/>
+ <packagedElement xsi:type="RefOntoUML:GeneralizationSet" name="G5" isCovering="true" isDisjoint="true" generalization="//@packagedElement.11/@generalization.0 //@packagedElement.12/@generalization.0"/>
+ <packagedElement xsi:type="RefOntoUML:GeneralizationSet" name="G4" isCovering="true" isDisjoint="true" generalization="//@packagedElement.13/@generalization.0 //@packagedElement.14/@generalization.0"/>
+ <packagedElement xsi:type="RefOntoUML:GeneralizationSet" name="G3" isCovering="true" isDisjoint="true" generalization="//@packagedElement.16/@generalization.0 //@packagedElement.17/@generalization.0 //@packagedElement.18/@generalization.0"/>
+ <packagedElement xsi:type="RefOntoUML:GeneralizationSet" name="G1" isCovering="true" isDisjoint="true" generalization="//@packagedElement.20/@generalization.0 //@packagedElement.19/@generalization.0"/>
+</RefOntoUML:Model>
Oops, something went wrong.

0 comments on commit 95de76a

Please sign in to comment.