Universal Object Language (UOL) and XML
[OMG Document: ad/98-07-07] Version 1.2 /T-UOL-19980707 July 7th, 1998.
From: ftp://ftp.omg.org/pub/docs/ad/98-07-07.pdf
Copyright: Recerca Informàtica and Daimler-Benz Research and Technology

Examples from July 6, 1998 Submission

<!ENTITY % extends " (stereotyped | tagged)+ " >
<!ENTITY % extension " stereotype | constraint | tv " >
<!ENTITY % package " (package | interface |class | relation | stereotype | constraint | tv | usecase | activity | comment | actor | exception | component | node | collaboration) " >
<!ENTITY % idlist " identifier+ " >
<!ELEMENT act (#PCDATA) >
<!ELEMENT action (to* , (operate | signal)? ,(call | create | text)) >
<!ATTLIST action name ID #REQUIRED synchronous (YES|NO) #IMPLIED expression CDATA #IMPLIED>
<!ELEMENT actions (entry* , exit*) >
<!ELEMENT actionstate ((activitystate , transition? , actions?) | state | (statedef , flow) | pseudostate | subactivity) >
<!ELEMENT activity (constraint? , constrained? , activitystate , transition? , action?) >
<!ATTLIST activity name ID #REQUIRED viewed CDATA #IMPLIED>
<!ELEMENT activitystate (statedef , actionstate+) >
<!ATTLIST activitystate partitioned CDATA #IMPLIED>
<!ELEMENT actor (formalgenerics? , (%extends;)? , inherit? , feature) >
<!ATTLIST actor name ID #REQUIRED viewed CDATA #IMPLIED>
<!ELEMENT adaptation ((rename , as)+ | export+ | redefine+ | select+) >
<!ELEMENT after (#PCDATA) >
<!ELEMENT alternative (#PCDATA) >
<!ELEMENT argument ((in | out | inout) , identifier+ , typemark)* >
<!ELEMENT as (#PCDATA) >
<!ELEMENT attribute (constrained? ,(typedef | ((%idlist;)? , typemark)) , (%extends;)?) >
<!ATTLIST attribute name ID #REQUIRED static (NO|YES) #FIXED "NO" changes (addonly|frozen) #IMPLIED>
<!ELEMENT atts (identifier)+ >
<!ELEMENT BIT (#PCDATA) >
<!ELEMENT call (operate) >
<!ELEMENT class (formalgenerics? , (%extension;)? , (%extends;)? , ((inherit , constrained?)? , (feature , constrained?)? , (statemachine+ , constrained?)?)?) >
<!ATTLIST class name ID #REQUIRED deferred (no|yes) #IMPLIED viewed CDATA #IMPLIED >
<!ELEMENT collaboration (formalgenerics? , (class | identifier | interface | relation)* , action? , message?) >
<!ATTLIST collaboration name ID #REQUIRED viewed CDATA #IMPLIED implements ID #IMPLIED>
<!ELEMENT comment (#PCDATA) >
<!ELEMENT component (formalgenerics? , (%extends;)? , inherit? , identifier+ ,constrained?) >
<!ATTLIST component name ID #REQUIRED viewed CDATA #IMPLIED>
<!ELEMENT composite (statedef , statekind+) >
<!ELEMENT constant (#PCDATA) >
<!ELEMENT constrained (#PCDATA) >
<!ELEMENT constraint (#PCDATA) >
<!ATTLIST constraint name ID #REQUIRED>
<!ELEMENT create EMPTY >
<!ATTLIST create name ID #REQUIRED>
<!ELEMENT deferred (identifier)+ >
<!ELEMENT dependency (identifier+ , to) >
<!ELEMENT diagram (identifier)+ >
<!ATTLIST diagram type ID #REQUIRED>
<!ELEMENT entry (identifier)+ >
<!ATTLIST entry
name ID #REQUIRED>
<!ELEMENT exception (formalgenerics? , (%extends;)? , inherit? , feature) >
<!ATTLIST exception name ID #REQUIRED viewed CDATA #IMPLIED>
<!ELEMENT exit (identifier)+ >
<!ATTLIST exit name ID #REQUIRED>
<!ELEMENT export EMPTY >
<!ATTLIST export name CDATA #REQUIRED>
<!ELEMENT expresion (#PCDATA) >
<!ELEMENT extensionin (#PCDATA) >
<!ELEMENT feature (visibility , ((stereotyped , (method | attribute | operation | tagged)*) | (method | attribute | operation | tagged)+)) >
<!ELEMENT flow (constraint? , constrained?) >
<!ATTLIST flow classname ID #REQUIRED statename CDATA #REQUIRED>
<!ELEMENT formalgenerics (constraint)? >
<!ATTLIST formalgenerics name ID #REQUIRED>
<!ELEMENT from (#PCDATA) >
<!ELEMENT identifier EMPTY >
<!ATTLIST identifier name ID #REQUIRED>
<!ELEMENT import (visibility? , (identifier+ , as?)? , from)+ >
<!ELEMENT in EMPTY>
<!ELEMENT inherit (identifier , type*)+ >
<!ATTLIST inherit name ID #REQUIRED>
<!ELEMENT inout EMPTY >
<!ELEMENT interface (formalgenerics? , (%extension;)? , (%extends;)? , inherit? , ((visibility , operation*)* , constrained?)) >
<!ATTLIST interface name ID #REQUIRED viewed CDATA #IMPLIED>
<!ELEMENT internaltransition (((when | after) , (call | (trigger , (when | after | signal)))?)+ , (%idlist;)?) >
<!ELEMENT is (visibility? , %package;)+ >
<!ELEMENT like (#PCDATA) >
<!ELEMENT link (linktype | (dependency+ , text)+) >
<!ATTLIST link with ID #REQUIRED>
<!ELEMENT linktype EMPTY >
<!ATTLIST linktype roleA ID #REQUIRED roleB ID #REQUIRED cardA CDATA #IMPLIED cardBed CDATA #IMPLIED>
<!ELEMENT message (identifier)+ >
<!ELEMENT method (argument , typemark? , (pre? , post)? , (%extends;)? , constrained? , (text | identifier) , PCDATA) >
<!ATTLIST method name ID #REQUIRED deferred (YES|NO) #IMPLIED static (YES|NO) #IMPLIED>
<!ELEMENT model (diagram* , (subsystem | stereotyped | constrained | tagged | %package;)*) >
<!ATTLIST model name ID #REQUIRED>
<!ELEMENT node (formalgenerics? , (%extends;)? , inherit? , identifier+ , constrained?) >
<!ATTLIST node name ID #REQUIRED viewed CDATA #IMPLIED>
<!ELEMENT operate (expresion)+ >
<!ATTLIST operate class ID #REQUIRED operation ID #REQUIRED>
<!ELEMENT operation (argument , typemark? , (pre | post) , (%extension;)? , (%extends;)? , constrained? , PCDATA) >
<!ATTLIST operation name ID #REQUIRED static (YES|NO) #IMPLIED deferred (YES|NO) #IMPLIED>
<!ELEMENT out EMPTY >
<!ELEMENT package ((%extends;)? , (%idlist;)? , import? , is? , constrained?) >
<!ATTLIST package name ID #REQUIRED viewed ID #IMPLIED>
<!ELEMENT post (#PCDATA) >
<!ELEMENT pre (#PCDATA) >
<!ELEMENT pseudostate (constraint? , constrained? , actions?) >
<!ATTLIST pseudostate type (deephistory|shallowhistory|initial|final|join|fork|branch) #REQUIRED name ID #REQUIRED>
<!ELEMENT raise (identifier)+ >
<!ATTLIST raise name ID #REQUIRED>
<!ELEMENT redefine EMPTY >
<!ATTLIST redefine name CDATA #REQUIRED>
<!ELEMENT relation (formalgenerics? , (%extension;)? , (%extends;)? , identifier+ , adaptation , (link | (feature? , constrained?))) >
<!ELEMENT rename EMPTY >
<!ATTLIST rename name CDATA #REQUIRED>
<!ELEMENT select EMPTY >
<!ATTLIST select name CDATA #REQUIRED>
<!ELEMENT signal (to? , raise*) >
<!ATTLIST signal name ID #REQUIRED>
<!ELEMENT state (constraint? , constrained? , actions?) >
<!ATTLIST state
name ID #REQUIRED viewed CDATA #IMPLIED>
<!ELEMENT statedef (state , internaltransition* , deferred?) >
<!ELEMENT statekind (statedef | pseudostate | (submachine? , composite , transition* , action)) >
<!ELEMENT statemachine (constraint? , constrained? , composite , transition? , action?) >
<!ATTLIST statemachine name ID #REQUIRED viewed CDATA #IMPLIED>
<!ELEMENT stereotype (identifier+ , (constraint | tv)+) >
<!ATTLIST stereotype name ID #REQUIRED of ID #REQUIRED>
<!ELEMENT stereotyped (#PCDATA) >
<!ELEMENT subactivity (constraint? , constrained? , activitystate , transition+ , action+) >
<!ATTLIST subactivity name ID #REQUIRED viewed CDATA #IMPLIED>
<!ELEMENT submachine (constraint? , constrained?) >
<!ATTLIST submachine name ID #REQUIRED viewed CDATA #IMPLIED>
<!ELEMENT subsystem (formalgenerics? , (%extends;)? , inherit? , import? , (visibility , (identifier , operate)?)? , (visibility , %package;)* , constrained?) >
<!ATTLIST subsystem name ID #REQUIRED deferred (YES|NO) #IMPLIED viewed CDATA #IMPLIED>
<!ELEMENT tagged (identifier , expresion)+ >
<!ELEMENT text (#PCDATA) >
<!ELEMENT to (identifier)+ >
<!ELEMENT transition ((when | after) , (call | (trigger , (when | after | signal)))? , (%idlist;)?) >
<!ATTLIST transition from ID #REQUIRED to ID #REQUIRED>
<!ELEMENT trigger (#PCDATA) >
<!ELEMENT type ((expanded? , (identifier , type* , rename* , export* , undefine* , redefine* , select*)+) | like | BIT) >
<!ELEMENT typedef (#PCDATA) >
<!ELEMENT typemark (#PCDATA) >
<!ATTLIST typemark like (NO|YES) #FIXED "NO">
<!ELEMENT tv (identifier , #PCDATA)+ >
<!ELEMENT uc (formalgenerics? , (%idlist;)? , use* , act* , (visibility? , (operation+ | (atts , typemark , (%extends;) , is))?)? , text? , alternative? , extensionin?) >
<!ELEMENT ucext (identifier+ , with , identifier+ , #PCDATA) >
<!ELEMENT ucinst (identifier+ , uctype , (identifier , is)*) >
<!ATTLIST ucinst name ID #REQUIRED>
<!ELEMENT uctype EMPTY >
<!ATTLIST uctype name ID #REQUIRED>
<!ELEMENT undefine (#PCDATA) >
<!ELEMENT uol (model | package) >
<!ELEMENT use (#PCDATA) >
<!ELEMENT usecase (uc | ucext | ucinst) >
<!ATTLIST usecase name ID #REQUIRED>
<!ELEMENT visibility (identifier)+ >
<!ELEMENT when (#PCDATA) >
<!ELEMENT with (#PCDATA) >


<?XML VERSION="1.0" ?>
<!DOCTYPE uol SYSTEM "uol.dtd">
<uol>
<model name="Example0">
<diagram type="StaticDiagram">
<identifier name="MainD"/>
<identifier name="MainE"/>
</diagram>
<diagram type="StateDiagram">
<identifier name="PersonD"/>
</diagram>
</model>
</uol>

<?XML VERSION="1.0" ?>
<!DOCTYPE uol SYSTEM "uol.dtd">
<uol>
<model name="aModel">
<package name="pMain">
<visibility>
<identifier name="ANY"/>
</visibility>
<class name="SCHEMA">
</class>
<class name="aClass">
</class>
<stereotype name="EXPRESS_SCHEMA" of="SCHEMA">
</stereotype>
<stereotype name="aStereoType" of="aClass">
</stereotype>
<stereotype name="typeA" of="aClass">
</stereotype>
<class name="Schema_Class">
<stereotyped>
EXPRESS_SCHEMA
</stereotyped>
<feature>
<visibility>
<identifier name="ANY"/>
</visibility>
<attribute name="a">
<typemark>
integer
</typemark>
</attribute>
<attribute name="b">
<typedef>
integer is 3
</typedef>
</attribute>
<attribute name="c">
<constrained>
{aConstraint}</constrained>
<typedef>
<typemark>
integer</typemark>
 [1..3,6..*] is {2,3,4}</typedef>
<stereotyped>
aStereoType
</stereotyped>
</attribute>
</feature>
</class>
<class name="aClass2">
<feature>
<visibility>
<identifier name="ANY"/>
</visibility>
<stereotyped>
typeA
</stereotyped>
</feature>
</class>
</package>
</model>
</uol>


<?XML VERSION="1.0" ?>
<uol>
<model name="Example3">
<subsystem name="adSubsystem" deferred="yes">
<import>
<visibility>
any
</visibility>
<identifier name="anElement"/>
<as>
thisElement
</as>
<from>
aPackage
</from>
</import>
<import>
<identifier name="anotherElement"/>
<from>
aPackage2
</from>
</import>
<import>
<from>
aPackage3
</from>
</import>
</subsystem>
<package name="aPackage">
</package>
<package name="AllElements">
</package>
<interface name="anInterface">
<visibility>
any
</visibility>
<operation name="anOperation" static="yes">
<argument>
<out/>
<identifier name="aReturnType"/>
</argument>
<argument>
<in/>
<identifier name="aParam"/>
<typemark>
aType
</typemark>
</argument>
<pre>
aConstraint
</pre>
<post>
aConstraint2
</post>
<constraint>
{aConstraint3}
</constraint>
 Specification</operation>
</interface>
<class name="Person" viewed="MainD">
<feature>
<visibility>
any
</visibility>
<attribute name="isMarried">
<typemark>
boolean
</typemark>
</attribute>
<attribute name="isUnemployed">
<typemark>
boolean
</typemark>
</attribute>
<attribute name="birthDate">
<typemark>
date
</typemark>
</attribute>
<attribute name="age">
<typemark>
boolean
</typemark>
</attribute>
<attribute name="firstName">
<typemark>
string
</typemark>
</attribute>
<attribute name="lastName">
<typemark>
string
</typemark>
</attribute>
<attribute name="sex">
<typedef>
unique enum={male,female}
</typedef>
</attribute>
<operation name="income" deferred="Yes" type="Integer">
<parameter name="d" type="Date"/>
 Incoming operation</operation>
</feature>
<constraint>
 {self.age>=0}</class>
<relation name="job">
<feature>
<visibility>
Person
</visibility>
<stereotyped>
UMLAssociationEnd
</stereotyped>
<tagged>
<identifier name="AssociationEndName"/>
husband</tagged>
</feature>
<feature>
<visibility>
Company
</visibility>
<stereotyped>
UMLAssociationEnd
</stereotyped>
<tagged>
<identifier name="AssociationEndName"/>
 employer</tagged>
</feature>
<constraint>
{self.employee->size %le=50}
</constraint><link roleA="Person" cardA="[0..*]" 
roleB="Company" cardb="[0..*]" with="Marriage"/></relation>
<stereotype name="aStereotype" of="aBaseClass">
<identifier name="anIcon.gif"/><tv><identifier name="AssociationEndName"/>
 husband</tv><tv><identifier name="IsNavigable"/>
 true</tv><tv><identifier name="IsOrdered"/>
 false</tv><tv><identifier name="Aggregation"/>
 %quot none %quot</tv><constraint name="aConstraint1">
 text \"This is a constraint\"</constraint><constraint name="aConstraint2">
 aConstrainDef</constraint>
</stereotype>
</model>
</uol>